Manuel RubioSenior Software Engineer, Elixir at Telnyx

Modelos de concurrencia #concurrencia #programacion

10 Feb 2025 · 1 min

Watch on YouTube

1:16

En este diálogo técnico, los participantes comparan varios modelos de concurrencia usados en la práctica. Comienzan con la base histórica del modelo Communicating Sequential Processes (CSP) de 1978 y enumeran los enfoques más comunes: la comunicación entre procesos en sistemas UNIX mediante señales y memoria compartida; los hilos (hebras) en C y Java que comparten espacio de direcciones y requieren semáforos y mutexes; el modelo de mono‑hilo con bucle de eventos de Node.js; las corutinas de Python a través de asyncio; el modelo de goroutine y canales de Go; el modelo actor implementado en Erlang y Akka (Scala); y los mecanismos de concurrencia de Rust basados en ownership y tipos seguros. Cada modelo se menciona brevemente, resaltando sus principales primitivas y contextos de uso, ofreciendo una visión panorámica de las opciones disponibles para diseñar software concurrente.

Chapters

reconocer que el modelo no es nada malo. A ver, el modelo de concurrencia se basa en el documento Communicating Sequential Processes o Comunicación de Procesos Secuenciales de 1978. ¿Qué otros modelos de concurrencia hay? Hay muchos. Los más empleados en sistemas tipo UNIX suelen ser la comunicación entre procesos, se emplean señales y memoria compartida.
También hay hilos o hebras que comparten el mismo espacio de memoria como en C o Java.
Exacto, tanto en uno como en otro requerimos de elementos como semáforos o mutexes.
En Node.js se emplea un mono-hilo con gestión de eventos.
También lo emplea Python a través de la biblioteca asyncio, pero no es su enfoque principal. Yo diría que este sería más bien un modelo de corrutina.
También presente en Go.
El modelo actor presente en lenguajes como Erlang o en Akka de Scala.
Y, por supuesto, el modelo de canal de Go.
También está presente en Rust. Un momento, ¿no decías que el modelo de Go era de canal?
Go emplea gorutinas y canales. Al igual que se menciona en el documento de Hoare, la comunicación se produce mediante canales y sin bloqueos. ¿Nada de mutexes? Nada de mutexes en los canales. Obviamente, si quieres mutexes, los puedes usar.