Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Specifying System Requirements for Memory Consistency Models \Lambda

Summary: Specifying System Requirements
for Memory Consistency Models \Lambda
Kourosh Gharachorloo y , Sarita V. Adve z ,
Anoop Gupta y , John L. Hennessy y , and Mark D. Hill z
y Computer System Laboratory
Stanford University
Stanford, CA 94305
z Computer Sciences Department
University of Wisconsin
Madison, Wisconsin 53706
Stanford University Technical Report CSL­TR­93­594
University of Wisconsin­Madison Computer Sciences Technical Report #1199
The memory consistency model of a shared­memory system determines the order in which memory
accesses can be executed by the system, and greatly affects the implementation and performance of
the system. To aid system designers, memory models either directly specify, or are accompanied by, a
set of low­level system conditions that can be easily translated into a correct implementation. These
sufficient conditions play a key role in helping the designer determine the architecture and compiler
optimizations that may be safely exploited under a specific model. Therefore, these conditions should
obey three important properties. First, they should be unambiguous. Second, they should be feasibly


Source: Adve, Sarita - Department of Computer Science, University of Illinois at Urbana-Champaign


Collections: Computer Technologies and Information Sciences