Anonymous Obstruction-free $(n,k)$-Set Agreement with $n-k+1$ Atomic Read/Write Registers

Zohir Bouzid 1 Michel Raynal 2 Pierre Sutra 3
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
UR1 - Université de Rennes 1, Inria Saclay - Ile de France, INSA - Institut National des Sciences Appliquées, CNRS - Centre National de la Recherche Scientifique : UMR
2 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
Résumé : Cet article préente un algorithme asynchrone qui résoud l'accord k-ensenbliste dans un système de n processus asynchrones et anonymes communiquant via $(n-k+1)$ registres atomiques du type lire/écrire, et dans lequel un nombre quelconque d'entre eux peut s'arrêter de façon inopinée (crash failure). La propriété de vivacité garantie par l'algorithme est appelée "obstruction-freedom".
Type de document :
Rapport
[Research Report] 2027, univzrité de rennes 1. 2015, pp.18
Liste complète des métadonnées

https://hal.inria.fr/hal-01169693
Contributeur : Michel Raynal <>
Soumis le : mardi 30 juin 2015 - 13:10:03
Dernière modification le : mercredi 16 mai 2018 - 11:23:21
Document(s) archivé(s) le : mardi 25 avril 2017 - 20:02:05

Fichiers

RR-2027-V2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01169693, version 1
  • ARXIV : 1507.00474

Citation

Zohir Bouzid, Michel Raynal, Pierre Sutra. Anonymous Obstruction-free $(n,k)$-Set Agreement with $n-k+1$ Atomic Read/Write Registers. [Research Report] 2027, univzrité de rennes 1. 2015, pp.18. 〈hal-01169693〉

Partager

Métriques

Consultations de la notice

953

Téléchargements de fichiers

99