deadlock શું છે? ચાર conditions કઈ છે, અને તમે તેને કેવી રીતે અટકાવો છો?

Question

IT Interview Practice · Accepted Answer

**deadlock એ એક સ્થિતિ છે જ્યાં બે કે વધુ threads દરેક એવા resource ની કાયમ રાહ જુએ છે જે બીજાં ધરાવે છે, તેથી કોઈ આગળ વધી શકતું નથી.** તેને એકસાથે ચાર conditions ધરવાની જરૂર છે (Coffman conditions).

## ચાર conditions

1. **Mutual exclusion** — resource વિશિષ્ટ રીતે ધરાયેલું છે.
2. **Hold and wait** — thread એક resource ધરે છે જ્યારે બીજાની રાહ જુએ છે.
3. **No preemption** — resources બળજબરીથી લઈ શકાતાં નથી.
4. **Circular wait** — threads નું એક cycle જ્યાં દરેક પછીના પર રાહ જુએ છે.

કોઈ પણ એકને તોડો અને deadlock અશક્ય છે.

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

## ઉદાહરણ અને ઉકેલ

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

## નિવારણ અને detection

- **Lock ordering**: હંમેશા locks ને એક consistent global ક્રમમાં acquire કરો — circular wait ને તોડે છે.
- **Timeouts / try-lock**: `tryAcquire(timeout)`, back off અને retry — hold-and-wait ને તોડે છે.
- **Single coarse lock** કે lock-free structures સમસ્યાને સંપૂર્ણપણે ટાળે છે.
- **Detection**: એક watchdog wait-for graph બનાવે છે અને cycles શોધે છે, પછી એક victim ને kill/restart કરે છે.

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

Deadlocks systems ને ચૂપચાપ freeze કરે છે — કોઈ crash નહીં, ફક્ત અટકેલી requests. ચાર conditions નામ આપવાં દર્શાવે છે કે તમે *શા માટે* તે થાય છે તે અંગે તર્ક કરી શકો છો અને targeted નિવારણ (સામાન્ય રીતે consistent lock ordering) પસંદ કરી શકો છો, locks છાંટીને આશા રાખવાને બદલે.

ચાર conditions

ઉદાહરણ અને ઉકેલ

નિવારણ અને detection

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

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