L'algorithme de la boulangerie est un algorithme qui apporte une solution « remarquablement intuitive et naturelle » au problème d'exclusion mutuelle formulé par Dijkstra[2]. La solution précédente proposée par Dijkstra était une solution haut-niveau à un problème bas-niveau[2].
Systèmes répartis
On fait parfois référence à Lamport comme au père du calcul réparti[3]. Il formule notamment en 1979 la relation « arrivé-avant » (en anglais « happened before »), qui permet d'obtenir un ordre partiel sur les actions dans des systèmes répartis. Lamport invente également le système d'horloges qui porte son nom. Elles sont utilisées dans le cadre de la synchronisation des systèmes distribués. Il travaille également sur certains aspects cryptographiques comme les mots de passe à usage unique et d'autres problèmes liés au consensus et à la concurrence dans les réseaux. Il s'intéresse aussi au problème du consensus, notamment au protocole Paxos.
LaTeX
Cependant, Leslie Lamport est principalement connu hors de la communauté scientifique de l'informatique comme le créateur de LaTeX (basé lui-même sur TeX, de Donald Knuth), un système de mise en page de documents notamment utilisé par les scientifiques de nombreuses disciplines (informatique, mathématiques, physique, bio-informatique…) pour des documents comportant de nombreuses formules mathématiques. Depuis, le développement de LaTeX est assuré par d'autres.
Le , il reçoit le prix Turing 2013[7],[8] pour « ses contributions fondamentales théoriques et appliquées dans les systèmes distribués et concurrents, notamment en inventant des concepts tels que la causalité et les horloges logiques, […] et la cohérence séquentielle[2] ».
Bibliographie
(en) Leslie Lamport, LaTeX : a document preparation system, Addison Wesley Publishing Company, , 242 p. (ISBN9780201157901 et 020115790X)
↑ a et bMichel Raynal, « Un regard sur les apports de Leslie Lamport à travers le prix Dijkstra », Bulletin de la société informatique de France, , p. 61-65 (lire en ligne)
