Krahaso modelin actor dhe CSP (channels). Si ndihmon message passing?

Question

IT Interview Practice · Accepted Answer

**Të dyja e shmangin gjendjen e ndarë dhe të ndryshueshme duke bërë entitetet konkurrente të komunikojnë via mesazhe në vend të lock-eve — actors zotërojnë gjendje private dhe dërgojnë mesazhe me adresë; CSP ka procese anonime që kalojnë vlera nëpër channels.** "Mos komuniko duke ndarë memorie; ndaj memorie duke komunikuar."

## Modeli actor (Erlang, Akka)

Çdo actor ka një mailbox private dhe përpunon mesazhet një nga një. Actors janë të emërtuar/me adresë, dërgojnë në mënyrë asinkrone (fire-and-forget), dhe kurrë s'ndajnë gjendje — kështu që s'nevojiten lock-e brenda një actor. Supervision trees rinisin actors që bëjnë crash.

```text
Actor A ──dërgo msg──▶ [mailbox] Actor B  (B përpunon serialisht, gjendje e vet)
```

## CSP (Go, occam)

Proceset janë anonime; ata komunikojnë përmes **channels**. Një send/receive rendezvous (channels pa buffer bllokojnë derisa të dyja anët të jenë gati) ofron sinkronizim. Channel-i, jo procesi, është entiteti i emërtuar.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // goroutine dërgon në channel
result := <-ch                    // main merr; bllokon derisa të dërgohet
```

## Dallimet kryesore

- **Adresimi**: actors adresojnë njëri-tjetrin; CSP adreson channels.
- **Coupling**: dërgimet e actor janë async dhe të buffer-uara (mailbox); dërgimi klasik CSP është rendezvous sinkron.
- **Topologjia**: channels mund të kalohen përreth dhe të multipleksohen (`select` i Go); actors formojnë një hierarki supervision.

## Pse ka rëndësi

Message passing i kthen race conditions të shared-memory në trajtim të renditur mesazhesh — gjendja e çdo entiteti preket nga një thread, duke eliminuar shumicën e lock-eve dhe duke e bërë arsyetimin lokal. Është themeli i sistemeve të shkallëzueshme dhe tolerante ndaj gabimeve (Erlang telekom, shërbimet Go). Të njohësh dallimin actor-kundrejt-CSP tregon që mund të zgjedhësh arkitekturën e duhur të konkurrencës, jo thjesht të shtosh thread-e dhe lock-e.

Modeli actor (Erlang, Akka)

CSP (Go, occam)

Dallimet kryesore

Pse ka rëndësi

Pyetje të ngjashme