Verifying sequential consistency using vector clocks
Harold W. Cain, Mikko H. Lipasti · 2002
We present an algorithm for dynamically verifying that the execution of a multithreaded program is sequentially consistent. The algorithm uses a vector-timestamp logical time mechanism to construct and verify the acyclic nature of an execution's constraint graph.