Causal Debugging for Concurrent Systems - Sound Programming of Adaptive Dependable Embedded Systems
Communication Dans Un Congrès Année : 2024

Causal Debugging for Concurrent Systems

Résumé

Debugging concurrent systems is notoriously hard, since bugs may manifest only for some interleavings among the processes’ execution, and since debugging them may involve analyzing multiple processes. We claim that two key ingredients for such an analysis are reversible execution, to explore a faulty computation back and forward, and causal analysis, to identify the causes of a visible misbehavior. In this talk we focus in particular on the use of reversible execution, as enabled by CauDEr, a reversible debugger for concurrent Erlang programs.
Fichier principal
Vignette du fichier
published.pdf (1.04 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence
Copyright (Tous droits réservés)

Dates et versions

hal-04610282 , version 1 (12-06-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Ivan Lanese, Gregor Gössler. Causal Debugging for Concurrent Systems. RC 2024 - 16th International Conference on Reversible Computation, Jul 2024, Torun, Poland. pp.3-9, ⟨10.1007/978-3-031-62076-8_1⟩. ⟨hal-04610282⟩
119 Consultations
22 Téléchargements

Altmetric

Partager

More