Deadlock nedir ve onu nasıl önler, kaçınır ya da tespit edersiniz?

Question

IT Interview Practice · Accepted Answer

Bir **deadlock** (kilitlenme), iki veya daha fazla thread'in her birinin **sonsuza dek bloke** olduğu, her birinin bir başkasının tuttuğu bir kaynağı beklediği bir durumdur. Hiçbir şey ilerleme kaydetmez.

## Dört gerekli (Coffman) koşul

Dördünün de aynı anda sağlanması gerekir — herhangi birini kaldırın, deadlock imkânsızdır:

```text
1. Mutual exclusion   → a resource is held exclusively (only one holder at a time)
2. Hold and wait      → a thread holds one resource while waiting to acquire another
3. No preemption      → resources can't be forcibly taken; only released voluntarily
4. Circular wait      → a cycle: T1 waits for R2 (held by T2), T2 waits for R1 (held by T1)
```

```text
   T1 ──holds──▶ R1        T1 wants R2 ──▶ (held by T2)
   T2 ──holds──▶ R2        T2 wants R1 ──▶ (held by T1)   ← cycle = deadlock
```

## Deadlock ile başa çıkma

- **Önleme (prevention)** — bir koşulun asla sağlanamayacağı şekilde tasarlayın. En pratik olanı: bir **global lock sıralaması** dayatarak (her zaman B'den önce A'yı edinerek) **circular wait**'i öldürmek. Ya da gereken tüm lock'ları bir anda alarak **hold-and-wait**'e saldırmak.
- **Kaçınma (avoidance)** — bir isteği yalnızca sistem, her thread'in hâlâ bitirebileceği "güvenli" bir durumda kalıyorsa onaylayın (**Banker algoritması**). Her thread'in maksimum kaynak ihtiyacını önceden gerektirir, bu yüzden pratikte nadiren kullanılır.
- **Tespit & kurtarma (detection & recovery)** — deadlock'ların olmasına izin verin, periyodik olarak **wait-for graph**'ı bir döngü için tarayın, sonra bir kurbanı öldürerek ya da geri alarak (rollback) kurtarın. Veritabanları tam olarak bunu yapar: deadlock'ları tespit eder ve bir transaction'ı "deadlock victim" hatasıyla iptal eder.
- **Yok sayma ("devekuşu algoritması")** — deadlock'lar nadirse, yeniden başlatın yeter; birçok OS bazı kaynaklar için bunu kabul eder.

## Neden önemli

Deadlock klasik bir mülakat konusudur; çünkü dört koşullu çerçeve kesin bir teşhis aracıdır: bir takılma karşısında "hangi koşulu kırabilirim?" diye sorabilirsiniz. Gerçek sistemlerde başvurulan cevap **tutarlı lock sıralaması**dır (circular wait'i önler) — birden çok lock aldığınız her seferde uyguladığınız bir kural. Veritabanınızın deadlock-victim hataları fırlattığını fark etmek ve o transaction'ı basitçe yeniden denemek gerektiğini bilmek, doğrudan pratik bir uygulamadır.

Dört gerekli (Coffman) koşul

Deadlock ile başa çıkma

Neden önemli

İlgili sorular