Questions tagged [consistency-model]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers
21 views

How does waiting 7ms and atomic clock help GCP spanner create external consistency?

My understanding why distributed transaction need synchronized clock is the following Assume NTP max drift is 250ms ...
olaf's user avatar
  • 101
0 votes
0 answers
19 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 ...
eof's user avatar
  • 111
3 votes
0 answers
33 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 ...
abeln's user avatar
  • 263
3 votes
1 answer
359 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 ...
RSHAP's user avatar
  • 133