Kako rade zaključavanja na razini retka i MVCC u InnoDB-u te kako izbjegavate deadlockove?

Question

IT Interview Practice · Accepted Answer

InnoDB kombinira dva mehanizma. **MVCC** omogućuje običnim `SELECT`-ovima da čitaju dosljedni snimak bez zaključavanja, pa čitatelji nikada ne blokiraju pisce. **Zaključavanja** štite upise: `UPDATE`/`DELETE`/`SELECT ... FOR UPDATE` uzimaju zaključavanja retka, a InnoDB također koristi **next-key locks** (redak + praznina prije njega) za zaustavljanje fantoma pod REPEATABLE READ.

## Deadlockovi

Deadlock je ciklus: T1 drži zaključavanje A i želi B, dok T2 drži B i želi A. Nijedan ne može nastaviti. InnoDB **otkriva ciklus i povlači jednu transakciju** (jeftiniju žrtvu) s greškom 1213, pa druga završava.

```sql
-- T1                              -- T2
BEGIN;                             BEGIN;
UPDATE acct SET bal=bal-1          UPDATE acct SET bal=bal-1
  WHERE id=1;  -- zaključava redak 1  WHERE id=2;  -- zaključava redak 2
UPDATE acct SET bal=bal+1          UPDATE acct SET bal=bal+1
  WHERE id=2;  -- čeka T2             WHERE id=1;  -- čeka T1 => DEADLOCK
-- ERROR 1213: Deadlock found; transaction rolled back
```

## Izbjegavanje

- **Dosljedan redoslijed zaključavanja** — uvijek dodirujte retke istim redoslijedom (npr. rastući id). Primjer izaziva deadlock samo zato što dvije transakcije zaključavaju 1→2 i 2→1.
- **Držite transakcije kratkima** — uzimajte zaključavanja kasno, potvrđujte brzo, ne držite zaključavanja preko mrežnih/korisničkih čekanja.
- **Zaključavajte minimum** — indeksirajte svoj `WHERE` da InnoDB zaključava specifične retke, a ne raspone ili (bez indeksa) praktički svaki skenirani redak.
- **Ponovite pri 1213** — deadlockovi su normalni pod natjecanjem; omotajte transakciju u ponovni pokušaj na razini aplikacije.

```sql
SHOW ENGINE INNODB STATUS\G   -- LATEST DETECTED DEADLOCK objašnjava tko je čekao na što
```

## Zašto je to važno

Pod stvarnom konkurentnošću, natjecanje za zaključavanjem i deadlockovi razlika su između baze koja se skalira i one koja zastaje. Znanje da čitatelji koriste MVCC (pa ne blokiraju), da su deadlockovi očekivani i ponovljivi, te da dosljedan redoslijed zaključavanja sprječava većinu njih upravo je ono što zahtijeva senior on-call rad.

Deadlockovi

Izbjegavanje

Zašto je to važno

Povezana pitanja