Concurrent Flexible Reversibility

Abstract : Concurrent reversibility has been studied in different ar- eas, such as biological or dependable distributed systems. However, only "rigid" reversibility has been considered, allowing to go back to a past state and restart the exact same computation, possibly leading to diver- gence. In this paper, we present croll-π, a concurrent calculus featuring flexible reversibility, allowing the specification of alternatives to a com- putation to be used upon rollback. Alternatives in croll-π are attached to messages. We show the robustness of this mechanism by encoding more complex idioms for specifying flexible reversibility, and we illustrate the benefits of our approach by encoding a calculus of communicating trans- actions.
Type de document :
Communication dans un congrès
Matthias Felleisen and Philippa Gardner. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. Springer, 7792, pp.370-390, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-37036-6_21〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00811629
Contributeur : Jean-Bernard Stefani <>
Soumis le : mercredi 10 avril 2013 - 18:05:13
Dernière modification le : mercredi 2 août 2017 - 10:07:15
Document(s) archivé(s) le : lundi 3 avril 2017 - 03:55:40

Fichier

crop.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Ivan Lanese, Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Concurrent Flexible Reversibility. Matthias Felleisen and Philippa Gardner. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. Springer, 7792, pp.370-390, 2013, Lecture Notes in Computer Science (LNCS). 〈10.1007/978-3-642-37036-6_21〉. 〈hal-00811629〉

Partager

Métriques

Consultations de
la notice

650

Téléchargements du document

162