Efficient Message Logging for Uncoordinated Checkpointing Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1996

Efficient Message Logging for Uncoordinated Checkpointing Protocols

Michel Raynal
  • Function : Author
  • PersonId : 830511


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.
Fichier principal
Vignette du fichier
RR-2972.pdf (278.82 Ko) Télécharger le fichier

Dates and versions

inria-00073726 , version 1 (24-05-2006)


  • 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⟩
200 View
252 Download


Gmail Facebook X LinkedIn More