ما هي البرمجة بلا أقفال (lock-free programming) وCAS؟ اشرح مشكلة ABA ومتى تستخدمها.

Question

IT Interview Practice · Accepted Answer

**البرمجة بلا أقفال تنسّق الخيوط دون mutexes، مستخدمةً حلقات compare-and-swap (CAS) الذرّية بحيث يُحرز خيط واحد على الأقل تقدّمًا دائمًا حتى لو تعثّر الآخرون.** لا يمكن لأي خيط أن يُعاق بواسطة آخر يمسك قفلًا.

## CAS

**Compare-and-swap** يضبط موقعًا ذرّيًا على قيمة جديدة فقط إذا كان لا يزال يحمل القيمة القديمة المتوقّعة؛ وإلا يفشل فتُعيد المحاولة. إنه الأداة البدائية خلف المكدّسات والطوابير والعدّادات بلا أقفال.

```text
CAS(addr, expected, new):
  if *addr == expected: *addr = new; return true   # atomic, indivisible
  else: return false
```

```java
// Lock-free increment via CAS retry loop
int old, next;
do {
    old  = value.get();
    next = old + 1;
} while (!value.compareAndSet(old, next));  // retry if someone else won
```

## مشكلة ABA

الـ CAS يتحقّق فقط من أن القيمة لا تزال المتوقّعة — لا من أنها لم تتغيّر قط. فإذا انتقلت A → B → A بين قراءتك والـ CAS، ينجح الـ CAS لكن العالم تحرّك من تحتك (مثل عُقدة حُرِّرت وأُعيد استخدامها).

```text
Thread 1: read A ............... CAS(A→X) succeeds ✗ (but list changed!)
Thread 2:      pop A, push B, push A again
```

**الإصلاح**: اقرن المؤشّر بعدّاد إصدار (`AtomicStampedReference`، أو مؤشّرات موسومة) بحيث A-بوسم-1 ≠ A-بوسم-2، أو استخدم hazard pointers / epoch reclamation لأمان الذاكرة.

## متى تستخدمها

- **استخدمها** للحالة المشتركة الساخنة الدقيقة (عدّادات، أو طوابير أحادية المُنتِج) حيث يهيمن التنافس على الأقفال، أو حيث يجب ألا يُعاق خيط أبدًا (الوقت الحقيقي، ومعالجات الإشارات).
- **تجنّبها** كافتراضي: يصعب ضبطها بشكل صحيح، ويسهل إدخال أخطاء ABA وترتيب الذاكرة، وغالبًا لا تكون أسرع من mutex جيد تحت تنافس منخفض.

## لماذا يهم

البنى بلا أقفال تمنح ضمانات تقدّم وتتجنّب الـ deadlock وانعكاس الأولوية، لكن عتبة الصحة عالية. ومعرفة CAS وABA ومشكلة الاسترجاع (reclamation) تشير إلى أنك تستطيع التفكير على مستوى نموذج الذاكرة — والأهم، أن تعرف متى *لا* تلجأ إليها.

CAS

مشكلة ABA

متى تستخدمها

لماذا يهم

أسئلة ذات صلة