@inproceedings{7696da88252f4020b284c83128d793b2,
title = "Weak ordering - a new definition",
abstract = "A memory model for a shared memory, multiprocessor commonly and often implicitly assumed by programmers is that of sequenfiaf consisfency. This model guaranteest hat all memory accessesw ill appear to execute atomically and in program order. An alternative model, weak ordering, offers greater performance potential. Weak ordering was first defined by Dubois, Scheurich and Briggs in terms of a set of rules for hardware that have to be made visible to software. The central hypothesis of this work is that programmers prefer to reason about sequentially consistent memory, rather than having to think about weaker memory. or even write buffers. Following this hypothesis, we re-define weak ordering as a contract between software and hardware. By this contract. software agrees to some formally specified constraints, and hardware agrees to appear sequentially consistent to at least the software that obeys those constraints. We illusuate the power of the new definition with a set of software constraints that forbid data races and an implementation for cache-coherent systems that is not allowed by the old definition.",
keywords = "sequential consistency, shared-memory multiprocessor, weak ordering",
author = "Adve, {Sarita V.} and Hill, {Mark D.}",
note = "Publisher Copyright: {\textcopyright} 1998 Institute of Electrical and Electronics Engineers Inc.. All rights reserved.; 25th International Symposium on Computer Architecture, ISCA 1998 ; Conference date: 27-06-1998 Through 02-07-1998",
year = "1998",
month = aug,
day = "1",
doi = "10.1145/285930.285996",
language = "English (US)",
series = "Proceedings - International Symposium on Computer Architecture",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "363--375",
editor = "Sohi, {Gurindar S.}",
booktitle = "ISCA 1998 - 25 years of the International Symposia on Computer Architecture (Selected Papers)",
address = "United States",
}