比较 actor 模型和 CSP（channel）。消息传递（message passing）有何帮助？

Question

IT Interview Practice · Accepted Answer

**两者都通过让并发实体经由消息通信、而非用锁，来避免共享可变状态 —— actor 拥有私有状态并发送带地址的消息；CSP 则由匿名进程通过 channel 传递值。**"不要通过共享内存来通信；要通过通信来共享内存。"

## Actor 模型（Erlang、Akka）

每个 actor 有一个私有邮箱，每次处理一条消息。actor 是有名字/地址的，异步发送（fire-and-forget），且从不共享状态 —— 因此在 actor 内部无需锁。监督树（supervision tree）会重启崩溃的 actor。

```text
Actor A ──发送消息──▶ [邮箱] Actor B  (B 串行处理，拥有自己的状态)
```

## CSP（Go、occam）

进程是匿名的；它们通过 **channel** 通信。一次发送/接收的会合（rendezvous，无缓冲 channel 会阻塞直到双方都就绪）提供了同步。被命名的实体是 channel，而不是进程。

```go
ch := make(chan int)
go func() { ch <- compute() }()   // goroutine 向 channel 发送
result := <-ch                    // main 接收；在发送前阻塞
```

## 关键区别

- **寻址**：actor 相互寻址；CSP 对 channel 寻址。
- **耦合**：actor 的发送是异步且带缓冲的（邮箱）；经典 CSP 的发送是同步会合。
- **拓扑**：channel 可以被传递和多路复用（Go 的 `select`）；actor 构成一个监督层级。

## 为什么这很重要

消息传递把共享内存的竞态条件变成有序的消息处理 —— 每个实体的状态只被一个线程触及，消除了大多数锁，并使推理保持局部化。它是可扩展、容错系统的基础（Erlang 电信、Go 服务）。懂得 actor 与 CSP 的区别，表明你能选对并发架构，而不只是加线程和加锁。

Actor 模型（Erlang、Akka）