Efficient Message Logging for Uncoordinated Checkpointing Protocols - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1996

Efficient Message Logging for Uncoordinated Checkpointing Protocols

Michel Raynal
  • Fonction : Auteur
  • PersonId : 830511

Résumé

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
Loading...

Dates et versions

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

Identifiants

  • HAL Id : inria-00073726 , version 1

Citer

Achour Mostefaoui, Michel Raynal. Efficient Message Logging for Uncoordinated Checkpointing Protocols. [Research Report] RR-2972, INRIA. 1996. ⟨inria-00073726⟩
200 Consultations
253 Téléchargements

Partager

Gmail Facebook X LinkedIn More