Jämför aktörsmodellen och CSP (kanaler). Hur hjälper meddelandeskickande?

Question

IT Interview Practice · Accepted Answer

**Båda undviker delat föränderligt tillstånd genom att låta samtidiga entiteter kommunicera via meddelanden istället för lås — aktörer äger privat tillstånd och skickar adresserade meddelanden; CSP har anonyma processer som skickar värden genom kanaler.** "Don't communicate by sharing memory; share memory by communicating."

## Aktörsmodellen (Erlang, Akka)

Varje aktör har en privat brevlåda (mailbox) och behandlar meddelanden ett i taget. Aktörer är namngivna/adresserade, skickar asynkront (fire-and-forget) och delar aldrig tillstånd — så inga lås behövs inuti en aktör. Supervision trees startar om kraschade aktörer.

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

## CSP (Go, occam)

Processer är anonyma; de kommunicerar genom **kanaler**. En send/receive-rendezvous (obuffrade kanaler blockerar tills båda sidor är redo) ger synkronisering. Kanalen, inte processen, är den namngivna entiteten.

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

## Nyckelskillnader

- **Adressering**: aktörer adresserar varandra; CSP adresserar kanaler.
- **Koppling**: aktörsskickningar är asynkrona och buffrade (mailbox); klassisk CSP-skickning är synkron rendezvous.
- **Topologi**: kanaler kan skickas runt och multiplexas (Gos `select`); aktörer bildar en supervision-hierarki.

## Varför det är viktigt

Meddelandeskickande förvandlar race conditions i delat minne till ordnad meddelandehantering — varje entitets tillstånd rörs av en tråd, vilket eliminerar de flesta lås och gör resonemanget lokalt. Det är grunden för skalbara, feltoleranta system (Erlang inom telekom, Go-tjänster). Att känna till skillnaden mellan aktörer och CSP visar att du kan välja rätt samtidighetsarkitektur, inte bara lägga till trådar och lås.

Aktörsmodellen (Erlang, Akka)

CSP (Go, occam)

Nyckelskillnader

Varför det är viktigt

Relaterade frågor