Leslie Lamport: Aportaciones

1. LESLIE
LAMPORT
Cristina Padilla, Andrea Planas, Alexia Lafuente y Erika Ruiz

2. ➔ Biografía
➔ Aportaciones científicas
● LaTex
● Algoritmo de la panadería
● Lógica temporal de acciones
● Algoritmo de Chandy-Lamport
● Firma de Lamport-Diffie
● Algoritmo de Paxos
➔ Premio Turing
➔ LaTex y BibTex
ÍNDICE

3. - Matemático y científico de la computación
estadounidense.
- Desarrolló los sistemas LaTeX y BibTeX
- Se licenció en matemáticas en 1960.
Ha trabajado en:
- Massachusetts Computer Associates.
- SRI International.
- Digital Equipment Corporation y Compaq.
- Microsoft Research.
BIOGRAFÍA

4. - Ganó el premio Turing en 2013.
- Es reconocido por su trabajo en algorítmica distribuida y en lógica
temporal.
- Formuló la relación “ocurrido antes”.
- Introdujo el algoritmo de la panadería de Lamport.
BIOGRAFÍA

5. - Realizó importantes
contribuciones con la noción de
tolerancia a fallas.
- Identificó la noción del modelo de
“Generales bizantinos”.
BIOGRAFÍA

6. APORTACIONES CIENTÍFICAS
Aportó soluciones para:
-Replicación de sistemas -
Verificación de sistemas
-Tolerancia a fallos

7. - Algoritmo de exclusión mutua diseñado para evitar que subprocesos concurrentes
ingresen a secciones críticas de código al mismo tiempo
ALGORITMO DE LA PANADERÍA

8. Variable global
Algoritmo de desempate

9. -Describe sistemas
distribuidos gracias a su
capacidad de expresar el
orden temporal entre
distintas acciones
LÓGICA TEMPORAL DE ACCIONES
(TlA)

10. -Su objetivo de obtener una instantánea global y consistente para registrarlo como un
estado global consistente
ALGORITMO DE CHANDY-LAMPORT

11. -Esquema de firma digital
FIRMA DE LAMPORT-DIFFIE

12. ALGORITMO DE PAXOS
El algoritmo de Paxos es un algoritmo para llegar a consensos en
sistemas distribuidos con cierto grado de tolerancia a fallos.
ROLES
● Cliente
● Proponente
● Aceptante
● Líder
● Aprendiz
PROPIEDADES
➢ No trivialidad.
➢ Consistencia.
➢ Vitalidad.

13. ALGORITMO DE PAXOS
FUNCIONAMIENTO DE UN
PROTOCOLO DE PAXOS BÁSICO
Dos fases:
● Fase de preparación
● Fase de aceptación

14. PREMIO TURING
Leslie Lamport recibió el Premio Turing de 2013. Este galardón es el más prestigioso
en el campo de las ciencias de la computación y está considerado como el Nobel de la
informática.

15. LATEX
Leslie Lamport fue el desarrollador inicial del
sistema de formateo de textos LaTex.
¿Qué es Latex? LaTeX es un sistema de composición de textos,
orientado a la creación de documentos escritos que
presenten una alta calidad tipográfica.

16. CARACTERÍSTICAS DE LATEX:
● -Tiene dos etápas:
○ Primera: crear mediante cualquier editor de texto
llano un archivo o fichero fuente que, con las
órdenes y comandos adecuados, contenga el texto
que queramos
○ Segunda: procesar este archivo
● Filosofía de trabajo diferente a la de los procesadores de
texto habituales.
el procesador de textos interpreta las órdenes
escritas en él y compila el documento,
dejándolo preparado para que pueda ser
enviado a la salida correspondiente, ya sea la
pantalla o la impresora

17. Bibtex da formato externo a las bibliografías de
los documentos creados con LaTeX.
BIBTEX
Lamport creó junto a Oren Patashnik en 1985 Bibtex
¿Qué es Bibtex? ¿Qué significó su aportaciön?
Su aportación hizo que se facilitase la realización de
citas bibliográfica de la presentación de esta
información

18. - https://delphipages.live/ciencias/matematicas/leslie-lamport
- https://es.wikipedia.org/wiki/Leslie_Lamport
- https://www.eldiario.es/tecnologia/diario-turing/leslie-lamport-premio-
turing_1_4972247.html
- https://ciberninjas.com/personajes-historicos/leslie-
lamport/#:~:text=Leslie%20Lamport%20naci%C3%B3%20en%20la%20ciudad%20de%
20Nueva%20York%20en%201941.&text=Lamport%20se%20gradu%C3%B3%20del%2
0MIT,1965%2C%20en%20la%20Mitre%20Corporation.
- https://es.wikipedia.org/wiki/Algoritmo_de_Paxos
- https://infotec.repositorioinstitucional.mx/jspui/bitstream/1027/214/1/Dise%C3%B1o
%20de%20un%20middleware%20tolerante%20a%20falla.pdf
- https://programmerclick.com/article/513914421/
- https://www.eldiario.es/tecnologia/diario-turing/leslie-lamport-premio-
turing_1_4972247.html
- http://museo.inf.upv.es/es/premios-alan-turing/
WEBGRAFÍA

19. FIN