Σύγκρινε το actor model και το CSP (channels). Πώς βοηθά το message passing;

Question

IT Interview Practice · Accepted Answer

**Και τα δύο αποφεύγουν την κοινόχρηστη μεταβλητή κατάσταση κάνοντας τις ταυτόχρονες οντότητες να επικοινωνούν μέσω μηνυμάτων αντί για locks — οι actors κατέχουν ιδιωτική κατάσταση και στέλνουν διευθυνσιοδοτημένα μηνύματα· το CSP έχει ανώνυμα processes που περνούν τιμές μέσα από channels.** "Don't communicate by sharing memory; share memory by communicating."

## Actor model (Erlang, Akka)

Κάθε actor έχει ένα ιδιωτικό mailbox και επεξεργάζεται μηνύματα ένα τη φορά. Οι actors είναι named/addressed, στέλνουν ασύγχρονα (fire-and-forget) και δεν μοιράζονται ποτέ κατάσταση — οπότε δεν χρειάζονται locks μέσα σε έναν actor. Τα supervision trees επανεκκινούν actors που κατέρρευσαν.

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

## CSP (Go, occam)

Τα processes είναι ανώνυμα· επικοινωνούν μέσα από **channels**. Ένα rendezvous send/receive (τα unbuffered channels μπλοκάρουν μέχρι να είναι έτοιμες και οι δύο πλευρές) παρέχει synchronization. Το channel, όχι το process, είναι η ονομαστική οντότητα.

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

## Βασικές διαφορές

- **Addressing**: οι actors διευθυνσιοδοτούν ο ένας τον άλλο· το CSP διευθυνσιοδοτεί channels.
- **Coupling**: τα sends των actors είναι async και buffered (mailbox)· το κλασικό CSP send είναι synchronous rendezvous.
- **Topology**: τα channels μπορούν να περνούν τριγύρω και να πολυπλέκονται (το `select` της Go)· οι actors σχηματίζουν μια ιεραρχία supervision.

## Γιατί έχει σημασία

Το message passing μετατρέπει τα race conditions κοινόχρηστης μνήμης σε διατεταγμένο χειρισμό μηνυμάτων — η κατάσταση κάθε οντότητας αγγίζεται από ένα thread, εξαλείφοντας τα περισσότερα locks και κάνοντας τη συλλογιστική τοπική. Είναι το θεμέλιο scalable, fault-tolerant συστημάτων (Erlang telecom, Go services). Το να ξέρεις τη διάκριση actor έναντι CSP δείχνει ότι μπορείς να επιλέξεις τη σωστή αρχιτεκτονική concurrency, όχι απλώς να προσθέτεις threads και locks.

Actor model (Erlang, Akka)

CSP (Go, occam)

Βασικές διαφορές

Γιατί έχει σημασία

Σχετικές ερωτήσεις