This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug. Causal-consistent debugging tailors this approach to concurrent systems so that actions can be undone in any order as long as their consequences, if any, are undone first.
Lanese, I., Vidal, G. (2024). Reversible Debugging of Erlang Programs in CauDEr. 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES : ASSOC COMPUTING MACHINERY [10.1145/3678720.3685319].
Reversible Debugging of Erlang Programs in CauDEr
Lanese I.;
2024
Abstract
This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug. Causal-consistent debugging tailors this approach to concurrent systems so that actions can be undone in any order as long as their consequences, if any, are undone first.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
