分布式计算——笔记（五）——故障处理

可靠通信

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

共识

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

---

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

---

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

恢复