research
∙
10/29/2020
A more Pragmatic Implementation of the Lock-free, Ordered, Linked List
The lock-free, ordered, linked list is an important, standard example of...
share
research
∙
05/21/2018
Stamp-it: A more Thread-efficient, Concurrent Memory Reclamation Scheme in the C++ Memory Model
We present Stamp-it, a new, concurrent, lock-less memory reclamation sch...
research
∙
03/12/2018
Memory Models for C/C++ Programmers
The memory model is the crux of the concurrency semantics of shared-memo...
research
∙
12/17/2017