Causal-Consistent Reversible Debugging

Elena Giachino 1, 2 Ivan Lanese 1, 2 Claudio Antares Mezzina 3
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Reversible debugging provides developers with a way to execute their applications both forward and backward, seeking the cause of an unexpected or undesired event. In a concurrent setting, reversing actions in the exact reverse order they have been executed may lead to undo many actions that were not related to the bug under analysis. On the other hand, undoing actions in some order that violates causal dependencies may lead to states that could not be reached in a forward execution. We propose an approach based on causal-consistent reversibility: each action can be reversed if all its consequences have already been reversed. The main feature of the approach is that it allows the programmer to easily individuate and undo exactly the actions that caused a given misbehavior till the corresponding bug is reached. This paper major contribution is the individuation of the appropriate primitives for causal-consistent reversible debugging and their prototype implementation in the CaReDeb tool. We also show how to apply CaReDeb to individuate common real-world concurrent bugs.
Type de document :
Communication dans un congrès
FASE 2014, Apr 2014, Grenoble, France. Springer, 8411, pp.370 - 384, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-642-54804-8_26〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01089270
Contributeur : Ivan Lanese <>
Soumis le : lundi 1 décembre 2014 - 14:34:48
Dernière modification le : samedi 27 janvier 2018 - 01:31:31
Document(s) archivé(s) le : lundi 2 mars 2015 - 13:32:46

Fichier

revDB.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina. Causal-Consistent Reversible Debugging. FASE 2014, Apr 2014, Grenoble, France. Springer, 8411, pp.370 - 384, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-642-54804-8_26〉. 〈hal-01089270〉

Partager

Métriques

Consultations de la notice

90

Téléchargements de fichiers

165