lock-freedom

Strongly Linearizable Implementations of Snapshots and Other Types

Linearizability is the gold standard of correctness conditions for shared memory algorithms, and historically has been considered the …

Sean Ovens, Philipp Woelfel