4 citations · 11 across the 8 of their papers we have counts for
3 papers · 1 filter
An Impossibility Result on Strong Linearizability in Message-Passing Systems
David Yu Cheng Chan, Vassos Hadzilacos, Xing Hu +1
We prove that in asynchronous message-passing systems where at most one process may crash, there is no lock-free strongly linearizable implementation of a weak object that we call…
Differentiated nonblocking: a new progress condition and a matching queue algorithm
David Y. C. Chan, Shucheng Chi, Vassos Hadzilacos +1
In this paper, we first propose a new liveness requirement for shared objects and data structures, we then give a shared queue algorithm that satisfies this requirement and we prov…
On Register Linearizability and Termination
Vassos Hadzilacos, Xing Hu, Sam Toueg
In a seminal work, Golab et al. showed that a randomized algorithm that works with atomic objects may lose some of its properties if we replace the atomic objects that it uses with…