Strongly Linearizable Implementations of Snapshots and Other Types

Sean Ovens, Philipp Woelfel

Linearizability is the gold standard of correctness conditions for shared memory algorithms, and historically has been considered the practical equivalent of atomicity. However, it…