Causal-Consistent Replay Debugging for Message Passing Programs

Ivan Lanese; Adrián Palacios; Germán Vidal

doi:10.1007/978-3-030-21759-4_10

通信Dans Un Congrès Anneée:2019年

消息传递程序的因果一致重放调试

(1),(2),(2)

1
2

伊万·拉内斯

功能：奥特尔
人员ID:961958

基于组件的泛在系统基础

阿德里安·帕拉西奥斯

功能：奥特尔
人员ID:1055856

瓦伦西亚理工大学

格尔曼·维达尔

功能：奥特尔
人员ID:1055857

瓦伦西亚理工大学

Résumé

并行系统的调试是一项繁琐且容易出错的活动。一个主要问题是，无法保证在原始计算中出现的错误会在调试器中重放。这个问题通常通过所谓的重放调试来解决，它允许用户记录程序执行并在调试器中重放。在本文中，我们提出了一种新的回放调试技术，称为受控因果一致回放。受控的因果一致重放允许用户记录程序的执行，与传统的重放调试器不同，用户可以在调试器中重现可见的错误行为，包括所有错误行为及其原因。这样，用户就不会被其他无关流程的操作分散注意力。

与葡萄园

信息[cs] Réseaux etélél通信[cs.NI]

菲奇尔校长

478668_1_En_10_章.pdf（385.85 Ko）

原籍	菲奇尔斯（Fichiers）出品的par l’（les）auteur（s）

哈尔·伊菲普 : Connectez-vous浇注接触器le contributer

https://inria.hal.science/hal-02313745

Soumis le:2019-14:55:39年10月11日

Dernière修改日期：vendredi 2023-14:20:03年11月10日

日期和版本

哈尔-02313745，版本1 (11-10-2019)

执照

Paternité公司

身份证明人

HAL Id： hal-02313745，版本1
内政部： 10.1007/978-3-030-21759-4_10

Citer公司

伊万·拉内斯（Ivan Lanese）、阿德里安·帕拉西奥斯（Adrián Palacios）、格尔曼·维达尔（Germanán Vidal）。消息传递程序的因果一致重放调试。FORTE 2019-第39届分布式对象、组件和系统形式化技术国际会议2019年6月，丹麦哥本哈根。第167-184页，⟨10.1007/978-3-030-21759-4_10⟩.⟨哈尔-02313745⟩

出口商

BibTeX公司 XML-TEI 都柏林核心元数据集 DC条款尾注数据引用

印度 IFIP-LNCS公司国际投资促进会 INRIA2公司 IFIP-TC公司 IFIP-WG公司 IFIP-TC6 IFIP-WG6-1 IFIP-FORTE公司 IFIP-DISCOTEC公司 UNIV-COTEDAZUR大学 IFIP-LNCS-11535 澳大利亚国家铁路公司

102 磋商

42 交易费用