1.3.5.1. Message Ordering
Prev 1.3.5. Multicast Ordering Next

1.3.5.1. Message Ordering

Source Ordering

Each node defines local order of SEND operations

Message delivery observes union of the local orderings

Causal Ordering

Each node defines local order of SEND operations

Each node defines local order of RECV-SEND operation pairs

Message delivery semantics defines global order of SEND-RECV operation pairs

Message delivery observes transitive closure of the orderings

Total Ordering

All nodes observe the same order of SEND and RECV operations

Prev Up Next
1.3.5. Multicast Ordering Home 1.3.5.2. Lamport Clock