Complexity of Consistency Testing for the Release-Acquire Semantics

R. Govind, S. Krishna, Sanchari Sil +1

In a seminal work, Gibbons and Korach studied the complexity of deciding whether an observed sequence of reads and writes of a multi-threaded program admits a sequentially consiste…