Browsing Theses by Supervisor "Brown, Trevor A."
Now showing items 1-1 of 1
-
Concurrent Data Structures Using Multiword Compare and Swap
(University of Waterloo, 2020-05-04)To maximize the performance of concurrent data structures, researchers have turned to highly complex fine-grained techniques. Resulting algorithms are often extremely difficult to understand and prove correct, allowing for ...