Ce este un deadlock și cum îl previi, eviți sau detectezi?

Question

IT Interview Practice · Accepted Answer

Un **deadlock** este o stare în care două sau mai multe thread-uri sunt fiecare **blocate pentru totdeauna**, fiecare așteptând o resursă pe care o alta o deține. Nimic nu progresează.

## Cele patru condiții necesare (Coffman)

Toate patru trebuie să fie îndeplinite simultan — elimină oricare și deadlock-ul devine imposibil:

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

## Gestionarea deadlock-ului

- **Prevenire** — proiectează astfel încât o condiție să nu poată fi îndeplinită niciodată. Cea mai practică: elimină **circular wait** impunând o **ordine globală a lock-urilor** (achiziționează mereu A înainte de B). Sau atacă **hold-and-wait** apucând toate lock-urile necesare deodată.
- **Evitare** — acordă o cerere doar dacă sistemul rămâne într-o stare „sigură" în care fiecare thread încă poate termina (**algoritmul Banker**). Are nevoie dinainte de necesarul maxim de resurse al fiecărui thread, așa că se folosește rar în practică.
- **Detectare și recuperare** — lasă deadlock-urile să se întâmple, scanează periodic **wait-for graph**-ul după un ciclu, apoi recuperează omorând sau făcând rollback la o victimă. Bazele de date fac exact asta: detectează deadlock-uri și abortează o tranzacție cu o eroare „deadlock victim".
- **Ignorare („algoritmul struțului")** — dacă deadlock-urile sunt rare, doar repornește; multe OS-uri acceptă asta pentru unele resurse.

## De ce contează

Deadlock-ul este un subiect clasic de interviu pentru că cadrul celor patru condiții este un instrument de diagnostic precis: dat fiind un blocaj, poți întreba „pe care condiție o pot rupe?". În sistemele reale, răspunsul de referință este **ordinea consistentă a lock-urilor** (care previne circular wait) — o regulă pe care o aplici de fiecare dată când iei mai mult de un lock. A recunoaște că baza ta de date aruncă erori „deadlock victim" și a ști să reîncerci pur și simplu acea tranzacție este o aplicație practică directă.

Cele patru condiții necesare (Coffman)

Gestionarea deadlock-ului

De ce contează

Întrebări conexe