C++ memory model

C++ memory model ve atomic temellerini öğrenirsin.

C++ memory model

C++ bellek modeli, iş parçacıklarının belleğe nasıl eriştiğini ve hangi koşullarda tutuarlı sonuçlar elde edileceğini tanımlar. Standart kütüphanedeki std::atomic<T> şablonu her erişimin bölünmez (atomik) olmasını sağlar.

Örnek: std::atomic<int> counter{0};. Burada counter.store(5) yazma, counter.load() okuma yapar. Aynı anda iki iş parçacığı erişse bile yarış oluşmaz; değer her zaman tutarlı kalır. Bu, çok iş parçacıklı programların temel taşıdır.

Atomik erişim

Her iş parçacığının belleğe kendi görünümü vardır; eşzamanlama olmadan bir iş parçacığı diğerinin yazdığını görmeyebilir. std::atomic bu sorunu çözer: her okuma ve yazma bölünmezdir.

Örnek: bir iş parçacığı counter.store(7) yapar, diğeri counter.load() çağırır. Atomik erişim sayesinde yük ya eski 0 değerini ya da yeni 7 değerini görür; asla yarım bir değer okumaz. Ayrıca fetch_add ile oku-değiştir-yaz tek bölünmez adımda yapılır.

Uygulama Atomik counter kullan

Global std::atomic<int> counter{0}; tanımla. main içinde counter.store(7); ve std::cout << counter.load(); yaz.

Örnek çözümü göster

#include <iostream>
#include <atomic>

std::atomic<int> counter{0};

int main() {
    counter.store(7);
    std::cout << counter.load();
    return 0;
}

Kendini test et

C++ bellek modeli neyi tanımlar?
```
std::atomic<int> counter{0};
```
- Yalnızca değişken boyutları
- Çok iş parçacıklı bellek erişimini
- Derleyici sürümlerini
- Sınıf üye sıralarını
Cevabı göster

Çok iş parçacıklı bellek erişimini — Bellek modeli, iş parçacıklarının belleğe nasıl eriştiğini ve neyin tutarlı olduğunu tanımlar.

Atomik değişkeni tamamla

std::atomic<int> ____;  // ready bayrağı

Cevabı göster

std::atomic<int> ready;  // ready bayrağı

Parçayı rolüne eşle

std::atomic<int>

Atomik erişim
thread T(func)

İş parçacığı başlatma
x.store(5)

Atomik yazma
x.load()

Atomik okuma

Sıradaki ders: Happens-before

Deneyiminizi Geliştiriyoruz

Çerez Tercihleri

Kesinlikle Gerekli Çerezler

Analitik Çerezler