A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems

François Bonnet 1 Michel Raynal 1
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Abstract : This paper presents a simple proof that the quorum failure detector class (denoted ) is the weakest failure detector class required to implement an atomic read/write register in an asynchronous message-passing system prone to an arbitrary number of process crashes.
Keywords : Asynchronous message-passing system Atomic register Necessity proof Process crash Weakest failure detector
Type de document :
Rapport
[Research Report] PI 1932, 2009, pp.8
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00392450
Contributeur : Anne Jaigu <>
Soumis le : lundi 8 juin 2009 - 10:31:09
Dernière modification le : jeudi 15 novembre 2018 - 11:57:36
Document(s) archivé(s) le : jeudi 10 juin 2010 - 20:48:00

Fichier

PI-1932.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00392450, version 1

Collections

INRIA | IRISA | IRISA-D1 | LARA | UR1-UFR-ISTIC | UNIV-RENNES

Citation

François Bonnet, Michel Raynal. A simple proof of the necessity of the failure detector $\Sigma$ to implement a register in asynchronous message-passing systems. [Research Report] PI 1932, 2009, pp.8. 〈inria-00392450〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

297

Téléchargements de fichiers

294

Contact


archive-ouverte@inria.fr