اشرح العمليات الذرّية (atomic operations)، ورؤية الذاكرة (memory visibility)، وحواجز الذاكرة (memory barriers).

Question

IT Interview Practice · Accepted Answer

**العملية الذرّية تكتمل بشكل غير قابل للتجزئة — لا يرى أي خيط آخر حالة نصف مكتملة؛ ورؤية الذاكرة هي ما إذا كانت كتابات خيط تُرى من قِبل آخر؛ وحواجز الذاكرة تفرض الترتيب لتصبح تلك الكتابات مرئية.** الأقفال ليست الشاغل الوحيد — نموذج الذاكرة كذلك.

## الذرّية

العملية الذرّية (مثل `fetch_add` أو compare-and-swap) تنفَّذ كخطوة واحدة غير قابلة للتجزئة، فلا يشطرها أي تسابق. توفّر الأجهزة واللغة عمليات ذرّية للعدّادات والأعلام دون قفل كامل.

```java
AtomicInteger counter = new AtomicInteger();
counter.incrementAndGet();  // atomic read-modify-write, no lock
```

## الرؤية وإعادة الترتيب

تخزّن المعالجات والمترجمات الحديثة القيم مؤقّتًا في السجلّات وتعيد ترتيب التعليمات من أجل السرعة. لذا قد تبقى كتابة في خيط داخل store buffer، غير مرئية للآخرين، وقد تبدو العمليات خارج الترتيب.

```java
// Without 'volatile', thread B may loop forever:
volatile boolean ready = false;  // volatile → writes are visible + ordered
// Thread A: data = 42; ready = true;
// Thread B: while (!ready) {}  then read data
```

## حواجز الذاكرة

الـ **حاجز (barrier/fence)** تعليمة تمنع إعادة الترتيب عبرها وتُفرّغ/تُحمّل الذاكرة، ضامنةً الترتيب. تُدرِج `volatile` و`synchronized` والعمليات الذرّية الحواجز الصحيحة بحيث تتحقّق علاقة happens-before: ما كتبه A قبل التحرير، يراه B بعد الاكتساب.

## لماذا يهم

الذرّية وحدها لا تكفي — فبلا ضمانات رؤية قد تُقرأ قيمة مقفولة بشكل صحيح قديمةً مع ذلك. هذا يفسّر لماذا يوجد `volatile`، ولماذا القفل المزدوج التحقّق (double-checked locking) دقيق، ولماذا تحتاج الشيفرة بلا أقفال إلى خيارات دقيقة لترتيب الذاكرة. إنه الفرق بين "يعمل على جهازي" وصحيح على أجهزة متعدّدة الأنوية الحقيقية.

الذرّية

الرؤية وإعادة الترتيب

حواجز الذاكرة

لماذا يهم

أسئلة ذات صلة