Porównaj model aktorów i CSP (kanały). Jak pomaga przekazywanie komunikatów?

Question

IT Interview Practice · Accepted Answer

**Oba unikają współdzielonego, zmiennego stanu, sprawiając, że współbieżne encje komunikują się przez komunikaty zamiast blokad — aktorzy posiadają prywatny stan i wysyłają zaadresowane komunikaty; CSP ma anonimowe procesy przekazujące wartości przez kanały.** „Nie komunikuj się przez współdzielenie pamięci; współdziel pamięć przez komunikację".

## Model aktorów (Erlang, Akka)

Każdy aktor ma prywatną skrzynkę pocztową (mailbox) i przetwarza komunikaty pojedynczo. Aktorzy są nazwani/zaadresowani, wysyłają asynchronicznie (fire-and-forget) i nigdy nie współdzielą stanu — więc wewnątrz aktora nie są potrzebne blokady. Drzewa nadzoru (supervision trees) restartują aktorów, którzy uległy awarii.

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

## CSP (Go, occam)

Procesy są anonimowe; komunikują się przez **kanały**. Rendez-vous wysyłania/odbierania (kanały niebuforowane blokują, dopóki obie strony nie są gotowe) zapewnia synchronizację. Nazwaną encją jest kanał, a nie proces.

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

## Kluczowe różnice

- **Adresowanie**: aktorzy adresują się wzajemnie; CSP adresuje kanały.
- **Sprzężenie**: wysłania aktorów są asynchroniczne i buforowane (mailbox); klasyczne wysłanie w CSP to synchroniczny rendez-vous.
- **Topologia**: kanały można przekazywać i multipleksować (`select` w Go); aktorzy tworzą hierarchię nadzoru.

## Dlaczego to ważne

Przekazywanie komunikatów zamienia wyścigi na współdzielonej pamięci w uporządkowaną obsługę komunikatów — stan każdej encji dotyka jeden wątek, eliminując większość blokad i czyniąc rozumowanie lokalnym. To fundament skalowalnych, odpornych na awarie systemów (telekomunikacja w Erlangu, usługi w Go). Znajomość rozróżnienia aktorzy kontra CSP pokazuje, że potrafisz dobrać właściwą architekturę współbieżności, a nie tylko dodawać wątki i blokady.

Model aktorów (Erlang, Akka)

CSP (Go, occam)

Kluczowe różnice

Dlaczego to ważne

Powiązane pytania