PPT Slide

Event Ordering

• “Happened Before” relation (--> )

If Ei and Ej are two events of the same process, then

Ei --> Ej if i < j such as P1 --> P2 --> P3

• Sender and Receiver

Send event always happen before receive event

such as

P1 --> Q2

• The relation is transitive

Previous slide

Next slide

Back to first slide

View graphic version