- Erweiterte Lamportzeit
-
Die erweiterte Lamportzeit bzw. erweiterte Lamportuhr ist eine Erweiterung der von Leslie Lamport entwickelten Lamport-Uhr.
Für die Lamportzeit gilt Folgendes:
Um diese Implikation zuzulassen erweitert man den Zeitstempel der Lamport-Uhr um zusätzliche Informationen, die einer totalen Ordnung unterliegen. Im Rahmen der Lamport-Uhr wäre hier der Name des Prozesses möglich. Man definiert die Uhrenbedingung der erweiterten Lamportzeit wie folgt:
Sei A ein Prozess. Dann sei LCE(A,e) die erweiterte Lamportzeit des Prozesses A für ein Ereignis e, und es gilt:
Hierdurch erhalten alle Ereignisse einen eindeutigen Zeitstempel, der einer totalen Ordnung unterliegt. Die schwache Konsistenzbedingung bleibt erhalten, denn es gilt (in der Happened-Before Notation):
Mit der erweiterten Lamportzeit gilt demnach die Implikation
Wikimedia Foundation.