Consensus Algorithm

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

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