Palyginkite aktorių modelį ir CSP (kanalus). Kaip pranešimų perdavimas padeda?

Question

IT Interview Practice · Accepted Answer

**Abu išvengia bendros keičiamos būsenos, priversdami konkurentines esybes bendrauti per pranešimus, o ne užraktus — aktoriai turi privačią būseną ir siunčia adresuotus pranešimus; CSP turi anoniminius procesus, perduodančius reikšmes per kanalus.** „Don't communicate by sharing memory; share memory by communicating.“

## Aktorių modelis (Erlang, Akka)

Kiekvienas aktorius turi privatų pašto dėžutę (mailbox) ir apdoroja pranešimus po vieną. Aktoriai yra įvardinti/adresuoti, siunčia asinchroniškai (paleisk-ir-pamiršk) ir niekada nesidalija būsena — todėl aktoriaus viduje užraktų nereikia. Priežiūros medžiai (supervision trees) paleidžia iš naujo užstrigusius aktorius.

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

## CSP (Go, occam)

Procesai yra anoniminiai; jie bendrauja per **kanalus**. Siuntimo/gavimo susitikimas (nebuferizuoti kanalai blokuojasi, kol abi pusės pasiruošusios) suteikia sinchronizaciją. Kanalas, o ne procesas, yra įvardinta esybė.

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

## Pagrindiniai skirtumai

- **Adresavimas**: aktoriai adresuoja vienas kitą; CSP adresuoja kanalus.
- **Sujungimas**: aktorių siuntimai yra asinchroniniai ir buferizuoti (pašto dėžutė); klasikinis CSP siuntimas yra sinchroninis susitikimas.
- **Topologija**: kanalai gali būti perduodami ir multipleksuojami (Go `select`); aktoriai formuoja priežiūros hierarchiją.

## Kodėl tai svarbu

Pranešimų perdavimas paverčia bendros atminties lenktynių sąlygas sutvarkytu pranešimų apdorojimu — kiekvienos esybės būseną liečia viena gija, pašalindama daugumą užraktų ir padarydama samprotavimą lokalų. Tai yra mastelėjamų, atsparių gedimams sistemų pagrindas (Erlang telekomunikacijos, Go paslaugos). Aktorių-prieš-CSP skirtumo žinojimas parodo, kad galite pasirinkti tinkamą konkurentumo architektūrą, o ne tik pridėti gijų ir užraktų.

Aktorių modelis (Erlang, Akka)

CSP (Go, occam)

Pagrindiniai skirtumai

Kodėl tai svarbu

Susiję klausimai