Higham, LisaKawash, JalalVerwaal, Nathaly2008-02-272008-02-271997-06-01http://hdl.handle.net/1880/45991Because multiprocessors implement sophisticated memory structures in order to enhance performance, processes can have inconsistent views of memory which may result in unexpected program outcomes. A memory consistency model is a set of guarantees that describes constraints on the outcome of sequences of interleaved and simultaneous operations in a multiprocessor. In this paper, we present a unifying framework to describe, understand, and compare memory consistency models. The framework is used to redefine and compare several widely used memory consistency models.EngComputer Scienceunknown1997-603-0510.11575/PRISM/30823