Deadlock के हो? चार शर्तहरू के के हुन्, र तपाईं यसलाई कसरी रोक्नुहुन्छ?

Question

IT Interview Practice · Accepted Answer

**Deadlock एउटा अवस्था हो जहाँ दुई वा बढी threads प्रत्येकले अरूले समातेको संसाधनका लागि सधैंभरि कुर्छन्, त्यसैले कोही अगाडि बढ्न सक्दैन।** यसलाई चार शर्त एकसाथ हुन आवश्यक छ (Coffman conditions)।

## चार शर्तहरू

1. **Mutual exclusion** — एउटा संसाधन विशेष रूपमा समातिन्छ।
2. **Hold and wait** — thread ले एउटा संसाधन समात्दै अर्कोका लागि कुर्छ।
3. **No preemption** — संसाधनहरू जबरजस्ती खोस्न सकिँदैन।
4. **Circular wait** — threads को चक्र जहाँ प्रत्येक अर्कोका लागि कुर्छ।

कुनै एउटा भंग गर्नुहोस् र 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
```

## रोकथाम र पत्ता लगाउने

- **Lock ordering**: सधैं locks लाई सुसंगत global क्रममा acquire गर्नुहोस् — circular wait भंग गर्छ।
- **Timeouts / try-lock**: `tryAcquire(timeout)`, पछि हटेर retry — hold-and-wait भंग गर्छ।
- **एउटै coarse lock** वा lock-free structures ले समस्यालाई पूरै टार्छन्।
- **Detection**: एउटा watchdog ले wait-for graph बनाउँछ र cycles खोज्छ, अनि एउटा शिकारलाई kill/restart गर्छ।

## यो किन महत्त्वपूर्ण छ

Deadlocks ले systems लाई चुपचाप जमाउँछन् — कुनै crash छैन, केवल अड्किएका requests। चार शर्त नाम दिन सक्नुले तपाईं locks छरेर आशा गर्नुको सट्टा *किन* हुन्छ भन्ने बारेमा तर्क गर्न र लक्षित रोकथाम (प्रायः सुसंगत lock ordering) छान्न सक्नुहुन्छ भन्ने देखाउँछ।

चार शर्तहरू

उदाहरण र समाधान

रोकथाम र पत्ता लगाउने

यो किन महत्त्वपूर्ण छ

सम्बन्धित प्रश्नहरू