Deadlock શું છે, અને તમે તેને કેવી રીતે અટકાવો, ટાળો, કે શોધો છો?

Question

IT Interview Practice · Accepted Answer

**deadlock** એ એવી સ્થિતિ છે જ્યાં બે કે વધુ threads દરેક **કાયમ માટે block** થયેલા હોય, દરેક એવા resource ની રાહ જુએ છે જે બીજો પકડી રાખે છે. કશું આગળ વધતું નથી.

## ચાર આવશ્યક (Coffman) શરતો

ચારેય એકસાથે સાચી હોવી જોઈએ — કોઈપણ એકને દૂર કરો અને deadlock અશક્ય છે:

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

## Deadlock સંભાળવું

- **Prevention (અટકાવ)** — એવી રીતે design કરો કે એક શરત ક્યારેય સાચી ન થાય. સૌથી વ્યવહારુ: **global lock ordering** લાદીને **circular wait** ને મારો (હંમેશા B પહેલાં A મેળવો). અથવા બધા જરૂરી locks એકસાથે પકડીને **hold-and-wait** પર હુમલો કરો.
- **Avoidance (ટાળવું)** — request ને ત્યારે જ મંજૂર કરો જ્યારે system "safe" સ્થિતિમાં રહે જ્યાં દરેક thread હજુ પૂરું કરી શકે (**Banker's algorithm**). તેને દરેક thread ની મહત્તમ resource જરૂરિયાત અગાઉથી જોઈએ, તેથી વ્યવહારમાં ભાગ્યે જ વપરાય છે.
- **Detection & recovery (શોધ અને પુનઃપ્રાપ્તિ)** — deadlocks થવા દો, સમયાંતરે **wait-for graph** માં cycle માટે scan કરો, પછી એક victim ને મારીને કે roll back કરીને પુનઃપ્રાપ્ત કરો. Databases બરાબર આ જ કરે છે: તેઓ deadlocks શોધે છે અને એક transaction ને "deadlock victim" error સાથે abort કરે છે.
- **Ignore ("ostrich algorithm")** — જો deadlocks દુર્લભ હોય, તો ફક્ત restart કરો; ઘણા OSes અમુક resources માટે આ સ્વીકારે છે.

## આ શા માટે મહત્વનું છે

Deadlock એ classic interview વિષય છે કારણ કે ચાર-શરત framework એ ચોક્કસ નિદાન સાધન છે: hang જોઈને, તમે પૂછી શકો "હું કઈ શરત તોડી શકું?" વાસ્તવિક systems માં પ્રચલિત જવાબ છે **consistent lock ordering** (જે circular wait અટકાવે છે) — એક નિયમ જે તમે એક કરતાં વધુ lock લો ત્યારે દર વખતે લાગુ કરો છો. તમારો database deadlock-victim errors ફેંકે છે એ ઓળખવું, અને એ transaction ને ફક્ત retry કરવાનું જાણવું, એ સીધો વ્યવહારુ ઉપયોગ છે.

ચાર આવશ્યક (Coffman) શરતો

Deadlock સંભાળવું

આ શા માટે મહત્વનું છે

સંબંધિત પ્રશ્નો