Erweiterte Lamportzeit

Erweiterte Lamportzeit

Die erweiterte Lamportzeit bzw. erweiterte Lamportuhr ist eine Erweiterung der von Leslie Lamport entwickelten Lamport-Uhr.

Für die Lamportzeit gilt Folgendes:

LC(a) = LC(b) \not\Rightarrow a = b

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:

LC_E(A, a) < LC_E(B, b) \Leftrightarrow LC(a) < LC(b) \or (LC(a) = LC(b) \and A < B)

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):

a \Rightarrow b \Longrightarrow LC(a) < LC(b) \Longrightarrow LC_E(A, a) < LC_E(B, b)

Mit der erweiterten Lamportzeit gilt demnach die Implikation

LC(a) = LC(b) \Rightarrow a = b

Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Lamport-Zeit — Die Lamport Uhr (nach dem amerikanischen Mathematiker und Informatiker Leslie Lamport) ist eine Softwarekomponente (oder ein Protokoll) zum Zuweisen von eindeutigen Zeitstempeln an Nachrichten. Sie ist also eine Logische Uhr, die es erlaubt, den… …   Deutsch Wikipedia

  • Lamport Zeit — Die Lamport Uhr (nach dem amerikanischen Mathematiker und Informatiker Leslie Lamport) ist eine Softwarekomponente (oder ein Protokoll) zum Zuweisen von eindeutigen Zeitstempeln an Nachrichten. Sie ist also eine Logische Uhr, die es erlaubt, den… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”