Sammenlign aktørmodellen (actor model) og CSP (channels). Hvordan hjelper message passing?

Question

IT Interview Practice · Accepted Answer

**Begge unngår delt muterbar tilstand ved å la samtidige entiteter kommunisere via meldinger i stedet for låser — aktører eier privat tilstand og sender adresserte meldinger; CSP har anonyme prosesser som sender verdier gjennom channels.** "Don't communicate by sharing memory; share memory by communicating."

## Aktørmodell (Erlang, Akka)

Hver aktør har en privat mailbox og behandler meldinger én om gangen. Aktører er navngitt/adressert, sender asynkront (fire-and-forget), og deler aldri tilstand — så ingen låser trengs inne i en aktør. Supervision trees restarter aktører som har krasjet.

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

## CSP (Go, occam)

Prosesser er anonyme; de kommuniserer gjennom **channels**. Et send/receive-rendezvous (ubufrede channels blokkerer til begge sider er klare) gir synkronisering. Det er channelen, ikke prosessen, som er den navngitte entiteten.

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

## Viktige forskjeller

- **Adressering**: aktører adresserer hverandre; CSP adresserer channels.
- **Kobling**: aktørsendinger er asynkrone og bufret (mailbox); klassisk CSP-sending er et synkront rendezvous.
- **Topologi**: channels kan sendes rundt og multiplekses (Gos `select`); aktører danner et supervision-hierarki.

## Hvorfor det er viktig

Message passing gjør race conditions i delt minne om til ordnet meldingshåndtering — hver entitets tilstand berøres av én tråd, noe som eliminerer de fleste låser og gjør resonneringen lokal. Det er grunnlaget for skalerbare, feiltolerante systemer (Erlang i telekom, Go-tjenester). Å kunne skillet mellom aktør og CSP viser at du kan velge riktig samtidighetsarkitektur, ikke bare legge til tråder og låser.

Aktørmodell (Erlang, Akka)

CSP (Go, occam)

Viktige forskjeller

Hvorfor det er viktig

Relaterte spørsmål