deadlock کیا ہے، اور آپ اسے کیسے روکتے، اس سے کیسے بچتے، یا اس کا پتہ کیسے لگاتے ہیں؟

Question

IT Interview Practice · Accepted Answer

ایک **deadlock** وہ حالت ہے جہاں دو یا زیادہ threads ہر ایک **ہمیشہ کے لیے بلاک** ہو جاتے ہیں، ہر ایک ایسے وسیلے کا انتظار کرتے ہوئے جو دوسرا تھامے ہوئے ہے۔ کوئی چیز آگے نہیں بڑھتی۔

## چار لازمی (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)** — اس طرح ڈیزائن کریں کہ کوئی ایک شرط کبھی درست نہ ہو سکے۔ سب سے عملی: ایک **عالمی lock ترتیب** مسلط کر کے **circular wait** کو ختم کریں (ہمیشہ B سے پہلے A حاصل کریں)۔ یا تمام مطلوبہ locks بیک وقت پکڑ کر **hold-and-wait** پر حملہ کریں۔
- **اجتناب (avoidance)** — کسی درخواست کو صرف تب منظور کریں جب سسٹم ایسی "محفوظ" حالت میں رہے جہاں ہر thread اب بھی مکمل ہو سکے (**Banker's algorithm**)۔ اسے ہر thread کی زیادہ سے زیادہ وسائل کی ضرورت پہلے سے درکار ہوتی ہے، اس لیے یہ عملی طور پر شاذ و نادر استعمال ہوتا ہے۔
- **پتہ لگانا اور بازیابی (detection & recovery)** — deadlocks ہونے دیں، وقتاً فوقتاً **wait-for graph** کو cycle کے لیے اسکین کریں، پھر کسی victim کو مار کر یا rollback کر کے بازیابی کریں۔ databases بالکل یہی کرتے ہیں: وہ deadlocks کا پتہ لگاتے ہیں اور ایک transaction کو "deadlock victim" error کے ساتھ منسوخ کر دیتے ہیں۔
- **نظر انداز کرنا ("ostrich algorithm")** — اگر deadlocks شاذ ہیں، تو بس دوبارہ شروع کر دیں؛ بہت سے OSes کچھ وسائل کے لیے یہ قبول کر لیتے ہیں۔

## یہ کیوں اہم ہے

Deadlock ایک کلاسک انٹرویو موضوع ہے کیونکہ چار شرائط کا فریم ورک ایک درست تشخیصی اوزار ہے: کسی hang کو دیکھ کر آپ پوچھ سکتے ہیں "میں کون سی شرط توڑ سکتا ہوں؟" حقیقی سسٹمز میں مروجہ جواب **مستقل lock ترتیب** ہے (جو circular wait کو روکتی ہے) — ایک اصول جو آپ ہر بار ایک سے زیادہ lock لیتے وقت لاگو کرتے ہیں۔ یہ پہچاننا کہ آپ کا database deadlock-victim errors پھینکتا ہے، اور یہ جاننا کہ اس transaction کو محض دوبارہ کوشش (retry) کرنا ہے، ایک براہِ راست عملی اطلاق ہے۔

چار لازمی (Coffman) شرائط

deadlock سے نمٹنا

یہ کیوں اہم ہے

متعلقہ سوالات