New answers tagged

2

I'm stuck on the same detail and luckily found your post. Agree that the word "matching" in "Each response is immediately followed by a matching invocation" should be omitted. The evidence is that the word is omitted in the paper, Axioms for concurrent objects, by the same authors. Link: http://www.cs.cmu.edu/~wing/publications/...


2

Summary: Lamport timestamps and vector clocks are both logical clocks, and both provide a total ordering of events consistent with causality. Vector clocks allow you to determine if any two arbitrarily selected events are causally dependent or concurrent. Lamport timestamps cannot do this. Lamport timestamps are more compact. Vector clocks require overhead ...


Top 50 recent answers are included