Abstract:Causal-consistent reversible debugging allows one to explore concurrent computations back and forth in order to locate the source of an error. In this setting, backward steps can be chosen freely as long as they are "causal consistent", i.e., as long as all the actions that depend on the action we want to undo have been already undone. Here, we consider a framework for causal-consistent reversible debugging in the functional and concurrent language Erlang. This framework considered programs translated to an intermediate representation, called Core Erlang. Although using such an intermediate representation simplified both the formal definitions and their implementation in a debugging tool, the choice of Core Erlang also complicated the use of the debugger. In this paper, we extend the framework in order to deal with source Erlang programs, also including some features that were not considered before. Moreover, we integrate the two existing approaches (user-driven debugging and replay debugging) into a single, more general framework, and develop a new version of the debugging tool CauDEr including all the mentioned extensions as well as a renovated user interface.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is: how to improve causal - consistent reversible debugging so as to more effectively locate errors in Erlang programs. Specifically, the author aims to extend the existing framework to handle source Erlang programs and integrate two methods, user - driven debugging and replay debugging, into a more general framework, thereby developing a new version of the CauDEr debugging tool with stronger functions and a better user experience. ### Background and Problem Description 1. **Debugging Challenges in Concurrent Languages** - In concurrent languages (such as Erlang), since the behavior of processes is usually non - deterministic, traditional debugging methods are difficult to effectively locate errors. - In order to find the location of an error, it is usually necessary to explore the computing process backwards from the observed abnormal behavior. However, in a concurrent environment, it is very inconvenient to directly reverse - execute all the operations of all processes, because many operations are irrelevant to the currently focused process. 2. **Causal - Consistent Reversible Debugging** - Causal - consistent reversible debugging allows freely choosing reverse steps as long as these steps are causally consistent, that is, all actions that depend on the action to be undone have already been undone. - This method can more flexibly explore the history of concurrent computing, thus making it easier to locate errors. 3. **Limitations of Existing Work** - Early work mainly focused on the intermediate representation language Core Erlang. Although this simplifies the theoretical definition and implementation, it makes the use of the debugger complicated because programmers are not familiar with the representation of Core Erlang. - At the same time, previous debugging methods are divided into user - driven debugging and replay debugging, each having its own limitations. ### Main Contributions of the Paper 1. **Extension to Source Erlang Programs** - Redefine the standard semantics and reversible semantics so that they can handle source Erlang expressions. 2. **Integration of Two Debugging Methods** - Integrate user - driven debugging and replay debugging into a more general framework, providing more flexible debugging capabilities. 3. **Improvement of the CauDEr Debugging Tool** - Implement a new version of the CauDEr debugging tool, including the above - mentioned extensions and an improved user interface, making debugging more intuitive and efficient. Through these improvements, the paper provides a more powerful and easy - to - use tool for debugging Erlang programs, significantly improving the efficiency and accuracy of debugging concurrent programs.

Causal-Consistent Reversible Debugging: Improving CauDEr

Reversible debugging of concurrent Erlang programs: Supporting imperative primitives

Design and Implementation of Source-Level Debugger Based on Emulator

Reversible Language Extensions and their Application in Debugging

Community-base Fault Diagnosis Using Incremental Belief Revision

Deductive Verification via the Debug Adapter Protocol

Debugging Functional Programs by Interpretation

An Axiomatic Theory for Reversible Computation

VDebugger: Harnessing Execution Feedback for Debugging Visual Programs

Concolic Metamorphic Debugging

Debugging Pathways: Open-Ended Discrepancy Noticing, Causal Reasoning, and Intervening

Symbolic Execution and Debugging Synchronization

Causal Testing: Finding Defects' Root Causes

A Unified Debugging Approach via LLM-Based Multi-Agent Synergy

How Bayesians Debug

Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version)

Model-Based Debugging using Multiple Abstract Models

CreDes: Causal Reasoning Enhancement and Dual-End Searching for Solving Long-Range Reasoning Problems using LLMs

revTPL: The Reversible Temporal Process Language