Back to Results
First PageMeta Content
Concurrency control / Computing / Computer programming / Concurrent computing / Non-blocking algorithm / Hazard pointer / Mutual exclusion / Lock / Concurrent data structure / Synchronization / Compare-and-swap / Linearizability


Preprint – March 28, 2013 Quantitative Reasoning for Proving Lock-Freedom Jan Hoffmann Michael Marmar
Add to Reading List

Document Date: 2013-03-28 17:48:03

Open Document

File Size: 514,63 KB

Share Result on Facebook