Skip to main content
Share Your Experience: Take the 2024 Developer Survey

Questions tagged [consistency-model]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers

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

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

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

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