Efficient algorithms for verifying memory consistency

Abstract

One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It has been shown in prior work, however, that accurately verifying such compliance even of a single execution result is an NP-complete problem, for an unlimited number of processors… (More)
DOI: 10.1145/1073970.1074011

Topics

6 Figures and Tables