Descripción
Este libro es una celebración del trabajo de Leslie Lamport sobre concurrencia, entrelazado 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 los multiprocesadores paralelos y distribuidos son abundantes.
Sus trabajos sentaron las bases formales para los cálculos concurrentes ejecutados por ordenadores interconectados. Algunos de los algoritmos se han convertido en práctica de ingeniería estándar para la computación distribuida tolerante a fallos, es decir, sistemas distribuidos que siguen funcionando correctamente a pesar de los fallos de los componentes individuales. También desarrolló un corpus sustancial de trabajo sobre la especificación y verificación formal 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 de este 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 cubren nociones atemporales introducidas por Lamport: el algoritmo de la Panadería, los registros compartidos atómicos y la consistencia secuencial; la causalidad y el tiempo lógico; el Acuerdo Bizantino; la replicación de máquinas de estado y Paxos; la lógica temporal de acciones (TLA). La biografía profesional narra la carrera de Lamport, proporcionando el contexto en el que surgió y abrió nuevos caminos su trabajo, 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 detrás de los logros, en particular al propio Lamport, y además a los colegas que lo rodearon, que lo inspiraron, colaboraron y lo ayudaron a impulsar un impacto mundial. La Parte II consta de una selección de los trabajos más influyentes de Leslie Lamport.
Este libro aborda una vida de contribuciones de Leslie Lamport al campo de la concurrencia y la extensa influencia que tuvo en las personas que trabajan en el campo. Será de valor para los historiadores de la ciencia, y para los investigadores y estudiantes que trabajan en el área de la concurrencia y que estén interesados en leer sobre el trabajo de uno de los investigadores más influyentes en este campo.
Autor: Dahlia Malkhi
Editorial: ACM Books
Publicado: 16/09/2019
Páginas: 365
Tipo de encuadernación: Tapa blanda
Peso: 1.38 libras
Tamaño: 9.25h x 7.50w x 0.76d
ISBN13: 9781450372718
ISBN10: 1450372716
Categorías BISAC:
- Informática | Sistemas distribuidos | General
- Informática | Ciencias de la computación
- Informática | Arquitectura informática