EMZETT.Kurz erklärt
In verteilten Systemen gehen Uhren unterschiedlich. Logische Uhren (Lamport) und Vektoruhren ordnen Ereignisse nach Ursache und Wirkung statt nach der Uhrzeit.
Genauer
Eine Lamport-Uhr ist ein Zähler, der bei jedem Ereignis und bei jeder empfangenen Nachricht erhöht wird. Sie garantiert: Wenn A vor B kam, ist Zeit(A) < Zeit(B). Umgekehrt gilt das nicht. Vektoruhren speichern pro Knoten einen Zähler und erkennen echte Gleichzeitigkeit.