¿Qué es un deadlock, y cómo se previene, evita o detecta?

Question

IT Interview Practice · Accepted Answer

Un **deadlock** (bloqueo mutuo) es un estado en el que dos o más threads están cada uno **bloqueado para siempre**, cada uno esperando un recurso que otro mantiene. Nada avanza.

## Las cuatro condiciones necesarias (de Coffman)

Las cuatro deben cumplirse a la vez — elimina cualquiera y el deadlock es imposible:

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

## Manejo del deadlock

- **Prevención (prevention)** — diseña de modo que una condición nunca se cumpla. Lo más práctico: elimina el **circular wait** imponiendo un **orden global de locks** (adquirir siempre A antes que B). O ataca el **hold-and-wait** tomando todos los locks necesarios de una vez.
- **Evitación (avoidance)** — concede una petición solo si el sistema permanece en un estado "seguro" donde cada thread aún puede terminar (el **algoritmo del banquero**). Necesita conocer de antemano las necesidades máximas de recursos de cada thread, por lo que rara vez se usa en la práctica.
- **Detección y recuperación (detection & recovery)** — deja que ocurran los deadlocks, escanea periódicamente el **wait-for graph** en busca de un ciclo, y luego recupérate matando o haciendo rollback de una víctima. Las bases de datos hacen justo esto: detectan deadlocks y abortan una transacción con un error de "deadlock victim".
- **Ignorar (el "algoritmo del avestruz")** — si los deadlocks son raros, simplemente reinicia; muchos OS aceptan esto para algunos recursos.

## Por qué es importante

El deadlock es un tema de entrevista clásico porque el marco de las cuatro condiciones es una herramienta de diagnóstico precisa: ante un cuelgue, puedes preguntar "¿qué condición puedo romper?". En sistemas reales la respuesta habitual es el **orden de locks consistente** (que previene el circular wait) — una regla que aplicas cada vez que tomas más de un lock. Reconocer que tu base de datos lanza errores de deadlock-victim, y saber que basta con reintentar esa transacción, es una aplicación práctica directa.

Las cuatro condiciones necesarias (de Coffman)

Manejo del deadlock

Por qué es importante

Preguntas relacionadas