Deadlock भनेको के हो, र तपाईं यसलाई कसरी रोक्नुहुन्छ, बच्नुहुन्छ, वा पत्ता लगाउनुहुन्छ?

Question

IT Interview Practice · Accepted Answer

**Deadlock** भनेको त्यो अवस्था हो जहाँ दुई वा बढी thread हरू प्रत्येक **सधैंका लागि 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** लागू गरेर (सधैं B अघि A प्राप्त गर्ने) **circular wait** मार्नुहोस्। वा एकैचोटि सबै आवश्यक lock समातेर **hold-and-wait** मा प्रहार गर्नुहोस्।
- **Avoidance (बच्ने)** — कुनै अनुरोध तब मात्र स्वीकृत गर्नुहोस् जब system "safe" अवस्थामा रहन्छ जहाँ प्रत्येक thread ले अझै समाप्त गर्न सक्छ (**Banker's algorithm**)। यसलाई प्रत्येक thread को अधिकतम resource आवश्यकता पहिल्यै चाहिन्छ, त्यसैले व्यवहारमा विरलै प्रयोग हुन्छ।
- **Detection & recovery (पत्ता लगाउने र पुनःप्राप्ति)** — deadlock हुन दिनुहोस्, समय-समयमा **wait-for graph** मा cycle का लागि scan गर्नुहोस्, अनि एउटा victim लाई मारेर वा rollback गरेर पुनःप्राप्ति गर्नुहोस्। Database हरूले ठ्याक्कै यही गर्छन्: तिनले deadlock पत्ता लगाउँछन् र एउटा transaction लाई "deadlock victim" error सहित abort गर्छन्।
- **Ignore ("ostrich algorithm")** — यदि deadlock विरलै हुन्छ भने, बस restart गर्नुहोस्; धेरै OS हरूले केही resource का लागि यो स्वीकार्छन्।

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

Deadlock एउटा उत्कृष्ट interview विषय हो किनभने चार-सर्तको framework एउटा सटीक निदान उपकरण हो: कुनै hang भएमा, तपाईं सोध्न सक्नुहुन्छ "म कुन सर्त तोड्न सक्छु?" वास्तविक system हरूमा भरपर्दो जवाफ **consistent lock ordering** हो (जसले circular wait रोक्छ) — तपाईंले एकभन्दा बढी lock लिने हरेक पटक लागू गर्ने नियम। तपाईंको database ले deadlock-victim error फाल्छ भन्ने चिन्नु, र त्यो transaction लाई बस retry गर्नु भन्ने थाहा हुनु एउटा प्रत्यक्ष व्यावहारिक अनुप्रयोग हो।

चार आवश्यक (Coffman) सर्तहरू

Deadlock को व्यवस्थापन

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

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