03-时间和全局状态专用课件.ppt

* Sij=在进程１发生事件i以及在进程２ 发生事件j之后的全局状态 S 00 S 10 S 20 S 21 S 30 S 31 S 32 S 22 S 23 S 33 S 43 层次 0 1 2 3 4 5 6 7 分布式调试 一致全局状态网格 * 分布式调试 判定可能的? 从初始状态开始，遍历可达状态的网格。 L:=0; States:={(s01, s02, …, s0N)}; while (对所有可能的S∈States，?(s)=False) L:=L+1; Reachable:={S’: H中从一些S∈States可到达的状态∧level(S’)=L}; States:=Reachable; end while 输出“可能的?”; * ? – 层次 0 1 2 3 4 5 F F F F T F F= (?(s)=False); T=(?(s)=True) 分布式调试 ?值判定示例 ?在第 4层的状态为True＝》明确的? ?在第５层的状态为False＝》可能的? * 分布式调试 异步系统 　　开销很大，需要作O(kＮ)次比较。　 同步系统 　物理时钟：|Ci(t) － Cj(t) |D，即在范围D内同步。 同步系统中的算法改进 消息中同时携带物理时间戳和向量时间戳 测试条件 　 V(si)[i] ≧V(sj)[i] ，且si和sj能在同一时间发生 * 第3章 时间和全局状态 简介 时钟、事件和进程状态 物理时钟同步 逻辑时间和逻辑时钟 全局状态 分布式调试 小结 * 小结 时钟偏移和时钟漂移 物理时钟同步 Cristian方法 Berkeley方法 网络时间协议 逻辑时间 发生在先关系 Lamport时间戳 向量时钟 * 小结 全局状态 一致割集，一致全局状态 “快照”算法 分布式调试 状态收集 判定可能的?和明确的? * 作业 Databases-R-Us runs a cluster of three servers A, B, and C, which communicate with one another. You are told that the current clock skews between server pairs are as follows: A-B: 3 ms; B-C: 1 ms; C-A: -4 ms. Further, you are told that correctness in the database requires that no two server clocks be more than 30ms apart. If each of the servers has an absolute clock drift of 2 ms per minute, how many minimum (i.e., worst-case) minutes can the cluster go without running a synchronization algorithm among its servers? * 作业 a, b, and c are events and no two events belong to the same process. Prove or disprove (give counter-example) the following: (a)a is concurrent with b and b is before c implies that a is before c. (b)a is concurrent with b and b is concurrent with c implies that a is concurrent with c. * * * * * * * 逻辑时间和逻辑时钟 Lamport时钟练习答案 逻辑时钟：0 1 4 4 3 2 8 6 5 7 5 7 9 * 逻辑时间和逻辑时钟 不同进程产生的消息可能具有相同数值的Lamport时间戳 物理 时间 * 逻辑时间和逻辑时钟 基于Lamport时间戳的事件排序---总结 算法不依赖于事件发生的真实时间 与真实物理时间中事件的发生顺序可能不一致 　　基于Lamport时间戳的排序中，在时刻(2,1)发生的事件发生比在时刻（2，2）发生的事件要早，然而在真实物理时间中可能恰好相反。(有错吗？) * 逻辑时间和逻辑时钟 Lamport时钟不具备性质：若L(A) L(B)则A?B 没有捕获事件的因果关系 　节点B发布一篇文章并传送给节点A和C。节点A就此发表评论并传送给节点B和C。 a r