Horloge de Lamport
Une horloge logique sans temps synchronisé — elle compte les événements pour produire un ordre de causalité (« happened-before ») dans les systèmes distribués.
Issue de l'article de Leslie Lamport en 1978, « Time, Clocks, and the Ordering of Events ». Règles : (1) chaque événement incrémente le compteur local, (2) les messages envoyés transportent la valeur du compteur, (3) le récepteur fixe son compteur à max(le sien, celui reçu) + 1. Garantit que si l'événement A « précède » l'événement B, A porte un horodatage Lamport inférieur. Limite : ne donne pas un ordre total (impossible de distinguer des événements concurrents) ; c'est ce que corrigent les vector clocks. Fondamental pour tous les algorithmes de consensus distribué, et l'ancêtre direct d'horloges plus riches comme la Hybrid Logical Clock.