Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee +1

Designing scalable concurrent objects, which can be efficiently used on multicore processors, often requires one to abandon standard specification techniques, such as linearizabili…