Ce este un deadlock? Care sunt cele patru condiții și cum îl previi?

Question

IT Interview Practice · Accepted Answer

**Un deadlock este o stare în care două sau mai multe thread-uri așteaptă la infinit fiecare o resursă pe care o dețin celelalte, așa că niciunul nu poate avansa.** Necesită ca patru condiții să fie îndeplinite simultan (condițiile Coffman).

## Cele patru condiții

1. **Mutual exclusion** — o resursă este deținută exclusiv.
2. **Hold and wait** — un thread deține o resursă în timp ce așteaptă alta.
3. **No preemption** — resursele nu pot fi luate cu forța.
4. **Circular wait** — un ciclu de thread-uri care așteaptă fiecare pe următorul.

Rupe oricare dintre ele și deadlock-ul devine imposibil.

```text
Thread 1 deține A, vrea B ─┐
                           ├─ circular wait → deadlock
Thread 2 deține B, vrea A ─┘
```

## Exemplu și remediere

```python
# DEADLOCK: thread-urile blochează în ordine opusă
def t1():
    with lockA:
        with lockB: ...     # T1: A apoi B
def t2():
    with lockB:
        with lockA: ...     # T2: B apoi A  ← ciclu!

# REMEDIERE: impune o ordine globală a lock-urilor (mereu A înainte de B)
def safe():
    with lockA:
        with lockB: ...     # toți achiziționează în aceeași ordine
```

## Prevenire și detecție

- **Ordinea lock-urilor**: achiziționează mereu lock-urile într-o ordine globală consistentă — rupe circular wait.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, retrage-te și reîncearcă — rupe hold-and-wait.
- **Un singur lock grosier** sau structuri lock-free evită complet problema.
- **Detecție**: un watchdog construiește un graf wait-for și caută cicluri, apoi omoară/repornește o victimă.

## De ce contează

Deadlock-urile îngheață sistemele în tăcere — fără crash, doar cereri blocate. Numirea celor patru condiții arată că poți raționa despre *de ce* se întâmplă și poți alege o prevenire țintită (de obicei ordinea consistentă a lock-urilor), în loc să presari lock-uri și să speri.

Cele patru condiții

Exemplu și remediere

Prevenire și detecție

De ce contează

Întrebări conexe