Substep Linearizability: Relaxing Atomicity While Preserving Sequential Specification

Finn Hackett, Evan Wrench, Ivan Beschastnikh +1

Linearizability is a standard correctness condition for concurrent objects. It takes a correct by construction sequential specification of a concurrent data structure, and produces…