ما الذي يسبب حالات الجمود (Deadlocks) وكيف تمنعها؟

Question

Accepted Answer

يحدث **الجمود** عندما تحتفظ عمليتان (أو أكثر) بقفل تحتاجه الأخرى، لذا لا يمكن لأي منهما المتابعة — فهما عالقتان بانتظار بعضهما البعض إلى الأبد. تكتشف قواعد البيانات حالات الجمود وتحلها عن طريق **إيقاف إحدى العمليات** ("الضحية")، والتي يجب أن تحاول مرة أخرى. فهم الأسباب والوقاية مهم للتطبيقات المتزامنة.

## كيف يحدث الجمود

```text
Transaction A: locks row 1, then wants row 2
Transaction B: locks row 2, then wants row 1
→ A waits for B (to release row 2), B waits for A (to release row 1) → DEADLOCK
  Neither can proceed; they're waiting on each other in a cycle.
```

```sql
-- Transaction A                    -- Transaction B (concurrent)
BEGIN;                              BEGIN;
UPDATE accounts SET .. WHERE id=1;  UPDATE accounts SET .. WHERE id=2;  -- each locks a row
UPDATE accounts SET .. WHERE id=2;  UPDATE accounts SET .. WHERE id=1;  -- each wants the OTHER's
-- → DEADLOCK: the database aborts one transaction
```

## كيفية تعامل قواعد البيانات مع الجمود

```text
Databases DETECT deadlocks (find the cycle of waiting transactions) and resolve them
by ABORTING one transaction (the victim) with a deadlock error → it must RETRY.
→ Your application must handle the deadlock error and retry the transaction.
```

## استراتيجيات الوقاية

```text
✓ CONSISTENT LOCK ORDERING — always acquire locks in the SAME order (e.g. always
  lock the lower account id first). This breaks the cycle → the #1 prevention technique.
✓ Keep transactions SHORT — hold locks for less time (less chance to overlap)
✓ Access tables/rows in a consistent order across all transactions
✓ Use lower isolation levels where appropriate (less locking)
✓ Avoid user interaction / long operations inside a transaction (holds locks too long)
✓ Handle deadlock errors with RETRY logic (deadlocks can't be fully eliminated)
```

أفضل طريقة وقاية بـ **#1** هي **ترتيب الأقفال المتسق**: إذا حصلت جميع العمليات على الأقفال بنفس الترتيب (على سبيل المثال، دائماً المعرّف الأصغر أولاً)، فلا يمكن تكوين الانتظار الدائري.

## نمط إعادة المحاولة

```text
Since deadlocks can still happen, applications should catch the deadlock error and
RETRY the transaction (often a few times with a small delay). This is standard
resilience for concurrent database code.
```

## لماذا هذا مهم

حالات الجمود مسألة تزامن مهمة في قواعد البيانات — تحدث في أي تطبيق يحتوي على عمليات متزامنة تعديل بيانات متداخلة، وفهمها معرفة قيّمة على مستوى متقدم لبناء أنظمة تزامن قوية.

فهم **السبب** — عمليتان تحتفظان كل واحدة بقفل تحتاجه الأخرى، مما يخلق انتظاراً دائرياً حيث لا يمكن لأي منهما المتابعة — هو الأساس.

معرفة كيفية **تعامل** قواعد البيانات مع الجمود (اكتشاف الدورة وإيقاف إحدى العمليات كضحية، والتي يجب أن تحاول مرة أخرى) مهمة لأن هذا يعني أن **التطبيق يجب أن يتعامل مع أخطاء الجمود باستخدام منطق إعادة المحاولة** — لا يمكن القضاء على الجمود بالكامل، لذا يمسك الكود المرن المتزامن بخطأ الجمود وينعاود المحاولة (نمط قياسي ومهم).

**استراتيجيات الوقاية** هي المعرفة العملية الرئيسية، خاصة تقنية #1: **ترتيب الأقفال المتسق** (دائماً الحصول على الأقفال بنفس الترتيب عبر جميع العمليات، مما يكسر شرط الانتظار الدائري الذي يسبب الجمود) — إلى جانب الحفاظ على العمليات قصيرة (الاحتفاظ بالأقفال لفترة قصيرة)، والوصول إلى الموارد بترتيب متسق، وتجنب العمليات الطويلة داخل العمليات.

بما أن حالات الجمود تسبب مشاكل حقيقية (العمليات الفاشلة، الأخطاء، الأداء المتدهورة) في التطبيقات المتزامنة لقواعد البيانات، وبما أن فهم سببها (انتظارات الأقفال الدائرية)، والوقاية منها (خاصة ترتيب الأقفال المتسق والعمليات القصيرة)، وضرورة منطق إعادة المحاولة هو ما يسمح ببناء أنظمة متزامنة قوية، فإن فهم الجمود معرفة قيّمة على مستوى متقدم لأي تطبيق يحتوي على وصول متزامن كبير إلى قواعد البيانات — مسألة تشغيلية ذات صلة بشكل متكرر وموضوع مقابلة متقدم شائع يوضح فهماً لتزامن قواعد البيانات والقدرة على الصمود.