Message Ordering
Matrix Clocks
Matrix[i,j] counts number of messages sent from
i to j
Matrix[me,me] is the local counter
Matrix[i,me] counts messages received from i
Messages go with the matrix, take the maximum
I can get causal order, delaying messages
until Matrix[i,me] great or equal than Message[i,me]
Except Message[sender,me] that must be
Matrix[sender,me] + 1
- 45 -