Consistency Theory

本文介绍一篇事务一致性模型论文的形式化框架，并解释原子可见性等概念的直观含义。

本文从 CAP 理论与 ACID 性质出发，讨论分布式存储系统中一致性、可用性与事务设计的取舍。

本文介绍 Raft 的选主与日志复制机制，并对其与 Paxos 在理解和实现上的差异做了讨论。

本文概述 Paxos 的核心 safety 性质、提议流程，以及单条法案共识问题的基本推导。