Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version)

Abstract : " Yet another paper on " the implementation of read/write registers in crash-prone asynchronous message-passing systems! Yes..., but, differently from its predecessors, this paper looks for a communication abstraction which captures the essence of such an implementation in the same sense that total order broadcast can be associated with consensus, or message causal delivery can be associated with causal read/write registers. To this end, the paper introduces a new communication abstraction, named SCD-broadcast (SCD standing for " Set Constrained Delivery "), which, instead of a single message, delivers to processes sets of messages (whose size can be arbitrary), such that the sequences of message sets delivered to any two processes satisfies some constraints. The paper then shows that: (a) SCD-broadcast allows for a very simple implementation of a snapshot object (and consequently also of atomic read/write registers) in crash-prone asynchronous message-passing systems; (b) SCD-broadcast can be built from snapshot objects (hence SCD-broadcast and snapshot objects –or read/write registers– are " computationally equivalent "); (c) SCD-broadcast can be built in message-passing systems where any minority of processes may crash (which is the weakest assumption on the number of possible process crashes needed to implement a read/write register).
Type de document :
Rapport
[Research Report] IRISA, Inria Rennes; LINA-University of Nantes; Technion - Israel Institute of Technology. 2017
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01476201
Contributeur : Matthieu Perrin <>
Soumis le : vendredi 24 février 2017 - 16:15:44
Dernière modification le : mercredi 12 juillet 2017 - 01:14:16
Document(s) archivé(s) le : jeudi 25 mai 2017 - 13:44:58

Fichiers

Another-Look.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01476201, version 1
  • ARXIV : 1702.08176

Citation

Damien Imbs, Achour Mostefaoui, Matthieu Perrin, Michel Raynal. Another Look at the Implementation of Read/write Registers in Crash-prone Asynchronous Message-Passing Systems (Extended Version). [Research Report] IRISA, Inria Rennes; LINA-University of Nantes; Technion - Israel Institute of Technology. 2017. <hal-01476201>

Partager

Métriques

Consultations de
la notice

433

Téléchargements du document

93