《表1 Basic Paxos描述》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《基于Coq的Paxos形式化建模与验证》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

算法描述见表1，在经历若干轮次投票之后，若存在一个议会系统的所有Acceptors发送Accepted请求，整个系统就选出了的特定值，所有进程可以开始获取并学习这个选举结果，这个过程称为学习阶段，并未在流程表中反映.