Linganisha actor model na CSP (channels). Message passing husaidiaje?

Question

IT Interview Practice · Accepted Answer

**Zote zinaepuka shared mutable state kwa kuwa na entities zinazoendana zinazowasiliana kwa messages badala ya locks — actors humiliki private state na kutuma messages zenye anwani; CSP ina processes zisizo na majina zinazopitisha thamani kupitia channels.** "Don't communicate by sharing memory; share memory by communicating."

## Actor model (Erlang, Akka)

Kila actor ina mailbox ya faragha na huchakata messages moja kwa wakati. Actors zina majina/anwani, hutuma kwa njia ya asynchronous (fire-and-forget), na kamwe hazishiriki state — hivyo hakuna locks zinazohitajika ndani ya actor. Supervision trees huanzisha upya actors zilizo-crash.

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

## CSP (Go, occam)

Processes hazina majina; zinawasiliana kupitia **channels**. Rendezvous ya send/receive (unbuffered channels huzuia hadi pande zote mbili ziwe tayari) hutoa synchronization. Channel, siyo process, ndiyo entity yenye jina.

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

## Tofauti kuu

- **Addressing**: actors huelekeza anwani kwa kila mmoja; CSP huelekeza anwani kwa channels.
- **Coupling**: sends za actor ni async na zimehifadhiwa katika buffer (mailbox); send ya CSP ya kawaida ni rendezvous ya synchronous.
- **Topology**: channels zinaweza kupitishwa na kufanywa multiplex (Go `select`); actors huunda supervision hierarchy.

## Kwa nini ni muhimu

Message passing hugeuza race conditions za shared-memory kuwa ushughulikiaji wa messages uliopangwa — state ya kila entity inaguswa na thread moja, ikiondoa locks nyingi na kufanya kufikiri kuwa local. Ni msingi wa mifumo inayoongezeka (scalable) na inayostahimili makosa (fault-tolerant) (Erlang telecom, Go services). Kujua tofauti ya actor-dhidi-ya-CSP kunaonyesha unaweza kuchagua usanifu sahihi wa concurrency, siyo tu kuongeza threads na locks.

Actor model (Erlang, Akka)

CSP (Go, occam)

Tofauti kuu

Kwa nini ni muhimu

Maswali yanayohusiana