Bandingkan actor model dan CSP (channel). Bagaimana message passing membantu?

Question

IT Interview Practice · Accepted Answer

**Keduanya menghindari shared mutable state dengan cara entitas concurrent berkomunikasi melalui pesan alih-alih lock — actor memiliki state privat dan mengirim pesan yang teralamat; CSP memiliki proses anonim yang mengoper nilai melalui channel.** "Don't communicate by sharing memory; share memory by communicating."

## Actor model (Erlang, Akka)

Setiap actor memiliki mailbox privat dan memproses pesan satu per satu. Actor diberi nama/dialamati, mengirim secara asinkron (fire-and-forget), dan tidak pernah berbagi state — sehingga tidak ada lock yang dibutuhkan di dalam sebuah actor. Supervision tree me-restart actor yang crash.

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

## CSP (Go, occam)

Proses bersifat anonim; mereka berkomunikasi melalui **channel**. Sebuah rendezvous send/receive (channel tak-berbuffer memblokir sampai kedua sisi siap) menyediakan sinkronisasi. Channel, bukan proses, yang merupakan entitas bernama.

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

## Perbedaan utama

- **Pengalamatan**: actor saling mengalamati; CSP mengalamati channel.
- **Coupling**: pengiriman actor bersifat async dan berbuffer (mailbox); pengiriman CSP klasik adalah rendezvous sinkron.
- **Topologi**: channel dapat dioper dan di-multiplex (`select` milik Go); actor membentuk hierarki supervision.

## Mengapa ini penting

Message passing mengubah race condition shared-memory menjadi penanganan pesan yang terurut — state setiap entitas disentuh oleh satu thread, menghilangkan sebagian besar lock dan membuat penalaran menjadi lokal. Ia adalah fondasi sistem yang scalable dan fault-tolerant (telekomunikasi Erlang, layanan Go). Mengetahui perbedaan actor-vs-CSP menunjukkan Anda dapat memilih arsitektur concurrency yang tepat, bukan sekadar menambah thread dan lock.

Actor model (Erlang, Akka)

CSP (Go, occam)

Perbedaan utama

Mengapa ini penting

Pertanyaan terkait