Sistemas concurrentes: principios y patrones

Mientras que el libro de Herlihy y Shavit se enfoca en los fundamentos algorítmicos y estructuras de datos para la programación multihilo, este libro aborda el desafío desde una perspectiva de diseño de software de más alto nivel, usando patrones arquitectónicos. La conexión es no obvia porque va más allá de los mecanismos de bajo nivel para explorar estrategias de diseño concurrentes a gran escala.

El libro de Herlihy y Shavit profundiza en la sincronización a nivel de multiprocesador compartido. Este libro, de Tanenbaum y Van Steen, explora los conceptos filosóficos y problemas inherentes a la coordinación en sistemas donde los componentes no comparten memoria, lo que representa una extensión conceptual profunda de los retos de concurrencia y consistencia.

Mientras que 'Sistemas concurrentes' se enfoca en la implementación de algoritmos y estructuras de datos concurrentes, este libro aborda la concurrencia desde una perspectiva más formal, enseñando cómo modelar y razonar sobre el comportamiento de sistemas concurrentes para garantizar su corrección, conectando con la necesidad de principios sólidos que subyacen a las implementaciones efectivas.

Aunque no es un libro, este artículo clásico de Lamport es fundamental para la comprensión de la concurrencia y los sistemas distribuidos, un área directamente relacionada con el libro de Herlihy y Shavit. Es 'oscuro' en el sentido de que los lectores pueden no reconocer su importancia fundacional por solo ver el título del libro, pero su influencia en la teoría de la concurrencia es monumental, proporcionando una perspectiva temprana y crucial sobre cómo manejar el tiempo y la causalidad en sistemas con múltiples procesos, a menudo sin una presencia dominante en las listas de 'mejores libros'.

Raynal es una figura prominente en la investigación de sistemas distribuidos y concurrencia. Su libro ofrece una perspectiva europea influyente sobre el tema, que complementa bien el enfoque del libro de Herlihy y Shavit, al tiempo que es menos conocido en el ámbito anglófono general, a pesar de su rigor y amplitud en la teoría y la práctica de la programación concurrente.

Al igual que Herlihy y Shavit estructuran su libro presentando principios antes de la práctica y abordando problemas fundamentales de concurrencia, Knuth dedica su obra a construir conocimiento desde los fundamentos matemáticos y abstractos de los algoritmos y estructuras de datos. Ambos libros comparten una estructura pedagógica que va de la teoría abstracta a la implementación detallada, enfatizando la comprensión profunda de los mecanismos subyacentes.