Compare o modelo de atores e o CSP (channels). Como a troca de mensagens ajuda?

Question

IT Interview Practice · Accepted Answer

**Ambos evitam estado mutável compartilhado fazendo entidades concorrentes se comunicarem via mensagens em vez de locks — atores possuem estado privado e enviam mensagens endereçadas; o CSP tem processos anônimos passando valores por channels.** "Don't communicate by sharing memory; share memory by communicating."

## Modelo de atores (Erlang, Akka)

Cada ator tem uma mailbox privada e processa mensagens uma de cada vez. Atores são nomeados/endereçados, enviam de forma assíncrona (fire-and-forget) e nunca compartilham estado — então nenhum lock é necessário dentro de um ator. Árvores de supervisão reiniciam atores que falharam.

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

## CSP (Go, occam)

Os processos são anônimos; eles se comunicam através de **channels**. Um rendezvous de envio/recepção (channels sem buffer bloqueiam até ambos os lados estarem prontos) fornece a sincronização. O channel, não o processo, é a entidade nomeada.

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

## Diferenças principais

- **Endereçamento**: atores se endereçam mutuamente; o CSP endereça channels.
- **Acoplamento**: envios de atores são assíncronos e com buffer (mailbox); o envio CSP clássico é um rendezvous síncrono.
- **Topologia**: channels podem ser passados e multiplexados (o `select` do Go); atores formam uma hierarquia de supervisão.

## Por que isso importa

A troca de mensagens transforma race conditions de memória compartilhada em tratamento ordenado de mensagens — o estado de cada entidade é tocado por uma thread, eliminando a maioria dos locks e tornando o raciocínio local. É a base de sistemas escaláveis e tolerantes a falhas (telecom em Erlang, serviços em Go). Conhecer a distinção ator-vs-CSP mostra que você sabe escolher a arquitetura de concorrência certa, não apenas adicionar threads e locks.

Modelo de atores (Erlang, Akka)

CSP (Go, occam)

Diferenças principais

Por que isso importa

Perguntas relacionadas