Paxo算法

假设有一组可以提出提案的进程集合，那么对于一个一致性算法来说需要保证一下几点：

1-在这些被提出的提案中，只有一个会被选定

2-如果没有提案被提出，那么就不会有被选定的提案

3-当一个提案被选定后，进程应该可以获取被选定的提案信息

对于一致性来说，安全性需求如下：

1-只有被提出的提案才能被选定

2-只能有一个值被选定

3-如果某个进程认为某个提案被选定了，那么这个提案必须是真的被选定的那个

 

 

在该一致性算法中，有三个角色：

Proposer：

Acceptor：

Leaner：