03-时间和全局状态.pptVIP

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) 分布式调试 ?值判定示例 ?在第５层的状态为True＝》明确的? ?在第５层的状态为False＝》可能的? 分布式调试 异步系统 　　开销很大，需要作O(kＮ)次比较。　 同步系统 　物理时钟：|Ci(t) － Cj(t) |D，即在范围D内同步。 同步系统中的算法改进 消息中同时携带物理时间戳和向量时间戳 测试条件 　 V(si)[i] ≧V(si)[i] ，且si和sj能在同