On the inherent sequentiality of concurrent objects

F Ellen, D Hendler, N Shavit - SIAM Journal on Computing, 2012 - SIAM
We present Ω(n) lower bounds on the worst case time to perform a single instance of an
operation in any nonblocking implementation of a large class of concurrent data structures …

Anonymous obstruction-free (nk)-set agreement with atomic read/write registers

Z Bouzid, M Raynal, P Sutra - Distributed Computing, 2018 - Springer
The k-set agreement problem is a generalization of the consensus problem. Namely,
assuming that each process proposes a value, every non-faulty process must decide one of …

Set-linearizable implementations from read/write operations: Sets, fetch &increment, stacks and queues with multiplicity

A Castañeda, S Rajsbaum, M Raynal - Distributed Computing, 2023 - Springer
This work consideres asynchronous shared memory systems in which any number of
processes may crash. It identifies relaxations of fetch & increment, queues, sets and stacks …

[HTML][HTML] From wait-free to arbitrary concurrent solo executions in colorless distributed computing

M Herlihy, S Rajsbaum, M Raynal, J Stainer - Theoretical Computer …, 2017 - Elsevier
In an asynchronous distributed system where any number of processes may crash, a
process may have to run solo, computing its local output without receiving any information …

The computability of relaxed data structures: queues and stacks as examples

N Shavit, G Taubenfeld - Distributed Computing, 2016 - Springer
Most concurrent data structures being designed today are versions of known sequential data
structures. However, in various cases it makes sense to relax the semantics of traditional …

Strongly linearizable implementations: possibilities and impossibilities

M Helmi, L Higham, P Woelfel - … of the 2012 ACM symposium on …, 2012 - dl.acm.org
Herlihy and Wing [11] established that the set of possible outcomes of a shared memory
distributed algorithm remains unchanged when atomic objects are replaced by their …

Relaxed queues and stacks from read/write operations

A Castañeda, S Rajsbaum, M Raynal - arXiv preprint arXiv:2005.05427, 2020 - arxiv.org
Considering asynchronous shared memory systems in which any number of processes may
crash, this work identifies and formally defines relaxations of queues and stacks that can be …

[PDF][PDF] Distributed universal constructions: a guided tour

M Raynal - Bulletin of EATCS, 2017 - eatcs.org
The notion of a universal construction is central in computing science: the wheel has not to
be reinvented for each new problem. In the context of n-process asynchronous distributed …

Distributed universality

M Raynal, J Stainer, G Taubenfeld - Algorithmica, 2016 - Springer
A notion of a universal construction suited to distributed computing has been introduced by
Herlihy in his celebrated paper “Wait-free synchronization”(ACM Trans Program Lang Syst …

Lock-free algorithms under stochastic schedulers

D Alistarh, T Sauerwald, M Vojnović - … of the 2015 ACM Symposium on …, 2015 - dl.acm.org
In this work, we consider the following random process, motivated by the analysis of lock-
free concurrent algorithms under high memory contention. In each round, a new scheduling …