WEAK MEMORY CONSISTENCY MODELS PART ONE: DEFINITIONS AND COMPARISONS

Simple item page
dc.contributor.authorHigham, Lisaeng
dc.contributor.authorKawash, Jalaleng
dc.contributor.authorVerwaal, Nathalyeng
dc.date.accessioned2008-02-27T22:14:15Z
dc.date.available2008-02-27T22:14:15Z
dc.date.computerscience1999-05-27eng
dc.date.issued1998-01-01eng
dc.description.abstractModern 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.eng
dc.description.notesWe are currently acquiring citations for the work deposited into this collection. We recognize the distribution rights of this item may have been assigned to another entity, other than the author(s) of the work.If you can provide the citation for this work or you think you own the distribution rights to this work please contact the Institutional Repository Administrator at digitize@ucalgary.caeng
dc.identifier.department1998-612-03eng
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/30837
dc.identifier.urihttp://hdl.handle.net/1880/45993
dc.language.isoEngeng
dc.publisher.corporateUniversity of Calgaryeng
dc.publisher.facultyScienceeng
dc.subjectComputer Scienceeng
dc.titleWEAK MEMORY CONSISTENCY MODELS PART ONE: DEFINITIONS AND COMPARISONSeng
dc.typeunknown
thesis.degree.disciplineComputer Scienceeng
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
1998-612-03.pdf
Size:
241.45 KB
Format:
Adobe Portable Document Format
Description:
Download
Thumbnail Image
Name:
1998-612-03.ps.gz
Size:
113.85 KB
Format:
Unknown data format
Description:
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
1.86 KB
Format:
Plain Text
Description:
Download
Collections
Science Research & Publications