Paxos-P2c-1证明图示
2019-10-28 18:16:22 0 举报
登录查看完整内容
paxos-p2c证明1
作者其他创作
大纲/内容
S
S=S_m U S_n (并集) U 其它
$S_n$
3.S_n中v-b将取自m对应v_a
$S_m$
成功证明:$n = m+1$时，证明$v_b = v_a$
S_u
www.monkeygeek.cn
1.S_n中最大编号来自S_u
2.S_u中最大编号==m
S:Acceptor完整集合
S_u=S_m ∩ S_n (交集)
由P2c-2可以得出:
4.S_n中v_b==v_a
职业：项目经理
0 条评论
回复 删除
下一页
