Como funcionam row locks e MVCC no InnoDB, e como você evita deadlocks?

Question

IT Interview Practice · Accepted Answer

O InnoDB combina dois mecanismos. O **MVCC** permite que `SELECT`s comuns leiam um snapshot consistente sem travar, então leitores nunca bloqueiam escritores. Os **locks** protegem as escritas: `UPDATE`/`DELETE`/`SELECT ... FOR UPDATE` pegam row locks, e o InnoDB também usa **next-key locks** (a linha + o gap antes dela) para impedir phantoms sob REPEATABLE READ.

## Deadlocks

Um deadlock é um ciclo: T1 tem o lock A e quer o B, enquanto T2 tem o B e quer o A. Nenhuma pode prosseguir. O InnoDB **detecta o ciclo e reverte uma transação** (a vítima mais barata) com o erro 1213, para que a outra conclua.

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

## Evitando-os

- **Ordem consistente de bloqueio** — sempre toque as linhas na mesma ordem (ex.: id ascendente). O exemplo só entra em deadlock porque as duas transações travam 1→2 e 2→1.
- **Mantenha as transações curtas** — adquira locks tarde, confirme rápido, não segure locks durante esperas de rede/usuário.
- **Trave o mínimo** — indexe seu `WHERE` para que o InnoDB trave linhas específicas, não intervalos ou (sem um índice) efetivamente cada linha varrida.
- **Retente no 1213** — deadlocks são normais sob contenção; envolva a transação em um retry no nível da aplicação.

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

## Por que isso importa

Sob concorrência real, a contenção de bloqueios e os deadlocks são a diferença entre um banco de dados que escala e um que trava. Saber que leitores usam MVCC (então não bloqueiam), que deadlocks são esperados e retentáveis, e que a ordem consistente de bloqueio previne a maioria deles é exatamente o que o trabalho sênior de plantão exige.

Deadlocks

Evitando-os

Por que isso importa

Perguntas relacionadas