Hogyan működnek a sor-zárak és az MVCC InnoDB-ben, és hogyan kerülöd el a deadlockokat?

Question

IT Interview Practice · Accepted Answer

Az InnoDB két mechanizmust kombinál. Az **MVCC** lehetővé teszi, hogy a sima `SELECT`-ek egy konzisztens pillanatképet olvassanak zárolás nélkül, így az olvasók sosem blokkolják az írókat. A **zárak** az írásokat védik: az `UPDATE`/`DELETE`/`SELECT ... FOR UPDATE` sor-zárakat vesznek fel, és az InnoDB **next-key lockokat** is használ (a sor + az előtte lévő rés), hogy megállítsa a phantomokat REPEATABLE READ alatt.

## Deadlockok

A deadlock egy ciklus: T1 tartja az A zárat és B-t akarja, míg T2 tartja B-t és A-t akarja. Egyik sem tud haladni. Az InnoDB **észleli a ciklust és visszagördíti az egyik tranzakciót** (az olcsóbb áldozatot) 1213-as hibával, így a másik befejeződik.

```sql
-- T1                              -- T2
BEGIN;                             BEGIN;
UPDATE acct SET bal=bal-1          UPDATE acct SET bal=bal-1
  WHERE id=1;  -- zárolja az 1. sort  WHERE id=2;  -- zárolja a 2. sort
UPDATE acct SET bal=bal+1          UPDATE acct SET bal=bal+1
  WHERE id=2;  -- T2-re vár            WHERE id=1;  -- T1-re vár => DEADLOCK
-- ERROR 1213: Deadlock found; transaction rolled back
```

## Elkerülésük

- **Konzisztens zárolási sorrend** — mindig ugyanabban a sorrendben érintsd a sorokat (pl. növekvő id). A példa csak azért deadlockol, mert a két tranzakció 1→2 és 2→1 sorrendben zárol.
- **Tartsd rövidre a tranzakciókat** — vedd fel a zárakat későn, commitolj gyorsan, ne tarts zárakat hálózati/felhasználói várakozásokon át.
- **A minimumot zárold** — indexeld a `WHERE`-t, hogy az InnoDB konkrét sorokat zároljon, ne tartományokat vagy (index nélkül) gyakorlatilag minden átvizsgált sort.
- **Próbáld újra 1213-nál** — a deadlockok normálisak versengés alatt; csomagold a tranzakciót alkalmazás szintű újrapróbálkozásba.

```sql
SHOW ENGINE INNODB STATUS\G   -- a LATEST DETECTED DEADLOCK elmagyarázza, ki mire várt
```

## Miért fontos

Valós konkurencia alatt a lock-versengés és a deadlockok a különbség egy skálázódó és egy leragadó adatbázis között. Annak ismerete, hogy az olvasók MVCC-t használnak (így nem blokkolnak), hogy a deadlockok várhatók és újrapróbálhatók, és hogy a konzisztens zárolási sorrend a legtöbbet megelőzi, pontosan az, amit a senior on-call munka megkövetel.

Deadlockok

Elkerülésük

Miért fontos

Kapcsolódó kérdések