Çfarë është një deadlock, dhe si e parandalon, shmang, ose e zbulon atë?

Question

IT Interview Practice · Accepted Answer

Një **deadlock** është një gjendje ku dy ose më shumë thread-e janë secili **i bllokuar përgjithmonë**, secili duke pritur për një burim që një tjetër e mban. Asgjë nuk përparon.

## Katër kushtet e nevojshme (Coffman)

Të katërta duhet të vlejnë njëkohësisht — hiq cilindo dhe deadlock-u bëhet i pamundur:

```text
1. Mutual exclusion   → a resource is held exclusively (only one holder at a time)
2. Hold and wait      → a thread holds one resource while waiting to acquire another
3. No preemption      → resources can't be forcibly taken; only released voluntarily
4. Circular wait      → a cycle: T1 waits for R2 (held by T2), T2 waits for R1 (held by T1)
```

```text
   T1 ──holds──▶ R1        T1 wants R2 ──▶ (held by T2)
   T2 ──holds──▶ R2        T2 wants R1 ──▶ (held by T1)   ← cycle = deadlock
```

## Trajtimi i deadlock-ut

- **Parandalimi (prevention)** — projekto në mënyrë që një kusht të mos vlejë kurrë. Më praktiku: vrit **circular wait** duke imponuar një **rend global të locks** (merr gjithmonë A para B). Ose sulmo **hold-and-wait** duke i marrë të gjitha locks e nevojshme njëherësh.
- **Shmangia (avoidance)** — jepe një kërkesë vetëm nëse sistemi mbetet në një gjendje "të sigurt" ku çdo thread mund ende të përfundojë (**algoritmi i Banker-it**). Kërkon paraprakisht nevojat maksimale për burime të çdo thread-i, prandaj rrallë përdoret në praktikë.
- **Zbulimi & rikuperimi (detection & recovery)** — lëri deadlock-et të ndodhin, skano periodikisht **wait-for graph**-in për një cikël, pastaj rikuperohu duke vrarë ose rrikthyer (rollback) një viktimë. Bazat e të dhënave bëjnë pikërisht këtë: zbulojnë deadlock-et dhe ndërpresin një transaction me një gabim "deadlock victim".
- **Injorimi ("algoritmi i strucit")** — nëse deadlock-et janë të rralla, thjesht rinis; shumë OS e pranojnë këtë për disa burime.

## Pse ka rëndësi

Deadlock-u është një temë klasike interviste sepse korniza me katër kushte është një mjet diagnostikimi i saktë: përballë një ngrirjeje (hang), mund të pyesësh "cilin kusht mund të thyej?" Në sisteme reale përgjigjja e parapëlqyer është **rend i qëndrueshëm i locks** (që parandalon circular wait) — një rregull që e zbaton sa herë merr më shumë se një lock. Të kuptosh se baza jote e të dhënave hedh gabime deadlock-victim, dhe të dish thjesht ta ribësh (retry) atë transaction, është një zbatim praktik i drejtpërdrejtë.

Katër kushtet e nevojshme (Coffman)

Trajtimi i deadlock-ut

Pse ka rëndësi

Pyetje të ngjashme