Kwatanta actor model da CSP (channels). Ta yaya message passing ke taimakawa?

Question

IT Interview Practice · Accepted Answer

**Dukansu suna kauce wa shared mutable state ta hanyar sa entities na concurrent su yi sadarwa ta messages maimakon locks — actors suna mallakar private state kuma suna aika messages da adireshi; CSP kuma yana da anonymous processes suna wuce dabi'u ta channels.** "Kada ku yi sadarwa ta raba memory; ku raba memory ta hanyar sadarwa."

## Actor model (Erlang, Akka)

Kowane actor yana da private mailbox kuma yana sarrafa messages ɗaya-ɗaya. Actors ana ba su suna/adireshi, suna aikawa asynchronous (fire-and-forget), kuma ba sa taɓa raba state — don haka ba a buƙatar locks a cikin actor. Supervision trees suna sāke fara actors da suka crash.

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

## CSP (Go, occam)

Processes anonymous ne; suna sadarwa ta **channels**. Send/receive rendezvous (unbuffered channels suna toshewa har sai bangarorin biyu sun shirya) yana ba da synchronization. Channel, ba process ba, shine entity mai suna.

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

## Manyan bambance-bambance

- **Adireshi**: actors suna aika wa juna adireshi; CSP yana ba channels adireshi.
- **Coupling**: aikin actor async ne kuma buffered (mailbox); classic CSP send synchronous rendezvous ne.
- **Topology**: channels ana iya wucewa da su kuma a multiplex (Go's `select`); actors suna kafa supervision hierarchy.

## Me ya sa yake da muhimmanci

Message passing yana mayar da shared-memory race conditions zuwa sarrafa message na tsari — ana taɓa state na kowace entity ta thread ɗaya, yana kawar da yawancin locks kuma yana sa tunani ya zama na gida. Shine tushen tsarin scaling, fault-tolerant (Erlang telecom, Go services). Sanin bambancin actor-da-CSP yana nuna kana iya zaɓen tsarin concurrency da ya dace, ba kawai ƙara threads da locks ba.

Actor model (Erlang, Akka)

CSP (Go, occam)

Manyan bambance-bambance

Me ya sa yake da muhimmanci

Tambayoyi masu alaƙa