Compara el modelo de actores y CSP (canales). ¿Cómo ayuda el paso de mensajes?

Question

IT Interview Practice · Accepted Answer

**Ambos evitan el estado mutable compartido haciendo que las entidades concurrentes se comuniquen mediante mensajes en lugar de locks — los actores poseen estado privado y envían mensajes con destinatario; CSP tiene procesos anónimos que pasan valores a través de canales.** "No te comuniques compartiendo memoria; comparte memoria comunicándote."

## Modelo de actores (Erlang, Akka)

Cada actor tiene un buzón privado y procesa los mensajes de uno en uno. Los actores tienen nombre/dirección, envían de forma asíncrona (dispara y olvida) y nunca comparten estado — así que no se necesitan locks dentro de un actor. Los árboles de supervisión reinician los actores caídos.

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

## CSP (Go, occam)

Los procesos son anónimos; se comunican a través de **canales**. Un rendezvous de envío/recepción (los canales sin búfer se bloquean hasta que ambos lados estén listos) proporciona sincronización. El canal, no el proceso, es la entidad con nombre.

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

## Diferencias clave

- **Direccionamiento**: los actores se dirigen entre sí; CSP se dirige a los canales.
- **Acoplamiento**: los envíos de actores son asíncronos y con búfer (buzón); el envío clásico de CSP es un rendezvous síncrono.
- **Topología**: los canales pueden pasarse de un lado a otro y multiplexarse (el `select` de Go); los actores forman una jerarquía de supervisión.

## Por qué es importante

El paso de mensajes convierte las condiciones de carrera de memoria compartida en manejo ordenado de mensajes — el estado de cada entidad es tocado por un solo hilo, eliminando la mayoría de los locks y haciendo local el razonamiento. Es la base de sistemas escalables y tolerantes a fallos (telecomunicaciones con Erlang, servicios en Go). Conocer la distinción actor frente a CSP demuestra que puedes elegir la arquitectura de concurrencia adecuada, no solo añadir hilos y locks.

Modelo de actores (Erlang, Akka)

CSP (Go, occam)

Diferencias clave

Por qué es importante

Preguntas relacionadas