Paper Notes: [CONCUR'15] A Framework for Transactional Consistency Models with Atomic Visibility
This article introduces the formal framework of a paper on transactional consistency models and explains the intuitive meaning of concepts …
Tags
Consistency Theory
Posts gathered under this term.
- Entries
- 4
CAP, ACID, What Can We Do?
Starting from the CAP theorem and ACID properties, this article discusses the trade-offs among consistency, availability, and transaction d…
Paper Note: [USENIX ATC'14] In Search of an Understandable Consensus Algorithm (Raft)
This article introduces Raft's leader election and log replication mechanisms, and discusses how it differs from Paxos in understandability…
Paper Notes: Paxos Made Simple
This article summarizes Paxos's core safety properties, proposal process, and the basic derivation of the single-decree consensus problem.