Kaj je deadlock in kako ga preprečite, se mu izognete ali ga zaznate?

Question

IT Interview Practice · Accepted Answer

**Deadlock** je stanje, v katerem sta dve ali več niti vsaka **za vedno blokirani**, vsaka čaka na vir, ki ga drži druga. Nič ne napreduje.

## Štirje nujni (Coffmanovi) pogoji

Vsi štirje morajo veljati hkrati — odstranite katerega koli in deadlock je nemogoč:

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

## Ravnanje z deadlockom

- **Preprečevanje (prevention)** — načrtujte tako, da en pogoj nikoli ne more veljati. Najbolj praktično: ubijte **circular wait** z vsiljenjem **globalnega vrstnega reda ključavnic** (vedno pridobi A pred B). Ali napadite **hold-and-wait** tako, da naenkrat zagrabite vse potrebne ključavnice.
- **Izogibanje (avoidance)** — zahtevo odobrite le, če sistem ostane v "varnem" stanju, kjer lahko vsaka nit še konča (**Bankirjev algoritem**). Vnaprej potrebuje največje potrebe po virih vsake niti, zato se v praksi redko uporablja.
- **Zaznava in okrevanje (detection & recovery)** — pustite, da se deadlocki zgodijo, občasno preglejte **wait-for graph** za cikel, nato okrevajte tako, da ubijete ali povrnete (rollback) žrtev. Baze delajo natanko to: zaznajo deadlocke in prekinejo eno transakcijo z napako "deadlock victim".
- **Ignoriranje ("nojev algoritem")** — če so deadlocki redki, preprosto ponovno zaženite; mnogi OS-i to sprejmejo za nekatere vire.

## Zakaj je to pomembno

Deadlock je klasična tema razgovorov, ker je okvir štirih pogojev natančno diagnostično orodje: ob obvisu se lahko vprašate "kateri pogoj lahko prekinem?" V resničnih sistemih je običajen odgovor **dosleden vrstni red ključavnic** (ki prepreči circular wait) — pravilo, ki ga uporabite vsakič, ko vzamete več kot eno ključavnico. Prepoznati, da vaša baza vrže napake deadlock-victim, in vedeti, da to transakcijo preprosto ponovite (retry), je neposredna praktična uporaba.

Štirje nujni (Coffmanovi) pogoji

Ravnanje z deadlockom

Zakaj je to pomembno

Povezana vprašanja