Vertaile actor-mallia ja CSP:tä (kanavat). Miten viestinvälitys auttaa?

Question

IT Interview Practice · Accepted Answer

**Molemmat välttävät jaetun muuttuvan tilan antamalla samanaikaisten entiteettien kommunikoida viesteillä lukkojen sijaan — actorit omistavat yksityisen tilan ja lähettävät osoitettuja viestejä; CSP:ssä on nimettömiä prosesseja, jotka välittävät arvoja kanavien kautta.** "Don't communicate by sharing memory; share memory by communicating."

## Actor-malli (Erlang, Akka)

Kullakin actorilla on yksityinen postilaatikko ja se käsittelee viestejä yksi kerrallaan. Actorit ovat nimettyjä/osoitettuja, lähettävät asynkronisesti (fire-and-forget) eivätkä koskaan jaa tilaa — joten lukkoja ei tarvita actorin sisällä. Valvontapuut (supervision trees) käynnistävät kaatuneet actorit uudelleen.

```text
Actor A ──lähetä viesti──▶ [postilaatikko] Actor B  (B käsittelee sarjassa, oma tila)
```

## CSP (Go, occam)

Prosessit ovat nimettömiä; ne kommunikoivat **kanavien** kautta. Lähetys/vastaanotto-kohtaaminen (puskuroimattomat kanavat estyvät kunnes molemmat puolet ovat valmiit) tarjoaa synkronoinnin. Kanava, ei prosessi, on nimetty entiteetti.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // goroutine lähettää kanavaan
result := <-ch                    // main vastaanottaa; estyy kunnes lähetetty
```

## Keskeiset erot

- **Osoitus**: actorit osoittavat toisiaan; CSP osoittaa kanavia.
- **Kytkentä**: actor-lähetykset ovat async ja puskuroituja (postilaatikko); klassinen CSP-lähetys on synkroninen kohtaaminen.
- **Topologia**: kanavia voi välittää ja multipleksoida (Gon `select`); actorit muodostavat valvontahierarkian.

## Miksi se on tärkeää

Viestinvälitys muuttaa jaetun muistin kilpailutilanteet järjestetyksi viestinkäsittelyksi — kunkin entiteetin tilaa koskettaa yksi säie, mikä eliminoi useimmat lukot ja tekee päättelystä paikallista. Se on skaalautuvien, vikasietoisten järjestelmien perusta (Erlang-teleliikenne, Go-palvelut). Actor-vs-CSP-eron tunteminen osoittaa, että osaat valita oikean samanaikaisuusarkkitehtuurin, et vain lisätä säikeitä ja lukkoja.

Actor-malli (Erlang, Akka)

CSP (Go, occam)

Keskeiset erot

Miksi se on tärkeää

Aiheeseen liittyvät kysymykset