Vergelijk het actor-model en CSP (channels). Hoe helpt message passing?

Question

IT Interview Practice · Accepted Answer

**Beide vermijden gedeelde muteerbare state door gelijktijdige entiteiten via berichten te laten communiceren in plaats van via locks — actors bezitten private state en sturen geadresseerde berichten; CSP heeft anonieme processen die waarden door channels doorgeven.** "Don't communicate by sharing memory; share memory by communicating."

## Actor-model (Erlang, Akka)

Elke actor heeft een private mailbox en verwerkt berichten één voor één. Actors zijn benoemd/geadresseerd, sturen asynchroon (fire-and-forget) en delen nooit state — dus er zijn geen locks nodig binnen een actor. Supervision trees herstarten gecrashte actors.

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

## CSP (Go, occam)

Processen zijn anoniem; ze communiceren via **channels**. Een send/receive-rendezvous (unbuffered channels blokkeren tot beide kanten klaar zijn) levert synchronisatie. Het channel, niet het proces, is de benoemde entiteit.

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

## Belangrijkste verschillen

- **Adressering**: actors adresseren elkaar; CSP adresseert channels.
- **Koppeling**: actor-sends zijn async en gebufferd (mailbox); klassieke CSP-send is een synchrone rendezvous.
- **Topologie**: channels kunnen rondgegeven en gemultiplext worden (Go's `select`); actors vormen een supervision-hiërarchie.

## Waarom het belangrijk is

Message passing verandert shared-memory race conditions in geordende berichtafhandeling — de state van elke entiteit wordt door één thread aangeraakt, wat de meeste locks elimineert en het redeneren lokaal maakt. Het is het fundament van schaalbare, fout-tolerante systemen (Erlang-telecom, Go-services). Het onderscheid actor versus CSP kennen toont dat je de juiste concurrency-architectuur kunt kiezen, in plaats van alleen threads en locks toe te voegen.

Actor-model (Erlang, Akka)

CSP (Go, occam)

Belangrijkste verschillen

Waarom het belangrijk is

Gerelateerde vragen