Specifying and Implementing an Eventual Leader Service for Dynamic Systems

Abstract : The election of an eventual leader in an asynchronous system prone to process crashes is an important problem of faulttolerant distributed computing. This problem is known as the implementation of the failure detector . Nearly all papers that propose algorithms implementing such an eventual leader service consider a static system. In contrast this paper considers a dynamic system, i.e., a system in which processes can enter and leave. The paper has three contributions. It first proposes a specification of suited to dynamic systems. Then, it presents and proves correct an algorithm implementing this specification. Finally, the paper discusses the notion of an eventual leader suited to dynamic systems. It introduces an additional property related to system stability. The design of an algorithm satisfying this last property remains an open challenging problem.
Type de document :
Rapport
[Research Report] PI 1962, 2010, pp.8
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00543977
Contributeur : Ist Rennes <>
Soumis le : mardi 7 décembre 2010 - 08:46:49
Dernière modification le : mercredi 16 mai 2018 - 11:23:13
Document(s) archivé(s) le : mardi 8 mars 2011 - 02:47:25

Fichier

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

Identifiants

  • HAL Id : inria-00543977, version 1

Citation

Mikel Larrea, Michel Raynal. Specifying and Implementing an Eventual Leader Service for Dynamic Systems. [Research Report] PI 1962, 2010, pp.8. 〈inria-00543977〉

Partager

Métriques

Consultations de la notice

319

Téléchargements de fichiers

416