Grundidee der Lamportuhr ist die Happened-before Relation
Implementierung von lokalen (d.h. prozeßspezifischen) logischen Uhren
Sind a und b Ereignisse im gleichen Prozeß und a ereignet sich vor b, dann
gilt:
a → b (a happened before b)
Ist a ein Sendeereignis in einem Prozeß und b das zugehörige
Empfangsereignis in einem anderen Prozeß, dann gilt:
a → b. (Endliche Zeit
zur Nachrichtenübermittlung nötig!)
rauf zurück ----- Seite 01 von 5 ----- vor
Sandra Ruske und Stefan Schumacher
WS 2003/2004, Verteilte Systementwicklung
$Header: /home/daten/cvs/VSE-ScheinWS03/lamport/lamport01.html,v 1.4 2004/04/20 20:08:21 stefan Exp $