2 citations · 7 across the 7 of their papers we have counts for
9 papers · 1 filter
Generalized Compare-and-Swap and Space-Efficient Universal Constructions for the Infinite-Arrival Model
Vassos Hadzilacos, Myles Thiessen, Sam Toueg
We introduce GCAS, a natural generalization of the well-known compare-and-swap (CAS) object. Intuitively, GCAS just replaces the fixed equality test of CAS with a parametrized comp…
Generalized Compare and Swap
Vassos Hadzilacos, Myles Thiessen, Sam Toueg
In this paper, we first propose a natural generalization of the well-known compare-and-swap object, one that replaces the equality comparison with an arbitrary comparator. We then…
Parameterized algorithm for replicated objects with local reads
Changyu Bi, Vassos Hadzilacos, Sam Toueg
We consider the problem of implementing linearizable objects that support both read and read-modify-write (RMW) operations in message-passing systems with process crashes. Since in…
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…