樸素Paxos理論介紹（一致性算法）

Paxos算法主要通過定義約束保證一致性，即只要算法滿足一定的約束，就能保證一致性。 定義Paxos符號： 約束一：提案編號唯一。 約束二：多數派提案才成功。 約束三：當需要提案B時，如果提案多數派中有人已經提議了B*(提案編號B* < B)，則maxVote = B*（保證一致性的關鍵） 約束四： 保證提案編號的順序，即如果提案B，並且之前已經有B* > B ， 則拋棄編號爲B的提案。 位了保證

>>阅读原文<<