https://blog.shuaizhang.cc/en-us/tags/consistency-theory/Posts gathered under this term.Hugoen-USSun, 26 May 2019 23:38:22 +0000https://blog.shuaizhang.cc/en-us/posts/transactional-consistency-models/Sun, 26 May 2019 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/transactional-consistency-models/This article introduces the formal framework of a paper on transactional consistency models and explains the intuitive meaning of concepts such as atomic visibility.https://blog.shuaizhang.cc/en-us/posts/cap-acid-what-can-we-do/Sun, 20 May 2018 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/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 design in distributed storage systems.https://blog.shuaizhang.cc/en-us/posts/raft/Thu, 29 Mar 2018 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/raft/This article introduces Raft's leader election and log replication mechanisms, and discusses how it differs from Paxos in understandability and implementation.https://blog.shuaizhang.cc/en-us/posts/paxos-made-simple/Fri, 16 Mar 2018 00:00:00 +0000https://blog.shuaizhang.cc/en-us/posts/paxos-made-simple/This article summarizes Paxos's core safety properties, proposal process, and the basic derivation of the single-decree consensus problem.