Lock-free programlama ve CAS nedir? ABA problemini ve ne zaman kullanılacağını açıklayın.

Question

IT Interview Practice · Accepted Answer

**Lock-free programlama, thread'leri mutex olmadan koordine eder; atomik compare-and-swap (CAS) döngüleri kullanır, böylece diğerleri takılsa bile her zaman en az bir thread ilerleme kaydeder.** Hiçbir thread, bir kilit tutan başka biri tarafından bloklanamaz.

## CAS

**Compare-and-swap**, bir konumu yalnızca hâlâ beklenen eski değeri tutuyorsa atomik olarak yeni bir değere ayarlar; aksi halde başarısız olur ve yeniden denersiniz. Lock-free stack'ler, kuyruklar ve sayaçların arkasındaki primitif budur.

```text
CAS(addr, expected, new):
  if *addr == expected: *addr = new; return true   # atomic, indivisible
  else: return false
```

```java
// Lock-free increment via CAS retry loop
int old, next;
do {
    old  = value.get();
    next = old + 1;
} while (!value.compareAndSet(old, next));  // retry if someone else won
```

## ABA problemi

CAS yalnızca değerin hâlâ beklenen değer olduğunu kontrol eder — hiç değişmediğini değil. Okumanız ile CAS arasında A → B → A olduysa, CAS başarılı olur ama dünya altınızda değişmiştir (örn. serbest bırakılıp yeniden kullanılan bir node).

```text
Thread 1: read A ............... CAS(A→X) succeeds ✗ (but list changed!)
Thread 2:      pop A, push B, push A again
```

**Çözüm**: pointer'ı bir versiyon sayacıyla eşleştirin (`AtomicStampedReference`, tagged pointer'lar), böylece A-with-tag-1 ≠ A-with-tag-2, ya da bellek güvenliği için hazard pointer'lar / epoch reclamation kullanın.

## Ne zaman kullanılır

- Kilit çekişmesinin baskın olduğu sıcak, ince granüllü paylaşılan durum (sayaçlar, single-producer kuyruklar) için veya bir thread'in asla bloklanmaması gereken yerlerde (real-time, signal handler'lar) **kullanın**.
- Varsayılan olarak **kaçının**: doğru yapmak zordur, ABA ve memory-ordering hataları eklemek kolaydır ve düşük çekişme altında genellikle iyi bir mutex'ten daha hızlı değildir.

## Neden önemli

Lock-free yapılar ilerleme garantileri verir ve deadlock ile priority inversion'ı önler, ancak doğruluk çıtası yüksektir. CAS'ı, ABA'yı ve reclamation problemini bilmek, memory-model düzeyinde akıl yürütebildiğinizi — ve, en önemlisi, ne zaman ona *başvurmamanız* gerektiğini bildiğinizi — gösterir.

CAS

ABA problemi

Ne zaman kullanılır

Neden önemli

İlgili sorular