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.
Lanese, I., Gossler, G. (2024). Causal Debugging for Concurrent Systems. GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND : Springer Science and Business Media Deutschland GmbH [10.1007/978-3-031-62076-8_1].
Causal Debugging for Concurrent Systems
Lanese I.;
2024
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
main-rc2024.pdf
Open Access dal 29/05/2025
Descrizione: Postprint autore
Tipo:
Postprint / Author's Accepted Manuscript (AAM) - versione accettata per la pubblicazione dopo la peer-review
Licenza:
Licenza per accesso libero gratuito
Dimensione
341.7 kB
Formato
Adobe PDF
|
341.7 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
