Primerjajte model akterjev (actor model) in CSP (kanale). Kako pomaga posredovanje sporočil?

Question

IT Interview Practice · Accepted Answer

**Oba se izogneta deljenemu spremenljivemu stanju tako, da sočasne entitete komunicirajo prek sporočil namesto zaklepov — akterji imajo v lasti zasebno stanje in pošiljajo naslovljena sporočila; CSP ima anonimne procese, ki vrednosti posredujejo skozi kanale.** "Ne komunicirajte z deljenjem pomnilnika; delite pomnilnik s komuniciranjem."

## Model akterjev (Erlang, Akka)

Vsak akter ima zasebni poštni predal in obdeluje sporočila po enega naenkrat. Akterji so poimenovani/naslovljeni, pošiljajo asinhrono (sproži-in-pozabi) in nikoli ne delijo stanja — zato znotraj akterja niso potrebni zaklepi. Nadzorna drevesa ponovno zaženejo sesute akterje.

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

## CSP (Go, occam)

Procesi so anonimni; komunicirajo prek **kanalov**. Srečanje pošiljanja/prejemanja (nepredpomnjeni kanali blokirajo, dokler nista pripravljeni obe strani) zagotavlja sinhronizacijo. Poimenovana entiteta je kanal, ne proces.

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

## Ključne razlike

- **Naslavljanje**: akterji naslavljajo drug drugega; CSP naslavlja kanale.
- **Sklopljenost**: pošiljanja akterjev so asinhrona in predpomnjena (poštni predal); klasično pošiljanje CSP je sinhrono srečanje.
- **Topologija**: kanale je mogoče prenašati in multipleksirati (Gojev `select`); akterji tvorijo nadzorno hierarhijo.

## Zakaj je to pomembno

Posredovanje sporočil spremeni tekmovalne razmere deljenega pomnilnika v urejeno obravnavanje sporočil — stanja vsake entitete se dotika ena sama nit, kar odpravi večino zaklepov in naredi sklepanje krajevno. To je temelj skalabilnih, odpornih sistemov (telekomunikacije Erlang, storitve Go). Poznavanje razlike med akterji in CSP pokaže, da znate izbrati pravo arhitekturo sočasnosti, ne le dodati niti in zaklepe.

Model akterjev (Erlang, Akka)

CSP (Go, occam)

Ključne razlike

Zakaj je to pomembno

Povezana vprašanja