Implementing a Register in a Dynamic Distributed System

Abstract : Providing distributed processes with concurrent objects is a fundamental service that has to be offered by any distributed system. The classical shared read/write register is one of the most basic ones. Several protocols have been proposed that build an atomic register on top of an asynchronous messagepassing system prone to process crashes. In the same spirit, this paper addresses the implementation of a regular register (a weakened form of an atomic register) in an asynchronous dynamic message-passing system. The aim is here to cope with the net effect of the adversaries that are asynchrony and dynamicity (the fact that processes can enter and leave the system). The paper focuses on the class of dynamic systems the churn rate c of which is constant. It presents two protocols, one applicable to synchronous dynamic message passing systems, the other one to asynchronous dynamic systems. Both protocols rely on an appropriate broadcast communication service (similar to a reliable brodcast). Each requires a specific constraint on the churn rate c. Both protocols are first presented in an as intuitive as possible way, and are then proved correct.
Type de document :
Rapport
[Research Report] PI 1913, 2008, pp.21
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00340924
Contributeur : Anne Jaigu <>
Soumis le : lundi 24 novembre 2008 - 09:36:34
Dernière modification le : mercredi 11 avril 2018 - 01:57:06
Document(s) archivé(s) le : lundi 7 juin 2010 - 20:44:57

Fichiers

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

Identifiants

  • HAL Id : inria-00340924, version 1

Citation

Roberto Baldoni, Silvia Bonomi, Anne-Marie Kermarrec, Michel Raynal. Implementing a Register in a Dynamic Distributed System. [Research Report] PI 1913, 2008, pp.21. 〈inria-00340924〉

Partager

Métriques

Consultations de la notice

347

Téléchargements de fichiers

1125