Este artículo explora las limitaciones del modelo de concurrencia basado en aislamiento, utilizando Erlang como ejemplo paradigmático. Erlang, conocido por su robustez y alta disponibilidad (como se evidencia en sistemas como WhatsApp), implementa un modelo de 'actores' donde cada proceso tiene su propia pila de memoria y se comunica exclusivamente a través de mensajes copiados, evitando así la corrupción de memoria y los errores asociados a la memoria compartida. Si bien esto parece una solución ideal, el artículo argumenta que incluso este modelo, considerado el 'mejor caso' para la concurrencia aislada, no es inmune a los problemas inherentes a la comunicación a través de recursos compartidos.
El núcleo del problema radica en que el mecanismo de comunicación en sí mismo (en Erlang, las 'buzones' o mailboxes) se convierte en un recurso compartido y mutable. Esto, inevitablemente, introduce los cuatro 'modos de fallo' típicos de los recursos compartidos: deadlocks (bloqueos mutuos), fugas de memoria, condiciones de carrera (race conditions) y violaciones de protocolo. El artículo ilustra esto con un ejemplo de dos servidores Erlang que se llaman mutuamente, creando un deadlock si uno está ocupado cuando el otro necesita una respuesta. Aunque Erlang proporciona directrices de diseño (OTP) para evitar estos problemas, la experiencia demuestra que incluso expertos pueden cometer errores, y la libertad de composición de protocolos puede llevar a deadlocks inesperados.
Además, los buzones de Erlang son ilimitados, lo que puede llevar a fugas de memoria si un proceso recibe mensajes más rápido de lo que puede procesarlos. La naturaleza dinámica de los mensajes también introduce condiciones de carrera y la falta de tipado estático puede resultar en errores sutiles. Erlang ofrece mitigaciones para estos problemas, como el uso de 'pobox' para limitar el tamaño de los buzones y el diseño cuidadoso de protocolos. Sin embargo, estas mitigaciones dependen de la disciplina del programador y no están garantizadas por el lenguaje o el compilador. Esto crea una 'tasa de disciplina': a medida que los equipos crecen o cambian, la probabilidad de que se ignoren las convenciones aumenta, lo que lleva a errores.
Finalmente, el artículo señala una limitación de rendimiento estructural: el acceso a los datos de cada proceso está serializado a través de su buzón, lo que puede convertirse en un cuello de botella en sistemas de alto rendimiento. En resumen, aunque Erlang ofrece un modelo de concurrencia robusto, la dependencia de recursos compartidos para la comunicación introduce problemas que requieren una disciplina constante y no pueden ser completamente eliminados por el lenguaje.