Skip to Main content Skip to Navigation
Reports

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).
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01476201
Contributor : Matthieu Perrin <>
Submitted on : Friday, February 24, 2017 - 4:15:44 PM
Last modification on : Thursday, February 27, 2020 - 1:14:30 AM
Document(s) archivé(s) le : Thursday, May 25, 2017 - 1:44:58 PM

Files

Another-Look.pdf
Files produced by the author(s)

Identifiers

  • 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; LS2N-University of Nantes; Technion - Israel Institute of Technology. 2017. ⟨hal-01476201⟩

Share

Metrics

Record views

1613

Files downloads

285