¿Cómo funcionan los bloqueos de fila y MVCC en InnoDB, y cómo evitas los deadlocks?

Question

IT Interview Practice · Accepted Answer

InnoDB combina dos mecanismos. **MVCC** permite que los `SELECT` simples lean una instantánea consistente sin bloquear, de modo que los lectores nunca bloquean a los escritores. Los **bloqueos** protegen las escrituras: `UPDATE`/`DELETE`/`SELECT ... FOR UPDATE` toman bloqueos de fila, e InnoDB también usa **next-key locks** (la fila + el hueco anterior a ella) para detener los fantasmas bajo REPEATABLE READ.

## Deadlocks

Un deadlock es un ciclo: T1 tiene el bloqueo A y quiere B, mientras T2 tiene B y quiere A. Ninguno puede avanzar. InnoDB **detecta el ciclo y revierte una transacción** (la víctima más barata) con el error 1213, de modo que la otra se completa.

```sql
-- T1                              -- T2
BEGIN;                             BEGIN;
UPDATE acct SET bal=bal-1          UPDATE acct SET bal=bal-1
  WHERE id=1;  -- locks row 1        WHERE id=2;  -- locks row 2
UPDATE acct SET bal=bal+1          UPDATE acct SET bal=bal+1
  WHERE id=2;  -- waits for T2        WHERE id=1;  -- waits for T1 => DEADLOCK
-- ERROR 1213: Deadlock found; transaction rolled back
```

## Cómo evitarlos

- **Orden de bloqueo consistente** — toca siempre las filas en el mismo orden (p. ej. id ascendente). El ejemplo genera deadlock solo porque las dos transacciones bloquean 1→2 y 2→1.
- **Mantén las transacciones cortas** — adquiere los bloqueos tarde, confirma rápido, no retengas bloqueos durante esperas de red/usuario.
- **Bloquea lo mínimo** — indexa tu `WHERE` para que InnoDB bloquee filas específicas, no rangos ni (sin un índice) efectivamente cada fila escaneada.
- **Reintenta ante el 1213** — los deadlocks son normales bajo contención; envuelve la transacción en un reintento a nivel de aplicación.

```sql
SHOW ENGINE INNODB STATUS\G   -- LATEST DETECTED DEADLOCK explains who waited on what
```

## Por qué es importante

Bajo concurrencia real, la contención de bloqueos y los deadlocks son la diferencia entre una base de datos que escala y una que se atasca. Saber que los lectores usan MVCC (así que no bloquean), que los deadlocks son esperables y reintentar es válido, y que un orden de bloqueo consistente previene la mayoría de ellos es exactamente lo que exige el trabajo senior de guardia.

Deadlocks

Cómo evitarlos

Por qué es importante

Preguntas relacionadas