Comparez le modèle d'acteurs et le CSP (channels). En quoi le passage de messages aide-t-il ?

Question

IT Interview Practice · Accepted Answer

**Les deux évitent l'état mutable partagé en faisant communiquer des entités concurrentes par messages plutôt que par verrous — les acteurs possèdent un état privé et envoient des messages adressés ; le CSP a des processus anonymes qui font passer des valeurs par des channels.** "Don't communicate by sharing memory; share memory by communicating."

## Modèle d'acteurs (Erlang, Akka)

Chaque acteur possède une mailbox privée et traite les messages un par un. Les acteurs sont nommés/adressés, envoient de façon asynchrone (fire-and-forget) et ne partagent jamais d'état — aucun verrou n'est donc nécessaire à l'intérieur d'un acteur. Les arbres de supervision redémarrent les acteurs qui ont planté.

```text
Acteur A ──envoie msg──▶ [mailbox] Acteur B  (B traite en série, état propre)
```

## CSP (Go, occam)

Les processus sont anonymes ; ils communiquent par des **channels**. Un rendez-vous d'envoi/réception (les channels non bufferisés bloquent jusqu'à ce que les deux côtés soient prêts) assure la synchronisation. C'est le channel, et non le processus, qui est l'entité nommée.

```go
ch := make(chan int)
go func() { ch <- compute() }()   // la goroutine envoie dans le channel
result := <-ch                    // main reçoit ; bloque jusqu'à l'envoi
```

## Différences clés

- **Adressage** : les acteurs s'adressent les uns aux autres ; le CSP adresse des channels.
- **Couplage** : les envois d'acteurs sont asynchrones et bufferisés (mailbox) ; l'envoi CSP classique est un rendez-vous synchrone.
- **Topologie** : les channels peuvent être transmis et multiplexés (le `select` de Go) ; les acteurs forment une hiérarchie de supervision.

## Pourquoi c'est important

Le passage de messages transforme les race conditions sur mémoire partagée en un traitement ordonné de messages — l'état de chaque entité n'est touché que par un seul thread, éliminant la plupart des verrous et rendant le raisonnement local. C'est le fondement des systèmes qui passent à l'échelle et tolèrent les pannes (télécoms en Erlang, services en Go). Connaître la distinction acteurs contre CSP montre que vous savez choisir la bonne architecture de concurrence, pas seulement ajouter des threads et des verrous.

Modèle d'acteurs (Erlang, Akka)

CSP (Go, occam)

Différences clés

Pourquoi c'est important

Questions connexes