Što je deadlock? Koja su četiri uvjeta i kako ga sprječavate?

Question

IT Interview Practice · Accepted Answer

**Deadlock je stanje u kojem dvije ili više niti svaka zauvijek čeka na resurs koji drži druga, pa nijedna ne može nastaviti.** Zahtijeva da četiri uvjeta vrijede istovremeno (Coffmanovi uvjeti).

## Četiri uvjeta

1. **Međusobno isključivanje** — resurs se drži ekskluzivno.
2. **Drži i čekaj** — nit drži jedan resurs dok čeka drugi.
3. **Bez oduzimanja** — resursi se ne mogu prisilno oduzeti.
4. **Kružno čekanje** — ciklus niti gdje svaka čeka na sljedeću.

Probijte bilo koji jedan i deadlock je nemoguć.

```text
Nit 1 drži A, želi B ─┐
                      ├─ kružno čekanje → deadlock
Nit 2 drži B, želi A ─┘
```

## Primjer i popravak

```python
# DEADLOCK: niti zaključavaju u suprotnim redoslijedima
def t1():
    with lockA:
        with lockB: ...     # T1: A pa B
def t2():
    with lockB:
        with lockA: ...     # T2: B pa A  ← ciklus!

# POPRAVAK: nametni globalni redoslijed zaključavanja (uvijek A prije B)
def safe():
    with lockA:
        with lockB: ...     # svi dohvaćaju istim redoslijedom
```

## Sprječavanje i detekcija

- **Redoslijed zaključavanja**: uvijek dohvaćajte zaključavanja dosljednim globalnim redoslijedom — probija kružno čekanje.
- **Timeouti / try-lock**: `tryAcquire(timeout)`, odustani i ponovi — probija drži-i-čekaj.
- **Jedno grubo zaključavanje** ili lock-free strukture potpuno izbjegavaju problem.
- **Detekcija**: watchdog gradi wait-for graf i traži cikluse, zatim ubija/restarta žrtvu.

## Zašto je to važno

Deadlockovi zamrzavaju sustave tiho — bez pada, samo obješeni zahtjevi. Imenovanje četiriju uvjeta pokazuje da možete rasuđivati o tome *zašto* se događa i odabrati ciljano sprječavanje (obično dosljedan redoslijed zaključavanja), umjesto da posipate zaključavanja i nadate se.

Četiri uvjeta

Primjer i popravak

Sprječavanje i detekcija

Zašto je to važno

Povezana pitanja