Qu'est-ce qu'un deadlock, et comment le prévenir, l'éviter ou le détecter ?

Question

IT Interview Practice · Accepted Answer

Un **deadlock** (interblocage) est un état où deux threads ou plus sont chacun **bloqués pour toujours**, chacun attendant une ressource qu'un autre détient. Rien ne progresse.

## Les quatre conditions nécessaires (Coffman)

Les quatre doivent être réunies simultanément — en supprimer une seule et le deadlock devient impossible :

```text
1. Mutual exclusion   → a resource is held exclusively (only one holder at a time)
2. Hold and wait      → a thread holds one resource while waiting to acquire another
3. No preemption      → resources can't be forcibly taken; only released voluntarily
4. Circular wait      → a cycle: T1 waits for R2 (held by T2), T2 waits for R1 (held by T1)
```

```text
   T1 ──holds──▶ R1        T1 wants R2 ──▶ (held by T2)
   T2 ──holds──▶ R2        T2 wants R1 ──▶ (held by T1)   ← cycle = deadlock
```

## Gérer le deadlock

- **Prévention** — concevoir de sorte qu'une condition ne puisse jamais tenir. Le plus pratique : tuer le **circular wait** en imposant un **ordre global de locks** (toujours acquérir A avant B). Ou attaquer le **hold-and-wait** en saisissant tous les locks nécessaires d'un coup.
- **Évitement (avoidance)** — n'accorder une requête que si le système reste dans un état « sûr » où chaque thread peut encore finir (l'**algorithme du banquier**). Il nécessite de connaître à l'avance les besoins maximaux en ressources de chaque thread, il est donc rarement utilisé en pratique.
- **Détection & récupération** — laisser les deadlocks se produire, scanner périodiquement le **wait-for graph** à la recherche d'un cycle, puis récupérer en tuant ou en annulant (rollback) une victime. Les bases de données font exactement cela : elles détectent les deadlocks et abandonnent une transaction avec une erreur « deadlock victim ».
- **Ignorer (l'« algorithme de l'autruche »)** — si les deadlocks sont rares, il suffit de redémarrer ; beaucoup d'OS acceptent cela pour certaines ressources.

## Pourquoi c'est important

Le deadlock est un sujet d'entretien classique car le cadre des quatre conditions est un outil de diagnostic précis : face à un blocage, vous pouvez demander « quelle condition puis-je briser ? ». Dans les systèmes réels, la réponse de référence est l'**ordre cohérent des locks** (qui empêche le circular wait) — une règle que vous appliquez chaque fois que vous prenez plus d'un lock. Reconnaître que votre base de données lève des erreurs deadlock-victim, et savoir qu'il suffit de réessayer (retry) cette transaction, est une application pratique directe.

Les quatre conditions nécessaires (Coffman)

Gérer le deadlock

Pourquoi c'est important

Questions connexes