Paxos-P2c-2证明图示
2019-10-28 18:16:29 0 举报paxos-p2c证明2
作者其他创作
大纲/内容
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可以得出:
职业：项目经理
0 条评论
下一页
