Compară modelul actor și CSP (channels). Cum ajută message passing?

Question

IT Interview Practice · Accepted Answer

**Ambele evită starea mutabilă partajată prin faptul că entitățile concurente comunică prin mesaje în loc de lock-uri — actorii dețin stare privată și trimit mesaje adresate; CSP are procese anonime care transmit valori prin channels.** "Don't communicate by sharing memory; share memory by communicating."

## Modelul actor (Erlang, Akka)

Fiecare actor are un mailbox privat și procesează mesajele unul câte unul. Actorii sunt numiți/adresați, trimit asincron (fire-and-forget) și nu partajează niciodată stare — deci nu sunt necesare lock-uri în interiorul unui actor. Arborii de supervizare repornesc actorii care au dat crash.

```text
Actor A ──trimite msg──▶ [mailbox] Actor B  (B procesează serial, stare proprie)
```

## CSP (Go, occam)

Procesele sunt anonime; comunică prin **channels**. Un rendezvous send/receive (channels nebufferate se blochează până când ambele părți sunt gata) oferă sincronizare. Channel-ul, nu procesul, este entitatea numită.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // goroutine trimite în channel
result := <-ch                    // main primește; se blochează până e trimis
```

## Diferențe cheie

- **Adresare**: actorii se adresează unul altuia; CSP adresează channels.
- **Cuplare**: trimiterile actorilor sunt async și bufferate (mailbox); trimiterea CSP clasică este rendezvous sincron.
- **Topologie**: channels pot fi transmise și multiplexate (`select` din Go); actorii formează o ierarhie de supervizare.

## De ce contează

Message passing transformă race conditions din memoria partajată în tratare ordonată a mesajelor — starea fiecărei entități este atinsă de un singur thread, eliminând majoritatea lock-urilor și făcând raționamentul local. Este fundamentul sistemelor scalabile și tolerante la erori (telecom Erlang, servicii Go). Cunoașterea distincției actor-vs-CSP arată că poți alege arhitectura de concurență potrivită, nu doar să adaugi thread-uri și lock-uri.

Modelul actor (Erlang, Akka)

CSP (Go, occam)

Diferențe cheie

De ce contează

Întrebări conexe