Qabbel il-mudell actor u s-CSP (channels). Kif jgħin il-message passing?

Question

IT Interview Practice · Accepted Answer

**It-tnejn jevitaw shared mutable state billi jħallu entitajiet konkorrenti jikkomunikaw permezz ta' messaġġi minflok locks — l-actors għandhom private state u jibagħtu messaġġi indirizzati; is-CSP għandu processes anonimi li jgħaddu valuri permezz ta' channels.** "Don't communicate by sharing memory; share memory by communicating."

## Il-mudell actor (Erlang, Akka)

Kull actor għandu private mailbox u jipproċessa messaġġi wieħed wieħed. L-actors huma msemmija/indirizzati, jibagħtu b'mod asinkronu (fire-and-forget), u qatt ma jaqsmu state — għalhekk l-ebda locks mhuma meħtieġa ġewwa actor. Is-supervision trees jerġgħu jibdew actors li ħabbtu.

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

## CSP (Go, occam)

Il-processes huma anonimi; jikkomunikaw permezz ta' **channels**. Rendezvous ta' send/receive (channels unbuffered jimblukkaw sakemm iż-żewġ naħat ikunu lesti) jipprovdi sinkronizzazzjoni. Il-channel, mhux il-process, huwa l-entità msemmija.

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

## Differenzi ewlenin

- **Indirizzar**: l-actors jindirizzaw lil xulxin; is-CSP jindirizza l-channels.
- **Coupling**: is-sends tal-actor huma async u buffered (mailbox); is-send klassiku ta' CSP huwa rendezvous sinkronu.
- **Topoloġija**: il-channels jistgħu jgħaddu minn naħa għall-oħra u jiġu multiplexed (`select` ta' Go); l-actors jiffurmaw ġerarkija ta' supervision.

## Għaliex huwa importanti

Il-message passing idawwar ir-race conditions tal-shared-memory f'immaniġġjar ordnat ta' messaġġi — l-istate ta' kull entità jintmiss minn thread wieħed, u jelimina ħafna locks u jagħmel ir-raġunar lokali. Huwa l-pedament ta' sistemi skalabbli u fault-tolerant (Erlang telecom, servizzi Go). Li tkun taf id-distinzjoni bejn actor u CSP juri li tista' tagħżel l-arkitettura tal-concurrency it-tajba, mhux biss iżżid threads u locks.

Il-mudell actor (Erlang, Akka)

CSP (Go, occam)

Differenzi ewlenin

Għaliex huwa importanti

Mistoqsijiet relatati