Lamport Timestamp
Lamport-Zeitstempel implementieren eine kausale Halbordnung mit einem monoton wachsenden Zähler plus Nachrichten-Mitnahme; die Grundlage verteilter Ereignisordnung.
Zweck
Eine leichte kausale Ordnung liefern und den Genauigkeitsunterschied zu Vektoruhren verstehen.
Mechanismus
Lokales Ereignis: L = L + 1. Nachricht senden: L anhängen. Empfangen: L = max(L, msg.L) + 1. Garantiert: Wenn a b kausal vorausgeht, dann L(a) < L(b) — aber nicht umgekehrt (schwächer als Vektoruhren).
Anwendungsfälle
- Verteilte Ereignisordnung
- Kausale Halbordnung
- Lamport-Uhren