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

Question

IT Interview Practice · Accepted Answer

**Kedua-duanya mengelakkan keadaan boleh ubah dikongsi dengan mempunyai entiti serentak yang berkomunikasi melalui mesej dan bukannya lock — actor memiliki keadaan peribadi dan menghantar mesej beralamat; CSP mempunyai proses tanpa nama yang menghantar nilai melalui channel.** "Don't communicate by sharing memory; share memory by communicating."

## Model actor (Erlang, Akka)

Setiap actor mempunyai mailbox peribadi dan memproses mesej satu demi satu. Actor dinama/beralamat, menghantar secara asynchronous (fire-and-forget), dan tidak pernah berkongsi keadaan — jadi tiada lock diperlukan di dalam sesebuah actor. Pokok penyeliaan (supervision tree) memulakan semula actor yang nahas.

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

## CSP (Go, occam)

Proses adalah tanpa nama; ia berkomunikasi melalui **channel**. Satu pertemuan (rendezvous) hantar/terima (channel tak-berpenimbal menyekat sehingga kedua-dua pihak sedia) menyediakan penyegerakan. Channel, bukan proses, ialah entiti yang dinamakan.

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

## Perbezaan utama

- **Pengalamatan**: actor mengalamatkan satu sama lain; CSP mengalamatkan channel.
- **Gandingan (coupling)**: hantaran actor adalah async dan berpenimbal (mailbox); hantaran CSP klasik ialah rendezvous synchronous.
- **Topologi**: channel boleh dihantar dan dimultipleks (`select` Go); actor membentuk hierarki penyeliaan.

## Mengapa ia penting

Penghantaran mesej menukar race condition memori-dikongsi menjadi pengendalian mesej yang tersusun — keadaan setiap entiti disentuh oleh satu thread, menghapuskan kebanyakan lock dan menjadikan penaakulan bersifat setempat. Ia ialah asas sistem yang berskala dan bertoleransi-kesalahan (fault-tolerant) (telekom Erlang, perkhidmatan Go). Mengetahui perbezaan actor-berbanding-CSP menunjukkan anda boleh memilih seni bina keserentakan yang betul, bukan sekadar menambah thread dan lock.

Model actor (Erlang, Akka)

CSP (Go, occam)

Perbezaan utama

Mengapa ia penting

Soalan berkaitan