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
Reports

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 :
Reports
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00073726
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

Identifiers

  • HAL Id : inria-00073726, version 1

Citation

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

Share

Metrics

Record views

197

Files downloads

243