Skip to Main content Skip to Navigation
Journal articles

Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects

Abstract : This paper introduces a new communication abstraction, called Set-Constrained Delivery Broadcast (SCD-broadcast), whose aim is to provide its users with an appropriate abstraction level when they have to implement objects or distributed tasks in an asynchronous message-passing system prone to process crash failures. This abstraction allows each process to broadcast messages and deliver a sequence of sets of messages in such a way that, if a process delivers a set of messages including a message m and later delivers a set of messages including a message , no process delivers first a set of messages including and later a set of message including m. After having presented an algorithm implementing SCD-broadcast, the paper investigates its programming power and its computability limits. On the “power” side it presents SCD-broadcast-based algorithms, which are both simple and efficient, building objects (such as snapshot and conflict-free replicated data types), and distributed tasks. On the “computability limits” side it shows that SCD-broadcast and read/write registers are computationally equivalent.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03304269
Contributor : Matthieu Perrin Connect in order to contact the contributor
Submitted on : Wednesday, July 28, 2021 - 1:30:36 PM
Last modification on : Friday, August 5, 2022 - 2:54:51 PM
Long-term archiving on: : Friday, October 29, 2021 - 6:53:42 PM

File

SCD-TCS.pdf
Files produced by the author(s)

Identifiers

Citation

Damien Imbs, Achour Mostéfaoui, Matthieu Perrin, Michel Raynal. Set-constrained delivery broadcast: A communication abstraction for read/write implementable distributed objects. Theoretical Computer Science, Elsevier, 2021, 886, pp.49-68. ⟨10.1016/j.tcs.2021.06.044⟩. ⟨hal-03304269⟩

Share

Metrics

Record views

65

Files downloads

63