Defining Correctness Conditions for Concurrent Objects in Multicore Architectures

摘要

Correctness of concurrent objects is defined in terms of conditions that determine allowable relationships between histories of a concurrent object and those of the corresponding sequential object. Numerous correctness conditions have been proposed over t