Kaip užkirsti kelią deadlock esant tūkstančiams lygiagrečių transakcijų?

Question

IT Interview Practice · Accepted Answer

**Imkite užraktus nuosekliai globalia tvarka, laikykite transakcijas trumpas, mažinkite izoliaciją kur saugu ir kartokite pralaimėtoją, kai deadlock vis tiek įvyksta.** Deadlock yra ciklas: transakcija A laiko eilutę 1 ir laukia eilutės 2, o B laiko eilutę 2 ir laukia eilutės 1 — nė viena negali tęsti, tad DB nužudo vieną.

## Ciklas, kurį privalote nutraukti

```text
   Tx A                              Tx B
   holds row 1  ──── waits ────▶ row 2 (held by B)
        ▲                              │
        │ waits                        │ holds
        └────────── row 1 ◀────────────┘
                (cycle = deadlock; DB aborts one victim)
```

## Strategijos

- **Nuosekli užraktų tvarka.** Jei kiekviena transakcija visada rakina eilutes ta pačia tvarka (pvz. didėjančio pirminio rakto), ciklas neįmanomas — A ir B abi pirma griebia eilutę 1, tad viena tiesiog laukia. Tai didžiausias svertas. Klasikinė klaida: pinigų pervedimas, rakinantis sąskaitas `(from, to)` tvarka, sukelia deadlock su atvirkštiniu pervedimu; visada rakinkite pagal `min(id), max(id)`.
- **Trumpos transakcijos.** Laikykite užraktus kuo trumpiau — atlikite validaciją, tinklo iškvietimus ir skaitymus **prieš** `BEGIN`, tada rakinkite, rašykite ir `COMMIT` greitai. Ilgos transakcijos plečia langą ciklams ir užraktų laukimams.
- **Mažinkite izoliaciją kur saugu.** `SERIALIZABLE` ima daugiau/range užraktų ir dažniau sukelia deadlock; `READ COMMITTED` (Postgres nutylėjimas) rakina mažiau. Naudokite silpniausią izoliaciją, kuri vis dar tenkina korektiškumą.
- **Kartokite deadlock atveju.** Deadlock yra laikini. Pagaukite deadlock klaidą (Postgres `40P01`, MySQL `1213`) ir kartokite visą transakciją su mažu backoff. Tam tikra konkurencija neišvengiama masto lygiu, tad kartojimas yra saugos tinklas, ne tvarkos pakaitalas.

## Interviu perspektyva

Interviuotojas tikrina, ar žinote, kad deadlock **užkertami dizainu, ne tik gaudomi**. Vien „kartoti" įvardijimas yra silpnas atsakymas — puikus atsakymas pradeda nuo **nuoseklios užraktų tvarkos** ir **trumpų transakcijų**, tada prideda kartojimą liekamajam. Dažni spąstai: manyti, kad aplikacija privalo aptikti deadlock; praktikoje **DB aptinka ciklą ir nutraukia auką** už jus — jūsų darbas yra tvarka plius kartojimo ciklas.

**Kompromisai:** griežta tvarka gali būti sunki, kai prieigos šablonai dinamiški ar apima lenteles; mažesnė izoliacija rizikuoja anomalijomis (non-repeatable reads), apie kurias turite mąstyti. Kartojimo ciklai privalo būti **idempotentiški** ir apriboti, kitaip karštas konfliktas virsta kartojimo audra. Deadlock prevencija iš tikrųjų yra užraktų disciplina plius apribotas kartojimas, o ne vienas sidabrinis šautuvas.

Ciklas, kurį privalote nutraukti

Strategijos

Interviu perspektyva

Susiję klausimai