Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/45993
Title: WEAK MEMORY CONSISTENCY MODELS PART ONE: DEFINITIONS AND COMPARISONS
Authors: Higham, Lisa
Kawash, Jalal
Verwaal, Nathaly
Keywords: Computer Science
Issue Date: 1-Jan-1998
Abstract: Modern multiprocessors incorporate sophisticated memory structures in order to enhance performance. These structures allow processes to have inconsistent views of memory, which can, in turn, result in unexpected program outcomes. A memory consistency model is a set of guarantees that imposes constraints on the possible outcomes of sequences of interleaved and simultaneous operations in a multiprocessor. This paper presents a unifying framework to describe, compare and reason about memory consistency models. The framework is then used to give rigorous definitions of several widely used consistency models. These definitions are also shown to correspond to simple machine architectures. For each pair of models discussed, it is determined whether one is strictly stronger than the other or whether the two are incomparable.
URI: http://hdl.handle.net/1880/45993
Appears in Collections:Higham, Lisa
Kawash, Jalal
Verwaal, Nathaly Maria

Files in This Item:
File Description SizeFormat 
1998-612-03.pdf241.45 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.