AI
推荐
模板社区
专题
登录
免费注册
首页
流程图
详情
Paxos-P2c-2证明图示
2019-10-28 18:16:29
0
举报
分享方式
使用 (￥10)
paxos-p2c证明2
paxos
paxos证明
p2c
p2c证明
模版推荐
作者其他创作
大纲/内容
S_m ∈ S_{n-1}
S=S_m U S_m+1 U S_m... U S_n-1 U 其它
$S_m...$
编号m+1到n-1议案均为v_a
$m$ ∈ S 且 $m$ 不属于 S_{n-1}
$S_m$
S_{n-1}值全部为v_a
$S_n-1$
S
S_{n-1}的提议编号在m与n-1之间
S_{n-1}=所有接收了v_a的Acceptor完整集合
www.monkeygeek.cn
4.S_u最大提案必定是v_a
$S_m+1$
3.S_n中最大提案必定在S_u中
成功证明:$n > m+1$时，证明$v_b = v_a$
假设条件
1.S_n与S_{n-1}一定存在交集S_u
S:Acceptor完整集合
$S_n$
每一个集合均超过半数
m<m+1<m...<n-1<n
由P2c-2可以得出:
收藏
立即使用
RabbitMQ中SimpleMessageListenerContainer
收藏
立即使用
两遍式确认-利用真实提交
收藏
立即使用
RPA返回消息处理标准化时序图
收藏
立即使用
COSCO-RPA订舱流程案例
MonkeyGeek
职业：项目经理
去主页
Collect
Get Started
Paxos-P2c-1证明图示
Collect
Get Started
P2P系统架构
Collect
Get Started
P2
Collect
Get Started
p2p还款
评论
0
条评论
下一页
Document
