Hva er en deadlock? Hva er de fire betingelsene, og hvordan forhindrer du den?

Question

IT Interview Practice · Accepted Answer

**En deadlock er en tilstand der to eller flere tråder hver venter evig på en ressurs de andre holder, slik at ingen kan gå videre.** Den krever at fire betingelser holder samtidig (Coffman-betingelsene).

## De fire betingelsene

1. **Mutual exclusion** — en ressurs holdes eksklusivt.
2. **Hold and wait** — en tråd holder én ressurs mens den venter på en annen.
3. **No preemption** — ressurser kan ikke tas med makt.
4. **Circular wait** — en syklus av tråder som hver venter på den neste.

Bryt hvilken som helst av dem, og deadlock er umulig.

```text
Thread 1 holds A, wants B ─┐
                           ├─ circular wait → deadlock
Thread 2 holds B, wants A ─┘
```

## Eksempel og løsning

```python
# DEADLOCK: threads lock in opposite orders
def t1():
    with lockA:
        with lockB: ...     # T1: A then B
def t2():
    with lockB:
        with lockA: ...     # T2: B then A  ← cycle!

# FIX: impose a global lock ordering (always A before B)
def safe():
    with lockA:
        with lockB: ...     # everyone acquires in the same order
```

## Forhindring og deteksjon

- **Låserekkefølge**: ta alltid låser i en konsistent global rekkefølge — bryter circular wait.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, trekk deg tilbake og prøv på nytt — bryter hold-and-wait.
- **Én grovkornet lås** eller lock-free-strukturer unngår problemet helt.
- **Deteksjon**: en watchdog bygger en wait-for-graf og ser etter sykluser, og dreper/restarter deretter et offer.

## Hvorfor det er viktig

Deadlocks fryser systemer i det stille — ingen krasj, bare hengende forespørsler. Å navngi de fire betingelsene viser at du kan resonnere om *hvorfor* det skjer og velge en målrettet forhindring (som regel konsistent låserekkefølge), i stedet for å strø rundt låser og håpe.

De fire betingelsene

Eksempel og løsning

Forhindring og deteksjon

Hvorfor det er viktig

Relaterte spørsmål