55 citations · 111 across the 14 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.DC2013★ 1 cited
Deconstructing Queue-Based Mutual Exclusion
Wojciech Golab
We formulate a modular approach to the design and analysis of a particular class of mutual exclusion algorithms for shared memory multiprocessor systems. Specifically, we consider…
cs.DC2013
On the k-Atomicity-Verification Problem
Wojciech Golab, Jeremy Hurwitz, Xiaozhou +1
Modern Internet-scale storage systems often provide weak consistency in exchange for better performance and resilience. An important weak consistency property is k-atomicity, which…