The weakest reasonable memory model

A memory model is some description of how memory behaves in a parallel computer s ystem. While there is consensus that sequential consistency [Lamport 1979] is the str onge t memory model, nobody seems to have tried to identify the weakest memory model. This thesis concerns itself with precisely this problem. We cannot hope to identify the weakest memory model unless we specify a minimal s et of properties we want it to obey. In this thesis, we identify five such propertie s: completeness, monotonicity, constructibility, nondeterminism confinement, and classica lity. Constructibility is especially interesting, because a nonconstructible model ca nnot be implemented exactly, and hence every implementation necessarily supports a str onger model. One nonconstructible model is, for example, dag consistency [Blumofe et al. 1996a]. We argue (with some caveats) that if one wants the five properties, then locat ion onsistency is the weakest reasonable memory model. In location consistency, every memory location is serialized, but different locations may be serialized independe ntly. (Location consistency is sometimes called coherence [Hennessy and Patterson 1996], and our location consistency isnot the model with the same name proposed by Gao and Sarkar [1994].) We obtain these results within a computation-centric theory of memory models, w here memory models are defined independently of scheduling issues and language semantics.