04 协调和协定.ppt

组播通信--全排序 全排序的ISIS算法 　 2 1 1 2 2 1 消息 2 建议的序号 P 2 P 3 P 1 P 4 3 协定的序号 3 3 组播通信--全排序 全排序的ISIS算法(序) 　 Agq: 进程迄今为止 从组g观察到的最大的协定序号 Pgq : 进程自己提出的最大序号 进程p组播消息m到组g的算法： 　　1. p B-multicasts m, i到g， 其中i 是m的一个委员的标识符 　　2. 每个进程： (1) Pgq = max(Agq, Pgq)+1; (2)把 Pgq添加到消息 m，并把m放入保留队列; (3)用序号Pgq 回答p 3. P收集Pgq,选择最大的数a作为下一个协定序号，然后 B-multicasti,a 到g 4. g中的每个进程q置Agq: = max(Agq, a), 并把a附加到消息上。 　 组播通信--全排序 全排序的ISIS算法(序) 　　1. 正确的进程最终会对同一组序号达成一致； 　　2. 序号是单调递增的； 　　3. 不保证因果或FIFO序； 　　4. 比基于顺序者的组播有更大的延迟 　 组播通信--组重叠 全局的FIFO排序 　　如果一个正确的进程发出multicast(g,m)，然后发出multicast(g’,m’)，则两个消息被发送到g∩g’的成员。 全局的因果排序 　　如果multicast(g,m) → multicast(g’,m’) ，则g∩g’中的任何传递m’的正确进程将在m’前传递m。 组播通信--组重叠 进程对的全排序 　 如果一个正确的进程在传递发送到g’的消息m’前传递了发送到g的消息m，则g∩g’中的任何传递m’的正确进程将在m’前传递m。 全局的全排序 　 令“”是传递事件之间的排序关系。我们要求“〈”遵守进程对的全排序，并且无环。 第4章 协调和协定 简介 分布式互斥 选举 组播通信 共识和相关问题 小结 共识和相关问题 简介 分布式系统中的协定问题 　 - 互斥：哪个进程可以进入临界区 - 全排序组播：组播消息的顺序 　 - 拜占庭将军：进攻还是撤退 共识问题(consensus) 　 - 一个或多个进程提议了一个值后，应达成一致意见 - 共识问题、拜占庭将军和交互一致性问题 故障模型 　- 进程崩溃故障、拜占庭进程故障 共识和相关问题 共识问题定义 符号 　 - pi: 进程i - vi: 进程pi的提议值 　 - di: 进程pi的决定变量 　 共识和相关问题 3个进程的共识问题示例 　 Consensus algorithm P1 P3 P2 d1:=proceed d2:=proceed V1:=proceed V2:=proceed V3:=abort (Crashes) 共识和相关问题 共识算法的基本要求 　 - 终止性 　　每个正确的进程最终设置它的决定变量 - 协定性 　　如果pi和pj是正确的且已进入决定状态，那么di=dj ，其中i,j=12,…N。 　 - 完整性 　　如果正确的进程都提议了同一个值，那么处于决定状态的任何正确进程已选择了该值。 　 共识和相关问题 算法 　 - 每个进程组播它的提议值 - 每个进程收集其它进程的提议值 　 - 每个进程计算V = majority (v1, v2, …, vN) 　　majority()函数为抽象函数，可以是max()、min()等等 算法分析 　 - 终止性 　由组播操作的可靠性保证 　 - 协定性和完整性 　　由majority()函数定义和可靠组播的完整性保证　 共识和相关问题 拜占庭将军问题(byzantine generals) 问题描述 　 - 3个或更多的将军协商是进攻还是撤退 - 一个或多个将军可能会叛变 　 - 所有未叛变的将军执行相同的命令 与共识问题的区别 　　每个进程(将军)都提议一个值 算法要求 　 - 终止性 - 协定性　 　 - 完整性 共识和相关问题 交互一致性(interactive consistency) 就一个值向量达成一致 　 - 决定向量: 向量中的每个分量与一个进程的值对应 算法要求 　 - 终止性 每个正确进程最终设置它的决定变量 - 协定性 所有正确进程的决定向量都相同　 　 - 完整性 如果进程pi是正确的,那么所有正确的进程都把vi作为他们决定向量中第i个分量. 共识和相关问题 共识问题与其它问题的关联 目的 重用已有的解决方案 问题定义 　 - 共识问题C Ci(v1,v2,…vN): 返回进