HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Promised Consistency for Rollback Recovery

Denis Caromel 1 Christian Delbé 1 Ludovic Henrio 1
1 OASIS - Active objects, semantics, Internet and security
CRISAM - Inria Sophia Antipolis - Méditerranée , Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : Checkpointing protocols usually rely on the constitution of consistent global states, from which the application can restart upon a failure. This paper proposes a new characterization and technique to build a recoverable state, aiming at relaxing the constraints and overhead. , for Promised consistency, is proposed as such a recovery condition on a global state. A key idea is to use promised events: place holders forcing any restart to reach an actual global state of the first execution. A preliminary contribution is a formal treatment of potential causality, studying its impact on recoverability and determinism.
Document type :
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 4:53:26 PM
Last modification on : Friday, February 4, 2022 - 3:18:24 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:07:04 PM


  • HAL Id : inria-00071365, version 1



Denis Caromel, Christian Delbé, Ludovic Henrio. Promised Consistency for Rollback Recovery. [Research Report] RR-5902, INRIA. 2006. ⟨inria-00071365⟩



Record views


Files downloads