Çfarë shkakton deadlock-et dhe si i parandaloni ato?

Question

Accepted Answer

Një **deadlock** ndodh kur dy (ose më shumë) transaksione secila mbajnë një bllokadë që tjetra ka nevojë, kështu që asnjëra nuk mund të vazhdojë — ato janë të bllokuar në pritje të njëra-tjetrës përgjithmonë. Bazat e të dhënave zbulojnë deadlock-et dhe i zgjidhin ato duke **abortuar një transaksion** ("viktima"), i cili duhet të riprovo. Të kuptuarit e shkaqeve dhe parandalimit është i rëndësishëm për aplikacionet konkuruese.

## Si ndodh një deadlock

```text
Transaction A: locks row 1, then wants row 2
Transaction B: locks row 2, then wants row 1
→ A waits for B (to release row 2), B waits for A (to release row 1) → DEADLOCK
  Neither can proceed; they're waiting on each other in a cycle.
```

```sql
-- Transaction A                    -- Transaction B (concurrent)
BEGIN;                              BEGIN;
UPDATE accounts SET .. WHERE id=1;  UPDATE accounts SET .. WHERE id=2;  -- each locks a row
UPDATE accounts SET .. WHERE id=2;  UPDATE accounts SET .. WHERE id=1;  -- each wants the OTHER's
-- → DEADLOCK: the database aborts one transaction
```

## Si i trajtojnë bazat e të dhënave deadlock-et

```text
Databases DETECT deadlocks (find the cycle of waiting transactions) and resolve them
by ABORTING one transaction (the victim) with a deadlock error → it must RETRY.
→ Your application must handle the deadlock error and retry the transaction.
```

## Strategjitë e parandalimit

```text
✓ CONSISTENT LOCK ORDERING — always acquire locks in the SAME order (e.g. always
  lock the lower account id first). This breaks the cycle → the #1 prevention technique.
✓ Keep transactions SHORT — hold locks for less time (less chance to overlap)
✓ Access tables/rows in a consistent order across all transactions
✓ Use lower isolation levels where appropriate (less locking)
✓ Avoid user interaction / long operations inside a transaction (holds locks too long)
✓ Handle deadlock errors with RETRY logic (deadlocks can't be fully eliminated)
```

Paragraim parandalimin **#1** është **renditja konsistente e bllokadave**: nëse të gjithë transaksionet marrin bllokada në të njëjtën renditje (p.sh. gjithmonë id-i më i ulët i parë), pritja rrethore nuk mund të formohet.

## Modeli i riprovimit

```text
Since deadlocks can still happen, applications should catch the deadlock error and
RETRY the transaction (often a few times with a small delay). This is standard
resilience for concurrent database code.
```

## Pse është i rëndësishëm

Deadlock-et janë një problem i rëndësishëm konkuruese në bazat e të dhënave — ato ndodhin në çdo aplikacion me transaksione konkuruese që modifikojnë të dhëna të mbivendosura, dhe të kuptuarit e tyre është njohuri e vlefshme në nivelin e nënshefave për ndërtimin e sistemeve robust konkuruese.

Të kuptuarit i **shkakut** — dy transaksione secila mbajnë një bllokadë që tjetra ka nevojë, duke krijuar një pritje rrethore ku asnjëra nuk mund të vazhdojë — është themeli.

Të diturit se si bazat e të dhënave **trajtojnë** deadlock-et (zbulojnë ciklin dhe abortojnë një transaksion si viktimë, i cili duhet të riprovo) është i rëndësishëm sepse kjo do të thotë se **aplikacioni juaj duhet të trajtojë gabimet e deadlock-ut me logjikën e riprovimit** — deadlock-et nuk mund të eliminohen plotësisht, kështu që kodi konkurues rezistent kapur gabimin e deadlock-ut dhe riprovohet (një model standard, i rëndësishëm).

**Strategjitë e parandalimit** janë njohuria praktike kryesore, veçanërisht teknika #1: **renditja konsistente e bllokadave** (përdorimi i bllokadave gjithmonë në të njëjtën renditje në të gjithë transaksionet, që përplas kushtim e pritjes rrethore që shkakton deadlock-et) — bashkë me mbajtjen e transaksioneve të shkurtra (mbajtjen e bllokadave për pak kohë), hyrjen në resurse në një renditje konsistente, dhe shmangia e operacioneve të gjata brenda transaksioneve.

Meqë deadlock-et shkaktojnë probleme reale (transaksione të dështuara, gabime, performancë e degraduar) në aplikacionet konkuruese të bazave të të dhënave, dhe meqë të kuptuarit i shkakut të tyre (pritje rrethore të bllokadave), parandalimit (veçanërisht renditja konsistente e bllokadave dhe transaksionet e shkurtra), dhe domosdoshmërisë së logjikës së riprovimit është ajo që ju lejon të ndërtoni sisteme robust konkuruese, të kuptuarit e deadlock-eve është njohuri e vlefshme në nivelin e nënshefave për çdo aplikacion me hyrje të ndjeshme konkuruese në bazat e të dhënave — një shqetësim operacional i shpeshtë dhe një temë e zakonshme e intervistës së avancuar që demostra të kuptuarit e konkurencës së bazës të dhënave dhe rezistencës.