从拜占庭将军问题讲起，梳理分布式系统中的共识模型，以及 Paxos 和 Raft 的基本思想。