Atomik işlemleri, memory visibility'yi ve memory barrier'ları açıklayın.

Question

IT Interview Practice · Accepted Answer

**Atomik bir işlem bölünmez şekilde tamamlanır — başka hiçbir thread yarı bitmiş bir durum görmez; memory visibility, bir thread'in yazmalarının bir başkası tarafından görülüp görülmediğidir; memory barrier'lar, bu yazmaların görünür hale gelmesi için sıralamayı zorlar.** Kilitler tek endişe değildir — memory model'dir.

## Atomiklik

Bir atomik işlem (örn. `fetch_add`, compare-and-swap) tek bir bölünmez adım olarak yürütülür, böylece hiçbir race onu bölmez. Donanım ve dil, tam bir kilit olmadan sayaçlar ve bayraklar için atomic'ler sağlar.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomic read-modify-write, no lock
```

## Görünürlük ve yeniden sıralama

Modern CPU'lar ve derleyiciler, hız için değerleri register'larda önbelleğe alır ve talimatları yeniden sıralar. Böylece bir thread'deki bir yazma, diğerlerine görünmez şekilde bir store buffer'da bekleyebilir ve işlemler sırasız görünebilir.

```java
// Without 'volatile', thread B may loop forever:
volatile boolean ready = false;  // volatile → writes are visible + ordered
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  then read data
```

## Memory barrier'lar

Bir **barrier** (fence), kendisi boyunca yeniden sıralamayı önleyen ve belleği flush/load ederek sıralamayı garanti eden bir talimattır. `volatile`, `synchronized` ve atomic'ler, bir happens-before ilişkisinin sağlanması için doğru barrier'ları ekler: A'nın release etmeden önce yazdığını, B acquire ettikten sonra görür.

## Neden önemli

Atomiklik tek başına yeterli değildir — görünürlük garantileri olmadan doğru kilitlenmiş bir değer hâlâ bayat okunabilir. Bu, `volatile`'in neden var olduğunu, double-checked locking'in neden ince olduğunu ve lock-free kodun neden dikkatli memory-ordering seçimleri gerektirdiğini açıklar. Bu, "benim makinemde çalışıyor" ile gerçek çok çekirdekli donanımda doğru olmak arasındaki farktır.

Atomiklik

Görünürlük ve yeniden sıralama

Memory barrier'lar

Neden önemli

İlgili sorular