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

Efficient Message Logging for Uncoordinated Checkpointing Protocols

Achour Mostefaoui 1 Michel Raynal 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : A message is {\it in-transit} with respect to a global state if its sending is recorded in this global state, while its receipt is not. Checkpointing algorithms have to log such in-transit messages in order to restore the state of channels when a computation has to be resumed from a consistent global state after a failure has occurred. Coordinated checkpointing algorithms log those in-transit messages exactly on stable storage. Because of their lack of synchronization, uncoordinated checkpointing algorithms conservatively log more messages. This paper presents an uncoordinated checkpointing protocol that logs all in-transit messages and the smallest possible number of non in-transit messages. As a consequence, the protocol saves stable storage space and enables quicker recoveries. An appropriate tracking of message causal dependencies constitutes the core of the protocol.
Document type :
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:36:49 PM
Last modification on : Friday, February 4, 2022 - 3:25:33 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:56:15 PM


  • HAL Id : inria-00073726, version 1


Achour Mostefaoui, Michel Raynal. Efficient Message Logging for Uncoordinated Checkpointing Protocols. [Research Report] RR-2972, INRIA. 1996. ⟨inria-00073726⟩



Record views


Files downloads