×
伊万·拉内斯;阿德里安·帕拉西奥斯;德国维达尔

消息传递程序的因果一致重放调试。 （英语） Zbl 1533.68032号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。勒克特。票据计算。科学。11535167-184（2019年）。
摘要：调试并发系统是一项繁琐且容易出错的活动。一个主要问题是，无法保证在原始计算中出现的错误会在调试器中重放。这个问题通常通过所谓的重放调试来解决，它允许用户记录程序执行并在调试器中重放。在本文中，我们提出了一种新的回放调试技术，我们称之为受控因果一致重放受控因果一致回放允许用户记录程序执行，并且与传统的回放调试器不同，允许用户在调试器内再现可见的不当行为，包括所有而且只有其原因。这样，用户就不会被其他无关进程的操作分散注意力。
关于整个系列，请参见[Zbl 1410.68019号].

引用于6文件

MSC公司：

68甲19 其他编程范式（面向对象、顺序、并发、自动等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）

软件：

github;CauDEr公司
PDF格式BibTeX公司 XML格式引用
\textit{I.Lanese}等人，Lect。票据计算。科学。11535167-184（2019年；Zbl 1533.68032）
全文： 内政部 哈尔

参考文献：

[1] Aumayr，D.、Marr，S.、Béra，C.、Boix，E.G.、Mössenböck，H.：演员语言的高效确定性记录与回放。参见：Tilevich，E.，Mössenböck，H.（eds.）《第十五届管理语言与运行时国际会议论文集》（ManLang 2018），第15:1-15:14页。ACM（2018）
[2] Britton，T.、Jeng，L.、Carver，G.、Cheak，P.、Katzenellenbogen，T.：可逆调试软件-量化使用可逆调试器节省的时间和成本（2012）。http://www.rogue wave.com
[3] Carlsson，R.等人：Core Erlang 1.0.3。语言规范（2004）。https://www.it.uu.se/research/group/hipe/cerl/doc/core_erlang-1.0.3.pdf
[4] 陈，Y。；张，S。；郭，Q。；李，L。；Wu，R。；Chen，T.，《决定论重演：一项调查》，美国计算机学会。调查。，48, 2, 17:1-17:47 (2015) ·doi:10.1145/2790077
[5] 关于Erlang的常见问题（2018）。http://erlang.org/faq/academic.html
[6] 贾奇诺，E。；拉内斯，我。；加利福尼亚州梅齐纳；格内西，S。；Rensink，A.，因果一致可逆调试，软件工程基本方法，370-384（2014），海德堡：施普林格·doi:10.1007/978-3-642-54804-8_26
[7] 贾奇诺，E。；拉内斯，我。；加利福尼亚州梅齐纳；Tiezzi，F.，基于元组的语言中的因果一致回滚，J.Log。阿尔盖布。方法程序。，88, 99-120 (2017) ·Zbl 1362.68213号 ·doi:10.1016/j.jlamp.2016.09.003
[8] Huang，J.，Liu，P.，Zhang，C.：LEAP：并发Java程序的轻量级确定性多处理器重放。2010年11月7日至11日，第18届ACM SIGSOFT国际软件工程基础研讨会论文集，美国新墨西哥州圣菲，第385-386页。ACM（2010）
[9] 黄，J。；Zhang，C.，《调试并发软件：进步与挑战》，J.Compute。科学。技术。，31, 5, 861-868 (2016) ·doi:10.1007/s11390-016-1669-8
[10] Jiang，Y.，Gu，T.，Xu，C.，Ma，X.，Lu，J.：注意：并发Java程序的缓存引导确定性重播。参见：2014年5月31日至6月7日在印度海得拉巴举行的第36届国际软件工程会议，第457-467页。ACM（2014）
[11] Lamport，L.，《时间、时钟和分布式系统中事件的排序》，Commun。ACM，21，7，558-565（1978）·Zbl 0378.68027号 ·doi:10.1145/359545.359563
[12] 拉内斯，我。；加利福尼亚州梅齐纳；施密特，A。；斯特凡尼，J-B；卡托恩，J-P；König，B.，《控制高阶Pi中的可逆性》，CONCUR 2011-并发理论，297-311（2011），海德堡：斯普林格，海德伯格·Zbl 1344.68168号 ·数字对象标识代码：10.1007/978-3-642-23217-620
[13] 拉内斯，我。；Nishida，N。；Palacios，A。；维达尔，G。；加拉赫，JP；Sulzmann，M.，CauDEr:Erlang的因果一致可逆调试器，函数和逻辑编程，247-263（2018），Cham:Springer，Cham·Zbl 1507.68066号 ·doi:10.1007/978-3-319-90686-7_16
[14] Lanese，I.，Nishida，N.，Palacios，A.，Vidal，G.：CauDEr网站（2018）。https://github.com/mistupv/cauder
[15] 拉内斯，我。；Nishida，N。；Palacios，A。；Vidal，G.，《Erlang的可逆性理论》，J.Log。阿尔盖布。方法程序。，100, 71-97 (2018) ·Zbl 1400.68046号 ·doi:10.1016/j.jlamp.2018.06.004
[16] Lanese，I.，Palacios，A.，Vidal，G.：CauDEr，因果一致可逆重放调试器。记录器。https://github.com/mistupv/tracer，调试器。https://github.com/mistupv/cauder/tree/replay ·Zbl 1507.68066号
[17] Lanese，I.，Palacios，A.，Vidal，G.：消息传递程序的因果一致重放调试。技术报告，DSIC，瓦伦西亚政治大学（2019年）。http://personales.upv.es/gvidal/german/forte19tr/paper.pdf ·Zbl 1482.68131号
[18] 勒布朗，TJ；Mellor Crummey，JM，用即时回放调试并行程序，IEEE Trans。计算。，36, 4, 471-482 (1987) ·doi:10.1109/TC.1987.1676929
[19] Maruyama，M.、Tsumura，T.、Nakashima，H.：基于数据回放的并行程序调试。Zheng，S.Q.（编辑）IASTED并行和分布式计算与系统国际会议记录（PDCS 2005），第151-156页。IASTED/ACTA出版社（2005）
[20] Mazurkiewicz，A。；布劳尔，W。；Reisig，W。；Rozenberg，G.，跟踪理论，Petri网：与其他并发模型的应用和关系，278-324（1987），海德堡：Springer，Heidelberg·Zbl 0633.68051号 ·文件编号：10.1007/3-540-17906-2_30
[21] Netzer，右侧；BP，Miller，《调试消息传递并行程序的最佳跟踪和重放》，J.Supercomput。，8, 4, 371-388 (1995) ·doi:10.1007/BF01901615
[22] Nishida，N。；Palacios，A。；维达尔，G。；赫尔梅内吉尔多，MV；Lopez-Garcia，P.，Erlang的可逆语义，基于逻辑的程序合成和转换，259-274（2017），Cham:Springer，Cham·Zbl 1485.68032号 ·数字对象标识代码：10.1007/978-3-319-63139-4_15
[23] Perera，R.，Garg，D.，Cheney，J.：因果一致的动态切片。收录：Desharnais，J.，Jagadeesan，R.（编辑）CONCUR。LIPIcs，第59卷，第18:1-18:15页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2016年）·Zbl 1392.68313号
[24] 撤销软件：通过可逆调试提高软件开发效率（2014）。https://undo.io/media/uploads/files/undo_ReversibleDebugging_Whitepaper.pdf
[25] Sutter，H.，《免费午餐结束了：软件并发性的根本转变》，Dobb博士的J.，30，3，202-210（2005）
[26] Svensson，H.、Fredlund，L.A.、Earle，C.B.：未来Erlang的统一语义。参见：第九届ACM SIGPLAN Erlang研讨会，第23-32页。ACM（2010）
[27] Veeraraghavan，K.，DoublePlay:并行化顺序日志记录和回放，ACM Trans。计算。系统。，30, 1, 3:1-3:24 (2012) ·doi:10.1145/2110356.2110359
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。