Kaip InnoDB veikia eilučių užraktai ir MVCC, ir kaip išvengti aklaviečių (deadlocks)?

Question

IT Interview Practice · Accepted Answer

InnoDB derina du mechanizmus. **MVCC** leidžia paprastiems `SELECT` skaityti nuoseklią momentinę kopiją be užrakinimo, todėl skaitytojai niekada neblokuoja rašytojų. **Užraktai** apsaugo rašymus: `UPDATE`/`DELETE`/`SELECT ... FOR UPDATE` ima eilučių užraktus, o InnoDB taip pat naudoja **next-key** užraktus (eilutė + tarpas prieš ją), kad sustabdytų fantomus esant REPEATABLE READ.

## Aklavietės

Aklavietė yra ciklas: T1 laiko užraktą A ir nori B, o T2 laiko B ir nori A. Nei viena negali tęsti. InnoDB **aptinka ciklą ir atšaukia vieną tranzakciją** (pigesnę auką) su klaida 1213, kad kita užbaigtų.

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

## Kaip jų išvengti

- **Nuosekli užrakinimo tvarka** — visada lieskite eilutes ta pačia tvarka (pvz. didėjančio id). Pavyzdys užstringa tik todėl, kad dvi tranzakcijos rakina 1→2 ir 2→1.
- **Laikykite tranzakcijas trumpas** — imkite užraktus vėlai, patvirtinkite greitai, nelaikykite užraktų per tinklo/vartotojo laukimus.
- **Rakinkite minimumą** — indeksuokite savo `WHERE`, kad InnoDB rakintų konkrečias eilutes, o ne intervalus ar (be indekso) faktiškai kiekvieną skenuotą eilutę.
- **Kartokite gavus 1213** — aklavietės yra normalios esant konkurencijai; apvyniokite tranzakciją programos lygmens pakartojimu.

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

## Kodėl tai svarbu

Esant realiam konkurentumui, užraktų konkurencija ir aklavietės yra skirtumas tarp duomenų bazės, kuri mastelėja, ir tos, kuri stringa. Žinojimas, kad skaitytojai naudoja MVCC (todėl neblokuoja), kad aklavietės yra tikėtinos ir kartotinos, ir kad nuosekli užrakinimo tvarka užkerta kelią daugumai jų, yra būtent tai, ko reikalauja vyresniojo inžinieriaus budėjimo darbas.

Aklavietės

Kaip jų išvengti

Kodėl tai svarbu

Susiję klausimai