Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems

Abstract : Distributed snapshots, as introduced by Chandy and Lamport in the context of asynchronous failure-free message-passing distributed systems, are consistent global states in which the observed distributed application might have passed through. It appears that two such distributed snapshots cannot necessarily be compared (in the sense of determining which one of them is the " first "). Differently , snapshots introduced in asynchronous crash-prone read/write distributed systems are totally ordered, which greatly simplify their use by upper layer applications. In order to benefit from shared memory snapshot objects, it is possible to simulate a read/write shared memory on top of an asynchronous crash-prone message-passing system, and build then snapshot objects on top of it. This algorithm stacking is costly in both time and messages. To circumvent this drawback, this paper presents algorithms building snapshot objects directly on top of asynchronous crash-prone message-passing system. " Directly " means here " without building an intermediate layer such as a read/write shared memory ". To the authors knowledge, the proposed algorithms are the first providing such constructions. Interestingly enough, these algorithms are efficient and relatively simple.
Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger
Contributeur : Michel Raynal <>
Soumis le : mardi 31 mai 2016 - 15:38:16
Dernière modification le : vendredi 11 janvier 2019 - 15:13:39
Document(s) archivé(s) le : jeudi 1 septembre 2016 - 11:53:57


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-01313584, version 2


Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal. Implementing Snapshot Objects on Top of Crash-Prone Asynchronous Message-Passing Systems. 2016. 〈hal-01313584v2〉



Consultations de la notice


Téléchargements de fichiers