Deadlock ni nini, na unaizuiaje, unaiepukaje, au unaigunduaje?

Question

IT Interview Practice · Accepted Answer

**Deadlock** ni hali ambapo thread mbili au zaidi kila moja **imezuiwa milele**, kila moja ikisubiri rasilimali ambayo nyingine inaishikilia. Hakuna kinachoendelea.

## Masharti manne ya lazima (Coffman)

Yote manne lazima yatimie kwa wakati mmoja — ondoa lolote na deadlock haiwezekani:

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

## Kushughulikia deadlock

- **Kuzuia (prevention)** — sanifu ili sharti moja lisitimie kamwe. La kivitendo zaidi: ua **circular wait** kwa kuweka **mpangilio wa kimataifa wa locks** (daima chukua A kabla ya B). Au shambulia **hold-and-wait** kwa kunyakua locks zote zinazohitajika kwa wakati mmoja.
- **Kuepuka (avoidance)** — toa ombi tu ikiwa mfumo unabaki katika hali "salama" ambapo kila thread bado inaweza kumaliza (**algoriti ya Banker**). Inahitaji mahitaji ya juu ya rasilimali ya kila thread mapema, hivyo hutumika mara chache kivitendo.
- **Ugunduzi na urejeshaji (detection & recovery)** — acha deadlocks zitokee, mara kwa mara changanua **wait-for graph** kutafuta mzunguko, kisha rejesha kwa kuua au ku-rollback mwathirika. Database hufanya hivi hasa: hugundua deadlocks na hughairi transaction moja kwa hitilafu ya "deadlock victim".
- **Puuza ("algoriti ya mbuni")** — ikiwa deadlocks ni nadra, anzisha upya tu; OS nyingi hukubali hili kwa baadhi ya rasilimali.

## Kwa nini ni muhimu

Deadlock ni mada ya mahojiano ya kawaida kwa sababu mfumo wa masharti manne ni zana sahihi ya utambuzi: ukikabiliwa na kusimama (hang), unaweza kuuliza "ni sharti gani naweza kuvunja?" Katika mifumo halisi jibu la kawaida ni **mpangilio unaolingana wa locks** (unaozuia circular wait) — kanuni unayoitumia kila unapochukua zaidi ya lock moja. Kutambua kwamba database yako hurusha hitilafu za deadlock-victim, na kujua kurudia (retry) transaction hiyo tu, ni matumizi ya moja kwa moja ya kivitendo.

Masharti manne ya lazima (Coffman)

Kushughulikia deadlock

Kwa nini ni muhimu

Maswali yanayohusiana