paxos整合mysql_Mysql Mgr与Paxos协议

Paxos协议是用来解决分布式事务分歧的，以Mgr的多个节点为例，如果多个节点只有一个写节点(主)，是不存在分布式事务的；如果多个节点同时写入，就可能会有分歧，在同一时刻A节点要修改账户增加100块，B节点同时要修改账户增加200块，这个账户就会有疑惑，到底是听A的还是听B的，还是两个同时听还是干脆两个都不听，这里有矛盾了，因此Paxos分布式协议就可以完美的解决这个分歧。

先看看Paxos的原始定义：

1.Only a value that has been proposed may be chosen,只有被提出(Propose)的值才可能被最终选定(Chosen)

2.Only a single value is chosen, and 只有一个值会被选定

3.A process never learns that a value has been chosen unless it actually

has been. 进程只会获知到已经确认被选定(Chosen)的值

这一段晦涩难懂，在研读完Mysql Mgr源码之后，我来根据Mgr Xcom的协议把这段话翻译一下：Mgr多个节点初始状态是一致的，如果不一致可以通过clone插件重置为一致状态。

多写模式下，任何一个节点都可以提议修改状态机，既从一个一致状态转换到另一个一致状态。

如果要修改状态机，必须获得一个提议号，提议号单调递增，一致状态的推进严格遵循提议号，前一个提议的状态更改未完成，不能提前执行和应用下一个提议。

一个提议，根据多数派协议来获得批准，不同节点相同的提议号以票号大的提议为准，最终所有节点学