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 overview of the main approaches, results, and applications of causal-consistent reversibility.
Type de document :
Article dans une revue
Bulletin of the EATCS, EATCS, 2014, 114, pp.17
Liste complète des métadonnées

Littérature citée [53 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01089350
Contributeur : Ivan Lanese <>
Soumis le : lundi 1 décembre 2014 - 15:31:50
Dernière modification le : samedi 27 janvier 2018 - 01:30:54
Document(s) archivé(s) le : lundi 2 mars 2015 - 13:34:31

Fichier

Survey on Causal-Consistent Re...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01089350, version 1

Collections

Citation

Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-Consistent Reversibility. Bulletin of the EATCS, EATCS, 2014, 114, pp.17. 〈hal-01089350〉

Partager

Métriques

Consultations de la notice

201

Téléchargements de fichiers

251