A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2020

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

Résumé

Reversible computing allows one to run programs not only in the usual forward direction, but also backward. A main application area for reversible computing is debugging, where one can use reversibility to go backward from a visible misbehaviour towards the bug causing it. While reversible debugging of sequential systems is well understood, reversible debugging of concurrent and distributed systems is less settled. We present here two approaches for debugging concurrent programs, one based on backtracking, which undoes actions in reverse order of execution, and one based on causal consistency, which allows one to undo any action provided that its consequences, if any, are undone beforehand. The first approach tackles an imperative language with shared memory, while the second one considers a core of the functional message-passing language Erlang. Both the approaches are based on solid formal foundations.
Fichier principal
Vignette du fichier
published.pdf (2.08 Mo) Télécharger le fichier
Origine : Publication financée par une institution
Loading...

Dates et versions

hal-03005383 , version 1 (17-11-2020)

Identifiants

Citer

James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal. A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp.108 - 127, 2020, ⟨10.1007/978-3-030-47361-7_5⟩. ⟨hal-03005383⟩
84 Consultations
120 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More