向量时钟的次序为.ppt

第二部分 分布式算法第八次课 中国科学技术大学计算机系 国家高性能计算中心（合肥） 第4章分布式系统中的计算模型 概述 分布式系统计算模型的复杂性 系统由并发执行部件构成 系统中无全局时钟 必须捕捉系统部件可能的失效 对策 因果关系（Causality） 一致状态（Consistent states） 全局状态 §4.1 基本知识 协议（Protocol） 协议中的控制语句 1.Send（destination, action; parameters） destination：处理器抽象。实用中是通信实体的地址： 机器名，机器的端口号(即1个socket地址) action： 控制msg，希望接收者采取的动作 parameters：参数集合 假定： msg发送是无阻塞、可靠的（语义类似于TCP套接字）； 有时假定较弱的msg传递层（等价于UDP）。 §4.1 基本知识 2.接收msg 接收msg可推广至接收事件，引起事件的原因是： 外部msg、超时设定、内部中断 事件在处理前，一般是在缓冲区(如事件队列)中，若一处理器想处理事件，它必须执行一个声明处理这些事件的线程。 例如，一个节点通过执行下述代码等待事件A1, A2,..., An waiting for A1, A2,..., An ：//声明 A1（Source; parameters） Code to handle A1 …. An（Source; parameters） Code to handle An 当p执行send(q, A1; parameters)且q执行上述代码时，q将最终处理由p发送的msg §4.1 基本知识 3.超时 当怀疑远程处理器失效时，可通过超时检测来判定： ①当T秒后仍未收到P的类型为event的msg时，执行指定的动作 waiting until P sends (event; parameters), timeout=T on timeout timeout action ②仅当收到一个响应msg时才采取动作，超时不做任何动作 waiting until P sends (event; parameters), timeout=T on timeout； if no timeout occurred { Successful response actions } §4.1 基本知识 3.超时 ③处理器等待响应T秒 若处理器在等待开始后T秒内没响应，则等待结束，协议继续 waiting up to T seconds for (event; parameters) msgs Event: msg handling code §4.2 因果关系 分布式系统为何缺乏全局的系统状态？ 1.非即时通信 A和B同时向对方喊话 他们都认为是自己先喊话 C听到两人是同时喊话 结论：系统的全局状态依赖于观察点 原因： 传播延迟 网络资源的竞争 丢失msg重发 §4.2 因果关系 2.相对性影响 假设张三和李四决定使用同步时钟来观察全局状态： 他们约定下午5点在某餐馆会面，张三准时到达，但李四在一个接近光速的日光系统中游览。 张三在等待李四1小时后离开餐馆，而李四在自己的表到达5点时准时达到餐馆，但他认为张三未达到。 因为大多数计算机的实际时钟均存在漂移，故相对速度不同，时钟同步仍然是一个问题。 结论：使用时间来同步不是一个可靠机制。 §4.2 因果关系 3.中断 假设张三和李四在同一起跑线上赛跑，信号为小旗，前两个问题可以忽略，但是… 即使可忽略其他影响，也不可能指望不同的机器会同时做出某些反应。因为现代计算机是一个很复杂的系统：CPU竞争、中断、页错误等，执行时间无法预料。 结论：不可能在同一时刻观察一个分布式系统的全局状态 必须找到某种可以依赖的性质： 时间回溯 因果相关 §4.2 因果关系 假设分布式系统构成： P＝{P1, P2,.., Pn}：处理器集合 E：全体事件的集合 Ep?E, Ep表示发生在p上的所有事件 次