假设有一组可以提出提案的进程集合,对于一致性算法需要保证: 提案只有一个被选中 如果没有提案,就不会有被选定的提案 当一个提案被选定后,进程可以获取提案信息 proposer,acceptor,learner