Hasonlítsd össze az actor modellt és a CSP-t (channels). Hogyan segít a message passing?

Question

IT Interview Practice · Accepted Answer

**Mindkettő elkerüli a megosztott, változtatható állapotot azzal, hogy az egyidejű entitások üzeneteken át kommunikálnak lockok helyett — az actorok privát állapotot birtokolnak és címzett üzeneteket küldenek; a CSP-ben anonim processek adnak át értékeket channeleken keresztül.** "Ne kommunikálj memória megosztásával; ossz meg memóriát kommunikálással."

## Actor modell (Erlang, Akka)

Minden actornak van egy privát mailboxa, és egyszerre egy üzenetet dolgoz fel. Az actorok névvel/címmel rendelkeznek, aszinkron küldenek (fire-and-forget), és sosem osztanak állapotot — így egy actoron belül nem kellenek lockok. A supervision fák újraindítják az összeomlott actorokat.

```text
Actor A ──üzenet küld──▶ [mailbox] Actor B  (B szekvenciálisan dolgoz fel, saját állapot)
```

## CSP (Go, occam)

A processek anonimak; **channeleken** át kommunikálnak. Egy send/receive rendezvous (a bufferolatlan channelek blokkolnak, amíg mindkét oldal kész nem áll) biztosítja a szinkronizációt. A channel, nem a process, a megnevezett entitás.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // a goroutine a channelbe küld
result := <-ch                    // a main fogad; blokkol, amíg nem küldenek
```

## Kulcskülönbségek

- **Címzés**: az actorok egymást címzik; a CSP a channeleket címzi.
- **Csatolás**: az actor küldések aszinkronok és bufferoltak (mailbox); a klasszikus CSP küldés szinkron rendezvous.
- **Topológia**: a channelek átadhatók és multiplexelhetők (Go `select`-je); az actorok supervision hierarchiát alkotnak.

## Miért fontos

A message passing a megosztott-memóriás race conditiönöket rendezett üzenetkezeléssé alakítja — minden entitás állapotát egy thread érinti, kiküszöbölve a legtöbb lockot és lokálissá téve az érvelést. Ez a skálázható, hibatűrő rendszerek alapja (Erlang telekom, Go szolgáltatások). Az actor-vs-CSP megkülönböztetés ismerete megmutatja, hogy a megfelelő konkurencia-architektúrát tudod választani, nem csak threadeket és lockokat adni hozzá.

Actor modell (Erlang, Akka)

CSP (Go, occam)

Kulcskülönbségek

Miért fontos

Kapcsolódó kérdések