2 citations · 7 across the 8 of their papers we have counts for
10 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…
You can lie but not deny: SWMR registers with signature properties in systems with Byzantine processes
Xing Hu, Sam Toueg
We define and show how to implement SWMR registers that provide properties of unforgeable digital signatures - without actually using such signatures - in systems with Byzantine pr…
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…