 |
Formal Techniques for Distributed Objects, Components, and Systems 39th IFIP WG 6.1 International Conference, FORTE 2019 Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019 Kongens Lyngby, Denmark, June 17–21, 2019 |
 |
Conference papers
Causal-Consistent Replay Debugging for Message Passing Programs
Abstract : Debugging of concurrent systems is a tedious and error-proneactivity. A main issue is that there is no guarantee that a bug that appears in the original computation is replayed inside the debugger. This problem is usually tackled by so-called replay debugging, which allows the user to record a program execution and replay it inside the debugger. In this paper, we present a novel technique for replay debugging that we call controlled causal-consistent replay. Controlled causal-consistent replay allows the user to record a program execution and, in contrast to traditional replay debuggers, to reproduce a visible misbehavior inside the debugger including alland only its causes. In this way, the user is not distracted by the actions of others, unrelated processes.
Cited literature [45 references]
https://hal.inria.fr/hal-02313745
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, October 11, 2019 - 2:55:39 PM
Last modification on : Thursday, January 20, 2022 - 5:28:24 PM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, October 11, 2019 - 2:55:39 PM
Last modification on : Thursday, January 20, 2022 - 5:28:24 PM
File
478668_1_En_10_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License