「分布式一致性协议」从2PC、3PC、Paxos到 ZAB_大头星