# Les thories de Leslie Lamport ont-elles rsist lpreuve du temps > [! remarque]- > Le contenu de cette page est généré à partir de la transcription audio/vidéo et de la transformation du texte provenant du contenu et des liens de cette source. Source : [https://fosdem.org/2025/schedule/event/fosdem-2025-4941-was-leslie-lamport-right-/](https://fosdem.org/2025/schedule/event/fosdem-2025-4941-was-leslie-lamport-right-/) <video src=« https://video.fosdem.org/2025/janson/fosdem-2025-4941-was-leslie-lamport-right-.av1.webm » controls></video> ## Résumé et points forts : La session 'Les théories de Leslie Lamport ont-elles résisté à l'épreuve du temps' explore les contributions de Leslie Lamport aux systèmes distribués. **Introduction** Leslie Lamport est connu comme le père des systèmes distribués. Ses travaux, souvent considérés comme 'impraticables' dans les systèmes modernes, pourraient avoir économisé des millions s'ils avaient été appliqués correctement. **Concepts clés** Les concepts de concurrence, de cohérence et d'horloges sont abordés à travers des expériences pratiques. Les horloges Lamport, par exemple, permettent de gérer l'ordre des événements dans un système distribué, bien qu'elles puissent rencontrer des problèmes de synchronisation. **Applications pratiques** Les protocoles de gossip et la tolérance aux pannes Byzantines sont également explorés, montrant comment ces idées influencent les systèmes modernes, comme les systèmes cloud natifs et les blockchains. **Conclusion** La session conclut que les théories de Lamport restent pertinentes aujourd'hui, offrant des solutions robustes aux défis des systèmes distribués. ## Importance pour une transformation écosociale Les concepts de Lamport sont essentiels pour une transformation écosociale car ils permettent de construire des systèmes résilients et fiables, minimisant les risques de défaillance. Pour les designers écosociaux, les outils comme les horloges Lamport et les protocoles de gossip offrent des méthodes pour assurer la cohérence et la robustesse dans les systèmes distribués. Les défis incluent la complexité de l'implémentation et la nécessité d'une compréhension approfondie des interactions système. Les questions éthiques concernent la transparence et l'équité dans la distribution des ressources et le traitement des données. ## Slides: | | | | --- | --- | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_001.jpg\|300]] | La première diapositive introduit la question centrale de la session : Leslie Lamport avait-il raison dans ses théories sur les systèmes distribués ? La session vise à explorer les concepts fondamentaux qu'il a introduits. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_002.jpg\|300]] | Sarah Christoff, ingénieure en logiciel chez Edera et fondatrice du fan club de Leslie Lamport, et Nic Jackson, défenseur des développeurs chez HashiCorp, sont présentés comme les intervenants principaux. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_003.jpg\|300]] | L'agenda de la session comprend une leçon d'histoire, ainsi que des discussions sur le consensus, la cohérence, la concurrence, les horloges et les protocoles de gossip. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_004.jpg\|300]] | La diapositive d'introduction met en place le cadre de la discussion qui suivra, en se concentrant sur l'importance historique et actuelle des théories de Lamport. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_005.jpg\|300]] | La diapositive sur l'histoire présente le contexte historique des travaux de Leslie Lamport, en soulignant leur pertinence continue dans les systèmes distribués modernes. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_006.jpg\|300]] | L'Empereur Constantin est mentionné pour illustrer les origines historiques du problème des généraux Byzantins, une métaphore utilisée pour expliquer les défis de la cohérence dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_007.jpg\|300]] | La diapositive sur l'Empire Byzantin met en lumière le contexte historique du problème des généraux Byzantins, un concept clé dans les travaux de Lamport sur la cohérence des systèmes. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_008.jpg\|300]] | Cette diapositive présente les personnages historiques impliqués dans le problème des généraux Byzantins, chacun jouant un rôle dans l'illustration des défis de la cohérence et du consensus. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_009.jpg\|300]] | Le problème des deux généraux est introduit, soulignant les défis de la communication fiable dans les systèmes distribués, un thème central des travaux de Lamport. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_010.jpg\|300]] | Les conditions du problème des deux généraux sont expliquées, illustrant la complexité d'atteindre un consensus fiable dans un environnement incertain. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_011.jpg\|300]] | La diapositive continue l'exploration du problème des deux généraux, un exemple classique utilisé par Lamport pour expliquer les défis de la cohérence dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_012.jpg\|300]] | Le problème des généraux Byzantins est détaillé, montrant comment les messages peuvent être interceptés ou modifiés, ce qui complique l'atteinte d'un consensus. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_013.jpg\|300]] | Cette diapositive illustre comment les messages échangés entre les généraux peuvent conduire à des résultats inconclusifs, soulignant la nécessité de solutions robustes pour la cohérence. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_014.jpg\|300]] | La diapositive poursuit l'analyse du problème des généraux Byzantins, en montrant comment les messages peuvent être manipulés pour créer des incohérences. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_015.jpg\|300]] | L'illustration montre comment les généraux peuvent parvenir à un consensus malgré la présence de messages contradictoires, grâce aux solutions proposées par Lamport. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_016.jpg\|300]] | La diapositive continue d'explorer le problème des généraux Byzantins, en mettant l'accent sur les solutions possibles pour atteindre la cohérence. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_017.jpg\|300]] | Un scénario où le commandant est un traître est présenté, illustrant les défis supplémentaires posés par les acteurs malveillants dans le système. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_018.jpg\|300]] | Leslie Lamport propose une formule pour résoudre le problème des généraux Byzantins, en précisant le nombre de généraux nécessaires pour atteindre un consensus malgré les traîtres. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_019.jpg\|300]] | La diapositive détaille le nombre de généraux requis pour atteindre un consensus en fonction du nombre de traîtres, selon la formule de Lamport. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_020.jpg\|300]] | Un exemple avec six généraux est présenté, montrant comment ils peuvent parvenir à un consensus malgré la présence de traîtres. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_021.jpg\|300]] | Un scénario avec un commandant traître est exploré, montrant comment les messages peuvent être manipulés pour créer des incohérences. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_022.jpg\|300]] | Un exemple avec sept généraux est présenté, illustrant comment le consensus peut être atteint malgré les messages contradictoires. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_023.jpg\|300]] | La diapositive explique l'importance des tours de vote pour identifier les données invalides et atteindre un consensus. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_024.jpg\|300]] | Un exemple de tours de messages avec deux traîtres est présenté, montrant comment les lieutenants échangent des informations pour parvenir à un consensus. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_025.jpg\|300]] | Un exemple avec sept généraux et trois tours de vote est montré, illustrant comment le consensus peut être atteint malgré les traîtres. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_026.jpg\|300]] | Un exemple avec six généraux et trois tours de vote est montré, illustrant les défis de l'atteinte du consensus avec des traîtres. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_027.jpg\|300]] | La solution de Lamport pour atteindre le consensus est résumée, mettant en avant l'importance des tours de vote et du nombre de généraux. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_028.jpg\|300]] | La diapositive aborde la cohérence, un concept clé dans les systèmes distribués, et son importance pour la fiabilité des systèmes. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_029.jpg\|300]] | L'importance de la communication ouverte pour la réussite des sièges est soulignée, illustrant la nécessité de la cohérence dans les systèmes. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_030.jpg\|300]] | La diapositive présente Michael et John l'eunuque, des personnages clés dans l'illustration des défis de la cohérence. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_031.jpg\|300]] | Les concepts de cohérence des messages, disponibilité des soldats et tolérance aux mauvais acteurs sont présentés, illustrant les défis des systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_032.jpg\|300]] | Les différents modèles de cohérence, y compris la cohérence éventuelle, faible, forte et séquentielle, sont expliqués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_033.jpg\|300]] | Un exemple de cohérence éventuelle est présenté, montrant comment les messages peuvent être reçus de manière incohérente mais finir par converger. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_034.jpg\|300]] | Un exemple de cohérence faible est présenté, illustrant les défis de la réception incohérente des messages. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_035.jpg\|300]] | Un exemple de cohérence forte est présenté, montrant comment les messages peuvent être reçus de manière cohérente et fiable. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_036.jpg\|300]] | La cohérence forte séquentielle est expliquée, montrant comment l'ordre des messages peut être maintenu malgré les incohérences temporaires. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_037.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_038.jpg\|300]] | La diapositive aborde la concurrence, un concept clé dans les systèmes distribués, et son importance pour la fiabilité des systèmes. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_039.jpg\|300]] | Sarah Christoff et Leslie Lamport sont comparés, mettant en avant les similitudes dans leur approche de la concurrence. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_040.jpg\|300]] | La question 'Qu'est-ce qu'un calcul ?' est posée, introduisant le concept de séquences d'étapes dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_041.jpg\|300]] | Un calcul est défini comme une séquence d'étapes, un concept clé pour comprendre la concurrence dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_042.jpg\|300]] | La question 'Qu'est-ce qu'une étape ?' est posée, introduisant le concept de transitions d'état dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_043.jpg\|300]] | Une étape est définie comme une transition d'un état à un autre, un concept clé pour comprendre la concurrence dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_044.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_045.jpg\|300]] | Le concept d'invariance est introduit, soulignant son importance pour la compréhension de la concurrence. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_046.jpg\|300]] | Les invariants de base et inductifs sont expliqués, illustrant comment ils peuvent être utilisés pour atteindre des états cohérents. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_047.jpg\|300]] | Une citation de Leslie Lamport sur l'importance de l'invariance pour comprendre la concurrence est présentée. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_048.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_049.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_050.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_051.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_052.jpg\|300]] | Les horloges Lamport sont introduites, un outil clé pour gérer l'ordre des événements dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_053.jpg\|300]] | La diapositive aborde l'importance des horloges et de l'ordre des événements dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_054.jpg\|300]] | Les horloges Lamport sont expliquées, montrant comment elles peuvent être utilisées pour synchroniser les événements dans un système distribué. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_055.jpg\|300]] | Les règles de fonctionnement des horloges Lamport sont détaillées, montrant comment elles peuvent être utilisées pour gérer l'ordre des événements. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_056.jpg\|300]] | Les limitations des horloges Lamport sont discutées, notamment leur incapacité à garantir l'ordre des événements en cas de concurrence. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_057.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_058.jpg\|300]] | La concurrence et les horloges Lamport sont abordées, montrant comment elles peuvent être utilisées pour gérer l'ordre des événements. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_059.jpg\|300]] | Les tiebreaks pour les horloges Lamport sont expliqués, montrant comment ils peuvent être utilisés pour résoudre les conflits d'ordre des événements. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_060.jpg\|300]] | Les horloges vectorielles sont introduites, offrant une solution alternative pour gérer l'ordre des événements dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_061.jpg\|300]] | Les protocoles de gossip sont introduits, illustrant leur rôle dans la diffusion de l'information dans les systèmes distribués. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_062.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_063.jpg\|300]] | Le fonctionnement des protocoles de gossip est expliqué, montrant comment l'information se propage dans un réseau distribué. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_064.jpg\|300]] | Le fonctionnement des protocoles de gossip est expliqué, montrant comment l'information se propage dans un réseau distribué. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_065.jpg\|300]] | Le fonctionnement des protocoles de gossip est expliqué, montrant comment l'information se propage dans un réseau distribué. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_066.jpg\|300]] | Le fonctionnement des protocoles de gossip est expliqué, montrant comment l'information se propage dans un réseau distribué. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_067.jpg\|300]] | | | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_068.jpg\|300]] | Des exemples de défaillances Byzantine sont présentés, illustrant les défis des systèmes distribués modernes. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_069.jpg\|300]] | La réponse à la question centrale de la session est donnée : Oui, Leslie Lamport avait raison. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_070.jpg\|300]] | Les remerciements sont exprimés aux participants, avec des informations de contact pour les intervenants. | ![[FOSDEM 2025/assets/Was-Leslie-Lamport-Right/preview_071.jpg\|300]] | Les références aux travaux de Leslie Lamport et d'autres chercheurs sont fournies, offrant des ressources supplémentaires pour l'étude des systèmes distribués. ## Liens [Slides](https://fosdem.org/2025/events/attachments/fosdem-2025-4941-was-leslie-lamport-right-/slides/238619/Was_Lesli_cUfelHW.pdf) [Video recording (AV1/WebM)](https://video.fosdem.org/2025/janson/fosdem-2025-4941-was-leslie-lamport-right-.av1.webm) [Video recording (MP4)](https://video.fosdem.org/2025/janson/fosdem-2025-4941-was-leslie-lamport-right-.av1.mp4)