Causal-consistent replay debugging for message passing programs

DOI10.1007/978-3-030-21759-4_10MaRDI QIDQ6190186zbMATH OpenOpenAlexFDO

Authors Ivan Lanese, Adrián Palacios, Germán Vidal

Publication date 6 February 2024

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21759-4_10

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Causal-consistent replay reversible semantics for message passing concurrent programs
• scientific article; zbMATH DE number 1844543
• Cauder: a causal-consistent reversible debugger for Erlang
• scientific article; zbMATH DE number 1728461
• Debugging distributed programs using controlled re-execution

Cites work

• A reversible semantics for Erlang
• A theory of reversibility for Erlang
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent replay reversible semantics for message passing concurrent programs
• Causal-consistent rollback in a tuple-based language
• Causally Consistent Dynamic Slicing
• Controlling Reversibility in Higher-Order Pi
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• Time, clocks, and the ordering of events in a distributed system

Cited in

(7)

• A reversible debugger for imperative parallel programs with contracts
• Computing race variants in message-passing concurrent programming with selective receives
• scientific article; zbMATH DE number 7559489 (Why is no real title available?)
• Prefix-based tracing in message-passing concurrency
• Reversible debugging in logic programming
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• A reversible perspective on Petri nets and event structures

This page was built for publication: Causal-consistent replay debugging for message passing programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190186)