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…