×
陈隆平;孙德强;朱威廉

用于识别分布式系统中无用状态的高效在线算法。 （英语） Zbl 1231.68069号

分布计算。 23，编号5-6，359-372（2011）.
摘要：在分布式系统中，检测给定逻辑谓词在全局状态上是否为真是测试和调试程序的基础。由于问题的组合性质，通过检查所有全局状态来检测谓词是很难的。这项工作设计了一个有效的在线算法，在每次报告新状态时识别出一致和无用的状态。本文从伪状态的角度阐述了检测算法的最优性，伪状态用于向监控过程表示未知状态。基于此技术，可以通过删除无用状态来最小化调试器的内存空间，而不会影响调试结果。在最小化内存空间的同时，该算法总共只需要\（O（p^{2}M）\）时间，其中\（p\）是进程数，\（M\）是报告的状态数。

MSC公司：

64岁以下 分布式系统
68周27 在线算法；流算法

关键词：

检查点;分布式调试;全局谓词检测
PDF格式BibTeX公司 XML格式引用
\textit{L.-P.Chen}等人，《分布计算》。23、编号5--6、359--372（2011；Zbl 1231.68069）
全文： DOI程序

参考文献：

[1] Chandy K.M.，Lamport L.：分布式快照：确定分布式系统的全局状态。ACM事务处理。计算。系统。3(1), 63–75 (1985) ·doi:10.1145/214451.214456
[2] Chen L.B.，Wu I.C.：检测强连接谓词的高效分布式在线算法。IEEE传输。柔和。工程28（11），1077–1084（2002）·doi:10.1109/TSE.2002.1049405
[3] Chiou H.K.，Korfhage W.：增强分布式事件谓词检测算法。IEEE传输。平行配送系统。7(7), 673–676 (1996) ·数字对象标识代码：10.1109/71.508247
[4] Cooper，R.，Marzullo，K.：全局谓词的一致检测。Sigplan通告，第167-174页（1991年）
[5] Garg V.K.，Waldecker B.：分布式程序中弱不稳定谓词的检测。IEEE传输。平行配送系统。5(3), 299–307 (1994) ·doi:10.10109/71.2777788
[6] Garg V.K.，Waldecker B.：分布式程序中强不稳定谓词的检测。IEEE传输。平行配送系统。7(12), 1323–1333 (1996) ·doi:10.1109/71.553309
[7] Helary J.M.，Mostefaoui A.，Netzer R.H.B.，Raynal M.：分布式计算中基于通信的无用检查点预防。分布计算。13(1), 29–43 (2000)
[8] Hurfin M.，Mizuno M.，Raynal M.，Singhal M.：局部谓词连词的高效分布式检测。IEEE传输。柔和。工程24（8），664-677（1998）·doi:10.1109/32.707701
[9] Kshemkalyani A.D.：逻辑时钟抽象的力量。分布计算。17(2), 131–150 (2004)
[10] Kshemkalyani A.D.：全局谓词的细粒度模态分类。IEEE传输。平行配送系统。14(8), 807–816 (2003) ·doi:10.1109/TPDS.2003.1225059
[11] Lamport L.：分布式系统中的时间、时钟和事件顺序。Commun公司。ACM 21（7），558–565（1978）·Zbl 0378.68027号 ·doi:10.1145/359545.359563
[12] Mattern，F.：分布式系统的虚拟时间和全局状态。摘自：《并行与分布式算法：并行与分布式计算国际研讨会论文集》，第215-226页。Elsevier，纽约（1989）
[13] Mittal N.，Garg V.K.：计算切片的技术和应用。分布计算。17(3), 251–277 (2005) ·Zbl 1264.68030号 ·doi:10.1007/s00446-004-0117-0
[14] Manivannan D.，Netzer R.H.B.，Singhal M.：在分布式计算中寻找一致的全局检查点。IEEE传输。平行配送系统。8(6), 165–169 (1997)
[15] Netzer H.B.，Xu J.：一致全局快照的充要条件。IEEE传输。平行配送系统。6(2), 165–169 (1995) ·数字对象标识代码：10.1109/71.342127
[16] Schwarz R.，Mattern F.：检测分布式计算中的因果关系：寻找圣杯。分布计算。7(3), 149–174 (1994) ·Zbl 0813.68096号 ·doi:10.1007/BF02277859
[17] 王玉梅：一致的全局检查点，包含一组给定的本地检查点。IEEE传输。计算。46(4), 456–468 (1997) ·doi:10.1109/12.588059
[18] Wang Y.M.、Chung P.Y.、Lin I.J.、Fuchs W.K.：消息传递系统中不协调检查点的检查点空间回收。IEEE传输。平行配送系统。6(5), 546–554 (1995) ·数字对象标识代码：10.1109/71.382324
[19] Wang Y.M.，Lowry A.，Fuchs W.K.：基于直接依赖性跟踪的一致性全球检查点。信息处理。莱特。50(4), 223–230 (1994) ·兹伯利0807.68012 ·doi:10.1016/0020-0190（94）00038-7
[20] Wu I.C.，Chen L.B.：关于有界全局谓词的检测。计算。J.41（4），231–237（1998）·Zbl 0919.68015号 ·doi:10.1093/comjnl/41.4.231
[21] Yen L.H.：为在线全局谓词检测排除无用事件。J.平行分布计算。61(8), 1077–1095 (2001) ·Zbl 0988.68014号 ·doi:10.1006/jpdc.2001.1740
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。