Semantics of Recovery Lines for Backward Recovery in Distributed Systems

Jerzy Brzezinski 1 Jean-Michel Hélary 2 Michel Raynal 2
2 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : This paper addresses the definition of {\it recovery lines} in the context of backward recovery whose aim is to cope with failures in distributed sytems. A general framework that allows for several semantics of recovery lines is introduced. Key notions such as {\it missing messages} and {\it orphan messages} are precisely defined and their impact on the definition of consistency of recovery lines is carefully analyzed. Basic mechanisms such as local checkpointing, messages identification and (optimistic or pessimistic) messages logging are then discussed as an illustration of (coordinated or uncoordinated) checkpointing protocols.
Type de document :
[Research Report] RR-2468, INRIA. 1995
Liste complète des métadonnées
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:44:51
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:13:50



  • HAL Id : inria-00074207, version 1


Jerzy Brzezinski, Jean-Michel Hélary, Michel Raynal. Semantics of Recovery Lines for Backward Recovery in Distributed Systems. [Research Report] RR-2468, INRIA. 1995. 〈inria-00074207〉



Consultations de la notice


Téléchargements de fichiers