Vergleiche das Aktormodell und CSP (Kanäle). Wie hilft Nachrichtenaustausch?

Question

IT Interview Practice · Accepted Answer

**Beide vermeiden gemeinsamen veränderlichen Zustand, indem nebenläufige Einheiten über Nachrichten statt über Locks kommunizieren — Aktoren besitzen privaten Zustand und senden adressierte Nachrichten; CSP hat anonyme Prozesse, die Werte über Kanäle weitergeben.** \"Kommuniziere nicht durch Teilen von Speicher; teile Speicher durch Kommunizieren.\"

## Aktormodell (Erlang, Akka)

Jeder Aktor hat eine private Mailbox und verarbeitet Nachrichten einzeln. Aktoren sind benannt/adressiert, senden asynchron (Fire-and-Forget) und teilen niemals Zustand — daher werden innerhalb eines Aktors keine Locks benötigt. Supervision-Trees starten abgestürzte Aktoren neu.

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

## CSP (Go, occam)

Prozesse sind anonym; sie kommunizieren über **Kanäle**. Ein Send/Receive-Rendezvous (ungepufferte Kanäle blockieren, bis beide Seiten bereit sind) sorgt für Synchronisation. Der Kanal, nicht der Prozess, ist die benannte Einheit.

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

## Wesentliche Unterschiede

- **Adressierung**: Aktoren adressieren einander; CSP adressiert Kanäle.
- **Kopplung**: Aktor-Sends sind asynchron und gepuffert (Mailbox); klassisches CSP-Send ist synchrones Rendezvous.
- **Topologie**: Kanäle können herumgereicht und multiplext werden (Gos `select`); Aktoren bilden eine Supervision-Hierarchie.

## Warum es wichtig ist

Nachrichtenaustausch verwandelt Shared-Memory-Race-Conditions in geordnete Nachrichtenverarbeitung — der Zustand jeder Einheit wird von einem Thread berührt, was die meisten Locks eliminiert und das Nachdenken lokal macht. Es ist das Fundament skalierbarer, fehlertoleranter Systeme (Erlang-Telekom, Go-Dienste). Die Unterscheidung Aktor vs. CSP zu kennen zeigt, dass du die richtige Nebenläufigkeitsarchitektur wählen kannst, statt nur Threads und Locks hinzuzufügen.

Aktormodell (Erlang, Akka)

CSP (Go, occam)

Wesentliche Unterschiede

Warum es wichtig ist

Ähnliche Fragen