Browsing University of Waterloo by Subject "durable linearizbility"
Now showing items 1-1 of 1
-
The Fence Complexity of Persistent Sets
(University of Waterloo, 2021-09-21)This thesis studies fence complexity of concurrent sets in a non-volatile shared memory model. I consider the case where CPU registers and cache memory remain volatile while main memory is non-volatile. Flush instructions ...