Porovnejte actor model a CSP (kanály). Jak pomáhá předávání zpráv?

Question

IT Interview Practice · Accepted Answer

**Oba se vyhýbají sdílenému měnitelnému stavu tím, že souběžné entity komunikují přes zprávy místo zámků — actoři vlastní privátní stav a posílají adresované zprávy; CSP má anonymní procesy předávající hodnoty přes kanály.** "Don't communicate by sharing memory; share memory by communicating."

## Actor model (Erlang, Akka)

Každý actor má privátní mailbox a zpracovává zprávy jednu po druhé. Actoři jsou pojmenovaní/adresovaní, posílají asynchronně (fire-and-forget) a nikdy nesdílejí stav — takže uvnitř actora nejsou potřeba zámky. Supervizní stromy restartují spadlé actory.

```text
Actor A ──pošle zprávu──▶ [mailbox] Actor B  (B zpracovává sériově, vlastní stav)
```

## CSP (Go, occam)

Procesy jsou anonymní; komunikují přes **kanály**. Rendezvous odeslání/příjmu (nebufferované kanály blokují, dokud nejsou obě strany připravené) poskytuje synchronizaci. Pojmenovanou entitou je kanál, ne proces.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // goroutine posílá do kanálu
result := <-ch                    // main přijímá; blokuje, dokud není odesláno
```

## Klíčové rozdíly

- **Adresování**: actoři adresují sebe navzájem; CSP adresuje kanály.
- **Provázanost**: odeslání actora jsou async a bufferovaná (mailbox); klasické CSP odeslání je synchronní rendezvous.
- **Topologie**: kanály lze předávat a multiplexovat (Go `select`); actoři tvoří supervizní hierarchii.

## Proč je to důležité

Předávání zpráv mění race conditions ve sdílené paměti v uspořádané zpracování zpráv — stavu každé entity se dotýká jedno vlákno, čímž se eliminuje většina zámků a uvažování se stává lokálním. Je to základ škálovatelných, odolných systémů (Erlang v telekomunikacích, Go služby). Znalost rozdílu actor vs CSP ukazuje, že umíte zvolit správnou architekturu souběžnosti, ne jen přidávat vlákna a zámky.

Actor model (Erlang, Akka)

CSP (Go, occam)

Klíčové rozdíly

Proč je to důležité

Související otázky