分布式计算——笔记(五)——故障处理

可靠通信

可靠组播的性质
- 有效性:发送的消息都被接收到
- 完整性:接收到的消息正确且没有收到两次
- 协定:如果一个进程传递m,其它正确的进程终将传递m

共识

  • 定义:每一个进程始于一个未决状态,并且提议集合D中的一个值;经过通信做决定后,商定使用一个最终值。
  • 要求:终止性-每一个正确的进程最终使用决定的量;协定性-每个正确进程的决定量相同;完整性-如果正确的进程提议了相同的量,最终他们都会选择这个值。
  • 解决共识问题等同于解决可靠全排序组播

  • 拜占庭将军问题
    一个独立的进程提供一个值,其它进程决定是否采取这个值。提供值的称为将军,其它为中尉。拜占庭将军问题假设进程会发生随机故障。
    对于完整性的修改:如果将军提议的值正确,其它人就会采取这个值。
    【未完待续】

异步系统无法有效达成一致

恢复

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值