假设有一组可以提出提案的进程集合，那么对于一个一致性算法来说需要保证一下几点：
1-在这些被提出的提案中，只有一个会被选定
2-如果没有提案被提出，那么就不会有被选定的提案
3-当一个提案被选定后，进程应该可以获取被选定的提案信息
对于一致性来说，安全性需求如下：
1-只有被提出的提案才能被选定
2-只能有一个值被选定
3-如果某个进程认为某个提案被选定了，那么这个提案必须是真的被选定的那个
在该一致性算法中，有三个角色：
Proposer：
Acceptor：
Leaner：