Concurrencia: La obra de Leslie Lamport

Título original:

Concurrency: The Works of Leslie Lamport

Contenido del libro:

Este libro es una celebración del trabajo de Leslie Lamport sobre concurrencia, entretejido en cuatro décadas y media de una industria en evolución: desde la introducción del primer ordenador personal hasta una era en la que abundan los multiprocesadores paralelos y distribuidos.

Sus trabajos sientan las bases formales de los cálculos concurrentes ejecutados por ordenadores interconectados. Algunos de sus algoritmos se han convertido en práctica estándar de ingeniería para la computación distribuida tolerante a fallos: sistemas distribuidos que siguen funcionando correctamente a pesar de los fallos de componentes individuales. También ha desarrollado un importante corpus de trabajo sobre la especificación formal y la verificación de sistemas concurrentes, y ha contribuido al desarrollo de herramientas automatizadas que aplican estos métodos.

La Parte I consta de capítulos técnicos del libro y una biografía. Los capítulos técnicos del libro presentan una retrospectiva de las ideas originales de Lamport a cargo de expertos en la materia. A través de esta lente, se retrata su impacto duradero. Los capítulos abarcan nociones intemporales que Lamport introdujo: el algoritmo Bakery, registros atómicos compartidos y consistencia secuencial; causalidad y tiempo lógico; Acuerdo Bizantino; replicación de máquinas de estado y Paxos; lógica temporal de acciones (TLA). La biografía profesional relata la carrera de Lamport, proporcionando el contexto en el que surgió su trabajo y abrió nuevos caminos, y analiza LaTeX, quizás la contribución más influyente de Lamport fuera del campo de la concurrencia. Este capítulo da voz a las personas que están detrás de los logros, en particular al propio Lamport y, además, a los colegas que le rodearon, que le inspiraron, colaboraron y le ayudaron a impulsar su impacto mundial. La Parte II consiste en una selección de los artículos más influyentes de Leslie Lamport.

Este libro aborda toda una vida de contribuciones de Leslie Lamport al campo de la concurrencia y la amplia influencia que ejerció sobre las personas que trabajan en este campo. Será de gran utilidad para los historiadores de la ciencia, así como para los investigadores y estudiantes que trabajan en el ámbito de la concurrencia y que estén interesados en conocer el trabajo de uno de los investigadores más influyentes en este campo.