Kif tipprevjeni deadlocks b'eluf ta' transactions konkorrenti?

Question

IT Interview Practice · Accepted Answer

**Akkwista locks f'ordni globali konsistenti, żomm it-transactions qosra, baxxi l-isolation fejn huwa sikur, u erġa' pprova t-telliefa meta deadlock xorta jiġri.** Deadlock huwa ċiklu: transaction A iżomm row 1 u jistenna row 2, filwaqt li B iżomm row 2 u jistenna row 1 — ħadd ma jista' jipproċedi, allura d-DB joqtol wieħed.

## Iċ-ċiklu li trid tkisser

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

## Strateġiji

- **Ordni konsistenti ta' lock.** Jekk kull transaction dejjem jissakkar rows fl-istess ordni (eż. primary key axxendenti), ċiklu huwa impossibbli — A u B it-tnejn jaqbdu row 1 l-ewwel, allura wieħed sempliċiment jistenna. Din hija l-akbar lieva waħedha. Bug klassiku: money transfer li jissakkar il-kontijiet fl-ordni `(from, to)` jagħmel deadlock mat-transfer bil-maqlub; dejjem issakkar b'`min(id), max(id)`.
- **Transactions qosra.** Żomm il-locks għal kemm jista' jkun ftit ħin — agħmel validazzjoni, network calls, u reads **qabel** `BEGIN`, imbagħad issakkar, ikteb, u `COMMIT` malajr. Transactions twal iwessgħu l-window għaċ-ċikli u l-lock waits.
- **Baxxi l-isolation fejn huwa sikur.** `SERIALIZABLE` jieħu aktar/range locks u jagħmel aktar deadlock; `READ COMMITTED` (default ta' Postgres) jissakkar inqas. Uża l-iżjed isolation dgħajjef li xorta jissodisfa l-korrettezza.
- **Retry fuq deadlock.** Id-deadlocks huma tranżitorji. Aqbad l-iżball ta' deadlock (Postgres `40P01`, MySQL `1213`) u erġa' pprova t-transaction sħiħa b'backoff żgħir. Xi kontenzjoni hija inevitabbli fuq skala, allura r-retry huwa safety net, mhux sostitut għall-ordering.

## Perspettiva tal-intervista

L-intervistatur jiċċekkja jekk tafx li deadlocks huma **prevenuti bid-disinn, mhux biss maqbuda**. Li ssemmi "retry" waħdu hija tweġiba dgħajfa — it-tweġiba eċċellenti tibda b'**ordni konsistenti ta' lock** u **transactions qosra**, imbagħad iżżid retry għall-bqija. Nassa komuni: li tassumi li l-app trid tinduna bid-deadlocks; fil-prattika d-**DB jinduna biċ-ċiklu u joqtol vittma** għalik — ix-xogħol tiegħek huwa l-ordering flimkien ma' retry loop.

**Trade-offs:** ordering strett jista' jkun diffiċli meta l-access patterns huma dinamiċi jew jinfirxu fuq tables; isolation aktar baxx jirriskja anomaliji (non-repeatable reads) li trid tirraġuna dwarhom. Retry loops iridu jkunu **idempotenti** u limitati, inkella konflitt jaħraq jinbidel f'retry storm. Il-prevenzjoni ta' deadlock hija verament lock-discipline flimkien ma' retry limitat, mhux silver bullet wieħed.

Iċ-ċiklu li trid tkisser

Strateġiji

Perspettiva tal-intervista

Mistoqsijiet relatati