朴素Paxos理论介绍（一致性算法）

Paxos算法主要通过定义约束保证一致性，即只要算法满足一定的约束，就能保证一致性。 定义Paxos符号： 约束一：提案编号唯一。 约束二：多数派提案才成功。 约束三：当需要提案B时，如果提案多数派中有人已经提议了B*(提案编号B* < B)，则maxVote = B*（保证一致性的关键） 约束四： 保证提案编号的顺序，即如果提案B，并且之前已经有B* > B ， 则抛弃编号为B的提案。 位了保证

>>阅读原文<<