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 <>
Submitted on : Tuesday, May 23, 2006 - 4:53:26 PM
Last modification on : Monday, October 12, 2020 - 10:30:26 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