Browsing Waterloo Research by Subject "Distributed systems"
Now showing items 1-1 of 1
-
Analyzing linearizability violations in the presence of read-modify-write operations
(Elsevier, 2018-10-01)We consider an algorithmic problem related to analyzing consistency anomalies in distributed storage systems. Specifically, given a history of read, write, and read-modify-write operations applied by clients, we quantify ...