The Iterated Restricted Immediate Snapshot Model

Abstract : In the Iterated Immediate Snapshot model (IIS) the memory consists of a sequence of one-shot Immediate Snapshot (IS ) objects. Each IS object can be accessed with an operation that atomically writes a value and returns a snapshot of its contents. Each process can access each IS object at most once. Processes access the sequence of IS objects, one-by-one, asynchronously, in a wait-free manner; any number of processes can crash. It has been shown by Borowsky and Gafni and others that this model is very useful to study the usual read/write shared memory model. Its interest lies in the elegant recursive structure of its runs, hence of the ease to analyze it round by round. In a very interesting way, Borowsky and Gafni have shown that the IIS model and the read/write model are equivalent for the wait-free solvability of decision tasks. In this paper we extend the benefits of the IIS model to partially synchronous systems. Given a shared memory model enriched with a failure detector, what is an equivalent IIS model? The paper shows that an elegant way of capturing the power of a failure detector and other partially synchronous systems in the IIS model is by restricting appropriately its set of runs, giving rise to the Iterated Restricted Immediate Snapshot model (IRIS). The benefit of the proposed approach is new results (including new proofs of existing results) when we consider the IRIS model instead of the equivalent read/write model enriched with a given failure detector directly. As a study case, the paper considers a system enriched with limited-scope accuracy failure detectors, where there is a cluster of processes such that eventually some correct process is eventually never suspected by any process in that cluster. The paper provides a new proof of the k-set agreement Herlihy and Penso's lower bound for shared memory system augmented with a limited-scope accuracy failure detector. The proof is based on an extension of the Borowsky-Gafni IIS simulation to encompass failure detectors, followed by a very simple topological argumentation. With the IRIS model we have succeeded in capturing the partial synchrony of a failure detector enriched system via a fully asynchronous, round by round system. We thus hope to have contributed to a better understanding of fault-tolerant distributed computing.
Type de document :
[Research Report] PI 1874, 2007, pp.22
Liste complète des métadonnées

Littérature citée [34 références]  Voir  Masquer  Télécharger
Contributeur : Anne Jaigu <>
Soumis le : jeudi 13 décembre 2007 - 12:46:30
Dernière modification le : jeudi 15 novembre 2018 - 11:57:36
Document(s) archivé(s) le : jeudi 23 septembre 2010 - 16:55:06


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


  • HAL Id : inria-00193683, version 3


Sergio Rajsbaum, Michel Raynal, Corentin Travers. The Iterated Restricted Immediate Snapshot Model. [Research Report] PI 1874, 2007, pp.22. 〈inria-00193683v3〉



Consultations de la notice


Téléchargements de fichiers