« first day (51 days earlier)      last day (104 days later) » 

John L.
John L.
9:00 PM
Not sure I follow how it's not an inconsistency. Say that (1,1) and (4,2) are writes to the same key in a datastore. Then P3 is applying these writes backwards and replaying the logs from P3 would result in a different result than what is in (4,2). — RSHAP 6 hours ago
 
John L.
John L.
9:11 PM
Do you mean the 3 in "Receive(2,1) -> (3,2)" is different from the 8 in "Receive(2,1) -> (8,3)"? That is certainly an inconsistency. Well, that kind of inconsistency is exactly one of the mechanisms by which Lamport timestamp ensures "causal ordering".
 
John L.
John L.
9:21 PM
"A conflict in causal ordering" means an effect that happens before its cause. Given the timestamps 1,2,3,4,5,6,7,8 as described in your question, can you present an instance of some effect that happens before its cause? No, you cannot, since there is none.
 

« first day (51 days earlier)      last day (104 days later) »