loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
21st IEEE International Conference on Distributed Computing Systems (ICDCS'01)
A Lattice Based Framework of Shared Memory Consistency Models
Mesa, AZ
April 16-April 19
ISBN: 0-7695-1077-9
Robert C. Steinke, University of Colorado at Boulder
Gary J. Nutt, University of Colorado at Boulder
Abstract: A memory consistency model specifies certain aspects of the behavior of a memory system. Stronger consistency models are easier for programmers to use, but provide less flexibility for optimizing the memory implementation. More relaxed consistency models are just the opposite. The goal of our work is to develop a framework that captures the relationships among existing models, and maps the territory of possible models that have not yet been discovered. This work is based on the idea of orthogonal consistency properties. We hypothesize that all consistency models can be represented by different combinations of a few primitive properties. The work in this paper comes from examining the PRAM, cache, processor, and causal consistency models. Processor is a combination of PRAM and cache, and causal is a combination of PRAM plus an additional requirement. These factors suggest an underlying structure to the models.
Citation:
Robert C. Steinke, Gary J. Nutt, "A Lattice Based Framework of Shared Memory Consistency Models," icdcs, pp.0703, 21st IEEE International Conference on Distributed Computing Systems (ICDCS'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.