Vad är en deadlock? Vilka är de fyra villkoren, och hur förhindrar du den?

Question

IT Interview Practice · Accepted Answer

**En deadlock är ett tillstånd där två eller fler trådar var och en väntar för evigt på en resurs som de andra håller, så att ingen kan gå vidare.** Det kräver att fyra villkor är uppfyllda samtidigt (Coffman-villkoren).

## De fyra villkoren

1. **Ömsesidig uteslutning** — en resurs hålls exklusivt.
2. **Hold and wait** — en tråd håller en resurs medan den väntar på en annan.
3. **Ingen preemption** — resurser kan inte tas bort med tvång.
4. **Cirkulär väntan** — en cykel av trådar som var och en väntar på nästa.

Bryt vilket som helst av dem och deadlock är omöjlig.

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

## Exempel och fix

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

## Förhindrande och upptäckt

- **Låsordning**: ta alltid lås i en konsekvent global ordning — bryter cirkulär väntan.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, backa av och försök igen — bryter hold-and-wait.
- **Ett enda grovt lås** eller lås-fria strukturer undviker problemet helt.
- **Upptäckt**: en watchdog bygger en wait-for-graf och letar efter cykler, och dödar/startar sedan om ett offer.

## Varför det är viktigt

Deadlocks fryser system i tysthet — ingen krasch, bara hängande förfrågningar. Att namnge de fyra villkoren visar att du kan resonera om *varför* det händer och välja ett riktat förhindrande (vanligtvis konsekvent låsordning), istället för att strö lås omkring dig och hoppas.

De fyra villkoren

Exempel och fix

Förhindrande och upptäckt

Varför det är viktigt

Relaterade frågor