De la panadería a los sistemas distribuidos

Leslie Lamport

Leslie Lamport es un científico en la industria, un rara avis cuyas contribuciones han tenido un impacto tan sutil como importante. Lamport fue capaz de resolver problemas básicos en la construcción de los sistemas distribuidos y concurrentes de forma elegante e intuitiva lo que le hizo merecedor del Premio Turing en 2013. Con el crecimieno de las infraestructuras informáticas, sus contribuciones han cobrado cada vez más relevancia, siendo sus ideas la base para resolver grandes problemas de enorme actualidad como la replicación de sistemas, la verificación de los mismos o la tolerancia a fallos. Y por si no fuera poco, creó el lenguaje de edición de textos LaTeX, una herramienta fundamental en el mundo académico.

Y para desentrañar a este enorme personaje, contamos de nuevo con la inmejorable presencia del Dr. Manuel Carro, profesor de la Universidad Polítécnica de Madrid, director del Instituto IMDEA Software.

Enlaces

Estos son los enlaces a algunos de los temas interesantes de los que hemos hablado:

  • Según la descripción de ACM, Leslie Lamport recibió el Premio Turing en 2013 por sus contribuciones fundamentales a la teoría y la práctica de los sistemas distribuidos y concurrentes. En particular la invención de conceptos tales como la causalidad y los relojes lógicos, las propiedades de seguridad y viveza, las máquinas de estado replicadas y la consistencia secuencial.
  • El algoritmo de la panadería es una de las grandes contribuciones de Lamport. Para apreciarlo hay que ir más allá de la semejanza con un problema que aparentemente es simple.
  • Lamport desarrolló la lógica temporal de acciones (TLA) que permitió describir sistemas distribuidos gracias a su capacidad de expresar el orden temporal entre distintas acciones.
  • El artículo sobre PAXOS tardó 9 años en publicarse en ACM Transactions on Computer Systems.
  • Lamport creó LaTeX, una evoluciónd de TeX que ha facilitado la creación de textos de todo tipo.

Si te gusta nuestra música puedes escucharla aquí:

¡Síguenos!

Si quieres seguir nuestro programa desde vuestro reproductor de podcasts preferido, podéis suscribiros en iTunes, Tapewrite, iVoox o en nuestro RSS.

Además podéis escribirnos a hola@tecnologeria.com o contactar con nosotros a través de Facebook o Twitter o nuestro canal en Telegram, donde podrás estar informado de cuándo grabamos, podrás venir a vernos en directo o influir en el contenido del programa.

21 septiembre, 2018

Publicado en: 1BIT de memoria, Audios

Etiquetas: , ,

Deja tu comentario