Hvad er en deadlock? Hvad er de fire betingelser, og hvordan forhindrer du den?

Question

IT Interview Practice · Accepted Answer

**En deadlock er en tilstand, hvor to eller flere tråde hver især venter for evigt på en ressource, som de andre holder, så ingen kan fortsætte.** Den kræver, at fire betingelser holder samtidigt (Coffman-betingelserne).

## De fire betingelser

1. **Mutual exclusion** — en ressource holdes eksklusivt.
2. **Hold and wait** — en tråd holder én ressource, mens den venter på en anden.
3. **No preemption** — ressourcer kan ikke tvangsfjernes.
4. **Circular wait** — en cyklus af tråde, der hver især venter på den næste.

Bryd bare én, og deadlock er umulig.

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

## Eksempel og rettelse

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

## Forebyggelse & detektion

- **Lock-rækkefølge**: tag altid locks i en konsistent global rækkefølge — bryder circular wait.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, træk dig tilbage og prøv igen — bryder hold-and-wait.
- **Én grovkornet lock** eller lock-free-strukturer undgår problemet helt.
- **Detektion**: en watchdog bygger en wait-for-graf og leder efter cyklusser og dræber/genstarter derefter et offer.

## Hvorfor det betyder noget

Deadlocks fryser systemer tavst — intet crash, bare hængende requests. At kunne navngive de fire betingelser viser, at du kan ræsonnere om *hvorfor* det sker og vælge en målrettet forebyggelse (som regel konsistent lock-rækkefølge) i stedet for at drysse locks ud og håbe.

De fire betingelser

Eksempel og rettelse

Forebyggelse & detektion

Hvorfor det betyder noget

Relaterede spørgsmål