قارن بين نموذج الـ actor وCSP (القنوات). كيف يساعد تمرير الرسائل؟

Question

IT Interview Practice · Accepted Answer

**كلاهما يتجنّب الحالة المشتركة القابلة للتغيير بجعل الكيانات المتزامنة تتواصل عبر الرسائل بدل الأقفال — الـ actors تملك حالة خاصة وترسل رسائل مُعنوَنة؛ وCSP لديه عمليات مجهولة تمرّر القيم عبر القنوات.** "لا تتواصل بمشاركة الذاكرة؛ شارك الذاكرة بالتواصل."

## نموذج الـ actor (Erlang، Akka)

لكل actor صندوق بريد خاص (mailbox) ويعالج الرسائل واحدة تلو الأخرى. الـ actors مُسمّاة/مُعنوَنة، وترسل بشكل غير متزامن (أطلق-وانسَ)، ولا تشارك الحالة أبدًا — فلا حاجة إلى أقفال داخل actor. وأشجار الإشراف (supervision trees) تعيد تشغيل الـ actors المنهارة.

```text
Actor A ──send msg──▶ [mailbox] Actor B  (B processes serially, own state)
```

## CSP (Go، occam)

العمليات مجهولة؛ وتتواصل عبر **القنوات (channels)**. يوفّر لقاء الإرسال/الاستقبال (القنوات غير المخزّنة تتوقّف حتى يجهز الطرفان) المزامنة. القناة، لا العملية، هي الكيان المُسمّى.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // goroutine sends into channel
result := <-ch                    // main receives; blocks until sent
```

## الفروق الأساسية

- **العنونة**: الـ actors تُعنوِن بعضها؛ وCSP يُعنوِن القنوات.
- **الاقتران**: إرسالات الـ actor غير متزامنة ومخزّنة (mailbox)؛ وإرسال CSP الكلاسيكي لقاء متزامن (rendezvous).
- **الطوبولوجيا**: يمكن تمرير القنوات وتعدّدها (`select` في Go)؛ والـ actors تشكّل تسلسل إشراف هرمي.

## لماذا يهم

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

نموذج الـ actor (Erlang، Akka)

CSP (Go، occam)

الفروق الأساسية

لماذا يهم

أسئلة ذات صلة