Deadlock nedir? Dört koşul nelerdir ve nasıl önlersiniz?

Question

IT Interview Practice · Accepted Answer

**Deadlock, iki veya daha fazla thread'in her birinin diğerlerinin tuttuğu bir kaynağı sonsuza dek beklediği ve hiçbirinin ilerleyemediği bir durumdur.** Aynı anda dört koşulun sağlanmasını gerektirir (Coffman koşulları).

## Dört koşul

1. **Mutual exclusion** — bir kaynak özel olarak tutulur.
2. **Hold and wait** — bir thread bir kaynağı tutarken başka birini bekler.
3. **No preemption** — kaynaklar zorla alınamaz.
4. **Circular wait** — her biri bir sonrakini bekleyen bir thread döngüsü.

Herhangi birini kırın ve deadlock imkansız olur.

```text
Thread 1 holds A, wants B ─┐
                           ├─ circular wait → deadlock
Thread 2 holds B, wants A ─┘
```

## Örnek ve çözüm

```python
# DEADLOCK: threads lock in opposite orders
def t1():
    with lockA:
        with lockB: ...     # T1: A then B
def t2():
    with lockB:
        with lockA: ...     # T2: B then A  ← cycle!

# FIX: impose a global lock ordering (always A before B)
def safe():
    with lockA:
        with lockB: ...     # everyone acquires in the same order
```

## Önleme ve tespit

- **Lock ordering**: kilitleri her zaman tutarlı bir global sırada acquire edin — circular wait'i kırar.
- **Timeout / try-lock**: `tryAcquire(timeout)`, geri çekil ve yeniden dene — hold-and-wait'i kırar.
- **Tek kaba kilit** veya lock-free yapılar sorunu tamamen önler.
- **Tespit**: bir watchdog bir wait-for graph inşa eder ve döngüler arar, sonra bir kurbanı öldürür/yeniden başlatır.

## Neden önemli

Deadlock'lar sistemleri sessizce dondurur — çökme yok, sadece takılı istekler. Dört koşulu adlandırmak, *neden* olduğunu akıl yürütebildiğinizi ve kilit serpiştirip umut etmek yerine hedeflenmiş bir önleme (genellikle tutarlı lock ordering) seçebildiğinizi gösterir.

Dört koşul

Örnek ve çözüm

Önleme ve tespit

Neden önemli

İlgili sorular