Сравните модель акторов и CSP (каналы). Как помогает передача сообщений?

Question

IT Interview Practice · Accepted Answer

**Обе избегают общего изменяемого состояния, заставляя конкурентные сущности общаться через сообщения вместо блокировок — акторы владеют приватным состоянием и посылают адресованные сообщения; в CSP анонимные процессы передают значения через каналы.** "Don't communicate by sharing memory; share memory by communicating" (не общайтесь, разделяя память; разделяйте память, общаясь).

## Модель акторов (Erlang, Akka)

Каждый актор имеет приватный почтовый ящик (mailbox) и обрабатывает сообщения по одному за раз. Акторы именованы/адресованы, посылают асинхронно (fire-and-forget) и никогда не разделяют состояние — поэтому внутри актора не нужны блокировки. Деревья супервизии перезапускают упавших акторов.

```text
Актор A ──посылает msg──▶ [mailbox] Актор B  (B обрабатывает последовательно, своё состояние)
```

## CSP (Go, occam)

Процессы анонимны; они общаются через **каналы**. Рандеву send/receive (небуферизованные каналы блокируют, пока обе стороны не готовы) обеспечивает синхронизацию. Именованная сущность — это канал, а не процесс.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // горутина посылает в канал
result := <-ch                    // main принимает; блокируется, пока не отправлено
```

## Ключевые различия

- **Адресация**: акторы адресуют друг друга; CSP адресует каналы.
- **Связанность**: посылки акторов асинхронны и буферизованы (mailbox); классическая посылка CSP — синхронное рандеву.
- **Топология**: каналы можно передавать и мультиплексировать (`select` в Go); акторы образуют иерархию супервизии.

## Почему это важно

Передача сообщений превращает состояния гонки в общей памяти в упорядоченную обработку сообщений — состояния каждой сущности касается один поток, что устраняет большинство блокировок и делает рассуждение локальным. Это основа масштабируемых, отказоустойчивых систем (телеком на Erlang, сервисы на Go). Знание различия акторы-против-CSP показывает, что вы умеете выбрать правильную архитектуру конкурентности, а не просто добавлять потоки и блокировки.

Модель акторов (Erlang, Akka)

CSP (Go, occam)

Ключевые различия

Почему это важно

Похожие вопросы