3 papers
cs.DC2026
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…
cs.DC2024
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…
cs.DC2024
Towards Reconfigurable Linearizable Reads
Myles Thiessen, Aleksey Panas, Guy Khazma +1
Linearizable datastores are desirable because they provide users with the illusion that the datastore is run on a single machine that performs client operations one at a time. To r…