Mi az a deadlock, és hogyan előzöd meg, kerülöd el vagy detektálod?

Question

IT Interview Practice · Accepted Answer

A **deadlock** olyan állapot, ahol két vagy több thread mindegyike **örökre blokkolva** van, mindegyik egy olyan erőforrásra várva, amelyet egy másik tart. Semmi sem halad előre.

## A négy szükséges (Coffman-) feltétel

Mind a négynek egyszerre kell fennállnia — vedd el bármelyiket, és a deadlock lehetetlen:

```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
```

## A deadlock kezelése

- **Megelőzés (prevention)** — úgy tervezz, hogy egy feltétel soha ne állhasson fenn. A legpraktikusabb: öld meg a **circular wait**-et egy **globális lock-sorrend** bevezetésével (mindig A-t szerezd meg B előtt). Vagy támadd a **hold-and-wait**-et azzal, hogy az összes szükséges lockot egyszerre ragadod meg.
- **Elkerülés (avoidance)** — csak akkor engedélyezz egy kérést, ha a rendszer olyan "biztonságos" állapotban marad, ahol minden thread még be tud fejeződni (a **Banker-algoritmus**). Előre igényli minden thread maximális erőforrásigényét, ezért a gyakorlatban ritkán használják.
- **Detektálás és helyreállítás (detection & recovery)** — hagyd, hogy deadlockok történjenek, periodikusan vizsgáld a **wait-for graph**-ot ciklus után, majd állj helyre egy áldozat megölésével vagy visszagörgetésével. Az adatbázisok pontosan ezt teszik: detektálják a deadlockokat, és egy tranzakciót megszakítanak egy "deadlock victim" hibával.
- **Figyelmen kívül hagyás ("strucc-algoritmus")** — ha a deadlockok ritkák, csak indítsd újra; sok OS elfogadja ezt bizonyos erőforrásokra.

## Miért fontos

A deadlock klasszikus interjútéma, mert a négyfeltételes keret pontos diagnosztikai eszköz: egy elakadás esetén megkérdezheted, "melyik feltételt tudom megtörni?" Valódi rendszerekben a bevett válasz a **konzisztens lock-sorrend** (amely megelőzi a circular wait-et) — egy szabály, amelyet minden alkalommal alkalmazol, amikor egynél több lockot veszel fel. Felismerni, hogy az adatbázisod deadlock-victim hibákat dob, és tudni, hogy egyszerűen újra kell próbálni azt a tranzakciót, közvetlen gyakorlati alkalmazás.

A négy szükséges (Coffman-) feltétel

A deadlock kezelése

Miért fontos

Kapcsolódó kérdések