2 citations · 3 across the 5 of their papers we have counts for
10 papers · 1 filter
Wait-Free Universality of Consensus in the Infinite Arrival Model
Grégoire Bonin, Achour Mostéfaoui, Matthieu Perrin
In classical asynchronous distributed systems composed of a fixed number n of processes where some proportion may fail by crashing, many objects do not have a wait-free linearizabl…
Breaking the Scalability Barrier of Causal Broadcast for Large and Dynamic Systems
Brice Nédelec, Pascal Molli, Achour Mostéfaoui
Many distributed protocols and applications rely on causal broadcast to ensure consistency criteria. However, none of causality tracking state-of-the-art approaches scale in large…
Extending Causal Consistency to any Object Defined by a Sequential Specification
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
This paper presents a simple generalization of causal consistency suited to any object defined by a sequential specification. As causality is captured by a partial order on the set…
A Simple Object that Spans the Whole Consensus Hierarchy
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
This paper presents a simple generalization of the basic atomic read/write register object, whose genericity parameter spans the whole set of integers and is such that its k-parame…
Set-Constrained Delivery Broadcast: Definition, Abstraction Power, and Computability Limits
Damien Imbs, Achour Mostefaoui, Matthieu Perrin +1
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…
Which Broadcast Abstraction Captures -Set Agreement?
Damien Imbs, Achour Mostéfaoui, Matthieu Perrin +1
It is well-known that consensus (one-set agreement) and total order broadcast are equivalent in asynchronous systems prone to process crash failures. Considering wait-free systems,…