分布式一致性算法（Paxos、Raft、ZAB）