¿Qué es un deadlock? ¿Cuáles son las cuatro condiciones y cómo lo previenes?

Question

IT Interview Practice · Accepted Answer

**Un deadlock es un estado en el que dos o más hilos esperan para siempre un recurso que los otros retienen, de modo que ninguno puede avanzar.** Requiere que cuatro condiciones se cumplan simultáneamente (condiciones de Coffman).

## Las cuatro condiciones

1. **Exclusión mutua** — un recurso se retiene en exclusiva.
2. **Retener y esperar** — un hilo retiene un recurso mientras espera otro.
3. **Sin expropiación** — los recursos no pueden arrebatarse por la fuerza.
4. **Espera circular** — un ciclo de hilos cada uno esperando al siguiente.

Rompe cualquiera de ellas y el deadlock es imposible.

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

## Ejemplo y solución

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

## Prevención y detección

- **Orden de bloqueo**: adquiere siempre los locks en un orden global consistente — rompe la espera circular.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, retrocede y reintenta — rompe el retener-y-esperar.
- **Un solo lock grueso** o estructuras sin locks evitan el problema por completo.
- **Detección**: un watchdog construye un grafo de espera y busca ciclos, luego mata/reinicia a una víctima.

## Por qué es importante

Los deadlocks congelan los sistemas silenciosamente — sin caída, solo peticiones colgadas. Nombrar las cuatro condiciones demuestra que puedes razonar sobre *por qué* ocurre y elegir una prevención dirigida (normalmente un orden de bloqueo consistente), en lugar de esparcir locks y esperar.

Las cuatro condiciones

Ejemplo y solución

Prevención y detección

Por qué es importante

Preguntas relacionadas