Causal Debugging for Concurrent Systems - Sound Programming of Adaptive Dependable Embedded Systems Access content directly
Conference Papers Year : 2024

Causal Debugging for Concurrent Systems

Abstract

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
Origin Files produced by the author(s)
licence
Copyright

Dates and versions

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

Licence

Copyright

Identifiers

Cite

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⟩
7 View
2 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More