Questions tagged [consistency-model]
The consistency-model tag has no usage guidance.
3
questions
0
votes
0
answers
14
views
Memory ordering and RMW instruction definitions
The typical definition of an RMW instruction with e.g. sequential consistency is an instruction where no memory operation can happen between the load and the store in the global memory order.
Is there ...
- 111
3
votes
0
answers
31
views
Proof that state-based (convergent) CRDTs are causally-consistent
Conflict-Free Replicated Datatypes (CRDTs) are a class of distributed data structures where replica states are allowed to temporarily diverge, but will eventually converge (in the absence of network ...
- 263
3
votes
1
answer
329
views
Lamport Timestamps and Causality
I'm having trouble understanding lamport timestamps in practice and how they guarantee causal ordering.
Definitions
Lamport defines the "happens before" relationship in his paper. He states ...
- 133