时间和全局状态.pptVIP

向量时钟 克服Lamport时钟的缺点：若L(e) L(e’)不能推出则e?e’。 每个进程维护它自己的向量时钟Vi VC1:初始情况下，Vi[j]=0,i,j=1,2,...N. VC2:在pi给事件加时间戳之前，设置Vi[i]= Vi[i]+1。 VC3:pi在它发送的每个消息中包括t＝Vi。 VC4：当pi接收到消息中的时间戳t时，设置Vi[j]=max(Vi[j],t[j]),j=1,2,...,N。 第三十页，共六十二页。 向量时钟 第三十一页，共六十二页。 Host 1 Host 2 Host 3 Host 4 0,0,0,0 Vector logical clock Message (vector timestamp) Physical Time 0,0,0,0 0,0,0,0 0,0,0,0 (1,0,0,0) 1,0,0,0 1,1,0,0 2,0,0,0 2,0,1,0 (2,0,0,0) 2,0,2,0 2,0,2,1 (2,0,2,0) 1,2,0,0 2,2,3,0 (1,2,0,0) 4,0,2,2 4,2,4,2 (4,0,2,2) 2,0,2,2 3,0,2,2 (2,0,2,2) 2,0,2,3 4,2,5,3 (2,0,2,3) n,m,p,q 向量时钟 第三十二页，共六十二页。 第3章 时间和全局状态 简介 时钟、事件和进程状态 同步物理时钟 逻辑时间和逻辑时钟 全局状态 分布式调试 小结 第三十三页，共六十二页。 全局状态 观察全局状态的必要性 分布式无用单元的收集 -基于对象的引用计数 -必须考虑信道和进程的状态 分布式死锁检测 观察系统中的“等待”关系图中是否存在循环 p1 消息 无用 对象 对象 引用 p2 等待 等待 p1 p2 第三十四页，共六十二页。 分布式终止检测 与进程的状态有关——“主动”或“被动” 分布式调试 需要收集同一时刻系统中分布式变量的数值 全局状态 激活 被动的 p1 p2 被动的 第三十五页，共六十二页。 全局状态 全局状态和一致割集 观察进程集的状态——全局状态非常困难 　　根源：缺乏全局时间 进程的历史 　　hi = ei0, ei1, ei2 … 进程历史的有限前缀 　　hi k= ei0, ei1, …, eik 全局历史——单个进程历史的并集 　　H = h1 ? h2 ?… ? hN 第三十六页，共六十二页。 全局状态 进程状态 　　 sik : 进程pi在第k个事件发生之前的状态 全局状态——单个进程状态的集合 　　S = (s1, s2, … sN) 割集——系统全局历史的子集 　　C = h1c1, h2c2… h3c3 割集的一致性 割集C是一致的: 对于所有事件e?C, f ? e ? f ? C 第三十七页，共六十二页。 全局状态 割集示例 m 1 m 2 p 1 p 2 物理时间 e 1 0 一致的割集 不一致的割集 e 1 1 e 1 2 e 1 3 e 2 0 e 2 1 e 2 2 第三十八页，共六十二页。 全局状态 一致的全局状态——对应于一致割集的状态 　　S0 ? S1 ? S2 ? … 走向(run) -全局历史中所有事件的全序 -与每个本地历史顺序一致 -不是所有的走向都经历一致的全局状态 线性化走向 -所有的线性化走向只经历一致的全局状态 -若存在一个经过S和S’的线性化走向，则状态S’是从S可达 第三十九页，共六十二页。 全局状态 Chandy和Lamport的“快照”算法 目的 　　捕获一致的全局状态 假设 - 进程和通道均不会出现故障 - 单向通道，提供FIFO顺序的消息传递 - 进程之间存在全连通关系 - 任一进程可在任一时间开始全局拍照 - 拍照时，进程可继续执行，并发送和接收消息 第四十页，共六十二页。 全局状态 算法基本思想 - 接入通道+外出通道 - 进程状态+通道状态 - 标记消息 标记接收规则：强制进程在记录下自己的状态之后但在它们发送其他消息前发送一个标记。 标记发送规则：强制没有记录状态的进程去记录状态 第四十一页，共六十二页。 全局状态 算法伪码(一) 　 进程pi的标记接收规则 pi接收通道c上的标记消息： if (pi还没有记录它的状态) pi记录它的进程状态； 将c的状态记成空集；