Lamport-Uhr
Eine logische Uhr ohne synchronisierte Zeit — zählt Ereignisse, um in verteilten Systemen eine "happened-before"-Ordnung herzustellen.
Aus Leslie Lamports Paper "Time, Clocks, and the Ordering of Events" von 1978. Die Regeln: (1) jedes Ereignis erhöht den lokalen Zähler, (2) gesendete Nachrichten tragen den Zählerwert, (3) der Empfänger setzt seinen Zähler auf max(eigener, empfangener) + 1. Das garantiert: Geht Ereignis A "happened-before" Ereignis B voraus, trägt A einen niedrigeren Lamport-Zeitstempel. Die Einschränkung: Es entsteht keine totale Ordnung, gleichzeitige Ereignisse lassen sich nicht unterscheiden. Genau dafür gibt es Vektoruhren. Grundlage praktisch jedes verteilten Konsensalgorithmus.