Causal-consistent replay reversible semantics for message passing concurrent programs

DOI10.3233/FI-2021-2005MaRDI QIDQ4989177zbMATH OpenOpenAlexFDO

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

Publication date 21 May 2021

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2021-2005

zbMATH Keywords

causal-consistentconcurrencydebuggingloggingreversible computing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Cauder: a causal-consistent reversible debugger for Erlang
• From reversible semantics to reversible debugging
• The reversible temporal process language
• A formal semantics for debugging synchronous message passing-based concurrent programs
• A modular formalization of reversibility for concurrent models and languages

Cites work

• A reversible semantics for Erlang
• A theory of reversibility for Erlang
• Bidirectionalization transformation based on automatic derivation of view complement functions
• Cauder: a causal-consistent reversible debugger for Erlang
• Causal-consistent reversibility
• Causal-consistent rollback in a tuple-based language
• Causally Consistent Dynamic Slicing
• CONCUR 2004 - Concurrency Theory
• Controlling Reversibility in Higher-Order Pi
• Erlang programming.
• Irreversibility and Heat Generation in the Computing Process
• Reversible term rewriting
• Time, clocks, and the ordering of events in a distributed system

Cited in

(17)

• Cauder: a causal-consistent reversible debugger for Erlang
• Towards causal-consistent reversibility of imperative concurrent programs
• The reversible temporal process language
• Computing race variants in message-passing concurrent programming with selective receives
• A formal semantics for debugging synchronous message passing-based concurrent programs
• scientific article; zbMATH DE number 7471661 (Why is no real title available?)
• Global reproducibility through local control for distributed active objects
• Causal-Consistent Debugging of Distributed Erlang Programs
• Explicit Identifiers and Contexts in Reversible Concurrent Calculus
• Deadlock-free incremental replay of message-passing programs
• Prefix-based tracing in message-passing concurrency
• Towards a taxonomy for reversible computation approaches
• revTPL: The Reversible Temporal Process Language
• Causal-consistent replay debugging for message passing programs
• Reversible debugging of concurrent Erlang programs: supporting imperative primitives
• Causal debugging for concurrent systems
• Executable contracts for Elixir

Describes a project that uses

Uses Software

• CauDEr
• GitHub

This page was built for publication: Causal-consistent replay reversible semantics for message passing concurrent programs

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