Causal-Consistent Replay Debugging for Message Passing Programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2019

Causal-Consistent Replay Debugging for Message Passing Programs

Adrián Palacios
  • Function : Author
  • PersonId : 1055856
Germán Vidal
  • Function : Author
  • PersonId : 1055857

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.
Fichier principal
Vignette du fichier
478668_1_En_10_Chapter.pdf (385.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02313745 , version 1 (11-10-2019)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Ivan Lanese, Adrián Palacios, Germán Vidal. Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.167-184, ⟨10.1007/978-3-030-21759-4_10⟩. ⟨hal-02313745⟩
81 View
30 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More