ما هو الـ deadlock، وكيف تمنعه أو تتفاداه أو تكتشفه؟

Question

IT Interview Practice · Accepted Answer

الـ **deadlock** (المأزق) هو حالة يكون فيها خيطان أو أكثر كلٌّ منها **محجوبًا إلى الأبد**، ينتظر كلٌّ منها موردًا يحمله الآخر. لا شيء يتقدّم.

## الشروط الأربعة الضرورية (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)** — صمِّم بحيث لا يتحقّق أحد الشروط أبدًا. الأعمليّ أكثرها: اقتل **circular wait** بفرض **ترتيب قفل عالمي** (اكتسب A قبل B دائمًا). أو هاجِم **hold-and-wait** باكتساب كل الأقفال اللازمة دفعة واحدة.
- **التفادي (Avoidance)** — لا تمنح طلبًا إلا إذا بقي النظام في حالة "آمنة" يمكن فيها لكل خيط أن يُنهي عمله (**خوارزمية Banker**). تحتاج إلى معرفة أقصى احتياجات كل خيط من الموارد مسبقًا، ولذا نادرًا ما تُستخدَم عمليًّا.
- **الاكتشاف والتعافي (Detection & recovery)** — دع الـ deadlocks تحدث، وامسح دوريًّا **wait-for graph** بحثًا عن دورة، ثم تعافَ بقتل أو إرجاع (rollback) ضحية. تفعل قواعد البيانات هذا بالضبط: تكتشف deadlocks وتُجهض معاملة (transaction) بخطأ "deadlock victim".
- **التجاهل ("خوارزمية النعامة")** — إذا كانت الـ deadlocks نادرة، فأعِد التشغيل فحسب؛ تقبل أنظمة تشغيل كثيرة هذا لبعض الموارد.

## لماذا يهم

الـ deadlock موضوع مقابلات كلاسيكي لأن إطار الشروط الأربعة أداة تشخيص دقيقة: أمام تعليق (hang)، يمكنك أن تسأل "أيّ شرط أستطيع كسره؟". في الأنظمة الحقيقية، الجواب المعتاد هو **ترتيب قفل متّسق** (يمنع circular wait) — قاعدة تطبّقها كلما اكتسبت أكثر من قفل. وإدراك أن قاعدة بياناتك ترمي أخطاء deadlock-victim، ومعرفة أن عليك ببساطة إعادة محاولة تلك المعاملة، هو تطبيق عملي مباشر.

الشروط الأربعة الضرورية (Coffman)

التعامل مع الـ deadlock

لماذا يهم

أسئلة ذات صلة