A Framework for Consistency Algorithms

Peter Chini, Prakash Saivasan

We present a framework that provides deterministic consistency algorithms for given memory models. Such an algorithm checks whether the executions of a shared-memory concurrent pro…