Concurrent Flexible Reversibility

Ivan Lanese 1, 2, 3 Michaël Lienhardt 2, 4 Claudio Mezzina 5 Alan Schmitt 6 Jean-Bernard Stefani 7, *
* Corresponding author
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
6 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
7 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [27 references]  Display  Hide  Download

https://hal.inria.fr/hal-00811629
Contributor : Jean-Bernard Stefani <>
Submitted on : Wednesday, April 10, 2013 - 6:05:13 PM
Last modification on : Wednesday, February 20, 2019 - 2:32:07 PM
Long-term archiving on : Monday, April 3, 2017 - 3:55:40 AM

File

crop.pdf
Files produced by the author(s)

Identifiers

Citation

Ivan Lanese, Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani. Concurrent Flexible Reversibility. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩. ⟨hal-00811629⟩

Share

Metrics

Record views

1499

Files downloads

322