Paxos算法逻辑设计与实现.pdfVIP

paxos异步传输

提案编号

实例ID提案者*执行准备

网络输出

*执行准备回复网络输出

执行接受网络输出

观察者执行接受回复网络输入；写入接受日志

执

行新选定值网络输出

接受者

*执行准备网络处理

执行接受网络处理；

接受日志

学习者

执行新选定值网络输入；写入paxos日志

*执行学

习网络请求

*处理络请求时；paxos日

志

prepare阶段增大提案编号

使用+1的提案编号与实例ID发送prepare消息

仅

当提案编号大于本机且实例ID大于已执行ID时同意，否则

prepare针对

不小于实例ID的所有实例

accept阶段处理已通过prepare的

paxos异步传输

proposenumber

Instanceid

Proposer

*dopreparenet-out

*dopreparereplynet-out

doacceptnet-out

Watcher

doacceptreplynet-