Deadlock ni nini? Ni masharti gani manne, na unaizuiaje?

Question

IT Interview Practice · Accepted Answer

**Deadlock ni hali ambapo threads mbili au zaidi kila moja inasubiri milele rasilimali ambayo nyingine inashikilia, hivyo hakuna inayoweza kuendelea.** Inahitaji masharti manne yatimie kwa wakati mmoja (Coffman conditions).

## Masharti manne

1. **Mutual exclusion** — rasilimali inashikiliwa kipekee.
2. **Hold and wait** — thread inashikilia rasilimali moja huku ikisubiri nyingine.
3. **No preemption** — rasilimali haziwezi kuchukuliwa kwa nguvu.
4. **Circular wait** — mzunguko wa threads kila moja ikisubiri inayofuata.

Vunja lolote kati yao na deadlock haiwezekani.

```text
Thread 1 holds A, wants B ─┐
                           ├─ circular wait → deadlock
Thread 2 holds B, wants A ─┘
```

## Mfano na suluhisho

```python
# DEADLOCK: threads lock in opposite orders
def t1():
    with lockA:
        with lockB: ...     # T1: A then B
def t2():
    with lockB:
        with lockA: ...     # T2: B then A  ← cycle!

# FIX: impose a global lock ordering (always A before B)
def safe():
    with lockA:
        with lockB: ...     # everyone acquires in the same order
```

## Kuzuia na kugundua

- **Lock ordering**: daima chukua locks kwa mpangilio thabiti wa kiglobal — huvunja circular wait.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, rudi nyuma na jaribu tena — huvunja hold-and-wait.
- **Lock moja pana** au lock-free structures huepuka tatizo kabisa.
- **Detection**: watchdog hujenga wait-for graph na kutafuta cycles, kisha kuua/kuanzisha upya mwathirika.

## Kwa nini ni muhimu

Deadlocks huganda mifumo kimyakimya — hakuna crash, ni requests zilizoning'inia tu. Kutaja masharti manne kunaonyesha unaweza kufikiri kuhusu *kwa nini* linatokea na kuchagua kinga iliyolengwa (kwa kawaida consistent lock ordering), badala ya kunyunyiza locks na kutumaini.

Masharti manne

Mfano na suluhisho

Kuzuia na kugundua

Kwa nini ni muhimu

Maswali yanayohusiana