Mi az a deadlock? Mi a négy feltétele, és hogyan előzöd meg?

Question

IT Interview Practice · Accepted Answer

**A deadlock egy állapot, ahol két vagy több thread mindegyike örökre vár egy erőforrásra, amelyet a többi tart, így egyik sem tud haladni.** Négy feltétel egyidejű teljesülését igényli (Coffman-feltételek).

## A négy feltétel

1. **Mutual exclusion** — egy erőforrást kizárólagosan tartanak.
2. **Hold and wait** — egy thread tart egy erőforrást, miközben egy másikra vár.
3. **No preemption** — az erőforrásokat nem lehet erőszakkal elvenni.
4. **Circular wait** — threadek ciklusa, mindegyik a következőre várva.

Törd meg bármelyiket, és a deadlock lehetetlen.

```text
Thread 1 tartja A-t, B-t akar ─┐
                               ├─ circular wait → deadlock
Thread 2 tartja B-t, A-t akar ─┘
```

## Példa és javítás

```python
# DEADLOCK: a threadek ellentétes sorrendben zárolnak
def t1():
    with lockA:
        with lockB: ...     # T1: A majd B
def t2():
    with lockB:
        with lockA: ...     # T2: B majd A  ← ciklus!

# JAVÍTÁS: kényszeríts globális zárolási sorrendet (mindig A B előtt)
def safe():
    with lockA:
        with lockB: ...     # mindenki ugyanabban a sorrendben acquire-ol
```

## Megelőzés és észlelés

- **Zárolási sorrend (lock ordering)**: mindig konzisztens globális sorrendben acquire-olj — megtöri a circular waitet.
- **Timeoutok / try-lock**: `tryAcquire(timeout)`, hátrálj és próbáld újra — megtöri a hold-and-waitet.
- **Egyetlen durva lock** vagy lock-free struktúrák teljesen elkerülik a problémát.
- **Észlelés**: egy watchdog wait-for gráfot épít és ciklusokat keres, majd megöl/újraindít egy áldozatot.

## Miért fontos

A deadlockok csendben lefagyasztják a rendszereket — nincs összeomlás, csak beragadt kérések. A négy feltétel megnevezése megmutatja, hogy tudsz érvelni arról, *miért* történik, és célzott megelőzést választani (általában konzisztens zárolási sorrend), ahelyett, hogy lockokat szórnál szét és reménykednél.

A négy feltétel

Példa és javítás

Megelőzés és észlelés

Miért fontos

Kapcsolódó kérdések