The Concurrency Column Causal-consistent Reversibility *

Abstract

Reversible computing allows one to execute programs both in the standard, forward direction, and backward, going back to past states. In a concurrent scenario, the correct notion of reversibility is causal-consistent reversibility: any action can be undone, provided that all its consequences (if any) are undone beforehand. In this paper we present an… (More)

Topics

3 Figures and Tables

Slides referencing similar topics