See this document in CiteSeerX!

Shared Memory Consistency Models: A Tutorial (1995)  (Make Corrections)  (176 citations)
Sarita V. Adve, Kourosh Gharachorloo
IEEE Computer



  Home/Search   Context   Related

 
View or download:
casaturn.kaist.ac.kr/~sika...AG95.ps.gz
rice.edu/ece/facul...dels_tutorial.ps.Z
rice.edu/~sarita/P...models_tutorial.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  casaturn.kaist.ac.kr/~sikang/c... (more)
From:  rice.edu/~sarita/
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Parallel systems that support the shared memory abstraction are becoming widely accepted in many areas of computing. Writing correct and efficient programs for such systems requires a formal specification of memory semantics, called a memory consistency model. The most intuitive model---sequential consistency---greatly restricts the use of many performance optimizations commonly used by uniprocessor hardware and compiler designers, thereby reducing the benefit of using a multiprocessor. To... (Update)

Cited by:   More
Exploiting Cache Locality At Run-Time - Yan (1998)   (Correct)
The Pensieve Project: A Compiler Infrastructure for Memory.. - Chi-Leung Wong Zehra   (Correct)
Safety and Consistency in Policy-Based Authorization Systems - Lee, Winslett (2006)   (Correct)

Active bibliography (related documents):   More   All
0.4:   Using Information from the Programmer to Implement System.. - Adve (1996)   (Correct)
0.4:   Using Information from the Programmer to Implement Shared-Memory.. - Adve (1998)   (Correct)
0.2:   Recent Advances in Memory Consistency Models for Hardware .. - Adve, Pai, Ranganathan (1999)   (Correct)

Similar documents based on text:   More   All
0.3:   Cross-Layer Adaptive Video Coding to Reduce Energy on.. - Sachs, Adve, Jones (2003)   (Correct)
0.3:   Memory Consistency Models for Shared-Memory Multiprocessors - Gharachorloo (1995)   (Correct)
0.3:   Fine-Grain Software Distributed Shared Memory on SMP.. - Scales, Gharachorloo.. (1997)   (Correct)

Related documents from co-citation:   More   All
49:   How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progr.. (context) - Lamport - 1979
28:   Memory Consistency and Event Ordering in Scalable Shared-memory Multiprocessors - Gharachorloo, Lenoski - 1990
25:   Lazy release consistency for software distributed shared memory - Keleher, Cox et al. - 1992

BibTeX entry:   (Update)

S. V. Adve and K. Gharachorloo, "Shared memory consistency models: A tutorial," in Technical Report WRL-TR 95/7, Digital Western Research Laboratiry, September, 1995. http://citeseer.ist.psu.edu/adve95shared.html   More

@article{ adve96shared,
    author = "S. V. Adve and K. Gharachorloo",
    title = "Shared Memory Consistency Models: {A} Tutorial",
    journal = "IEEE Computer",
    volume = "29",
    number = "12",
    pages = "66--76",
    year = "1996",
    url = "citeseer.ist.psu.edu/adve95shared.html" }
Citations (may not include all citations):
606   How to make a multiprocessor computer that correctly execute.. (context) - Lamport - 1979
213   Weak ordering - A new definition - Adve, Hill - 1990
165   Memory access buffering in multiprocessors (context) - Dubois, Scheurich et al. - 1986
155   Alpha Architecture Reference Manual (context) - Sites - 1992
133   A unified formalization of four shared-memory models - Adve, Hill - 1993
130   Memory consistency and event ordering in scalable shared-mem.. (context) - Gharachorloo, Lenoski et al. - 1990
130   Memory consistency and event ordering in scalable shared-mem.. (context) - Gharachorloo, Gupta et al. - 1993
92   Performance evaluation of memory consistency models for shar.. - Gharachorloo, Gupta et al. - 1991
70   Efficient and correct execution of parallel programs that sh.. (context) - Shasha, Snir - 1988
54   Two techniques to enhance the performance of memory consiste.. - Gharachorloo, Gupta et al. - 1991
42   Hiding memory latency using dynamic scheduling in sharedmemo.. (context) - Gharachorloo, Gupta et al. - 1992
41   The PowerPC Architecture: A Specification for a New Family o.. (context) - May, Silha et al. - 1994
38   Programming for different memory consistency models - Gharachorloo, Adve et al. - 1992
36   Designing Memory Consistency Models for Shared-Memory Multip.. - Adve - 1993
34   Memory Consistency Models for Shared-Memory Multiprocessors - Gharachorloo - 1995
17   Sun Microsystems Inc (context) - Architecture - 1991
12   Optimizing parallel SPMD programs - Krishnamurthy, Yelick - 1994
11   Specifying system requirements for memory consistency models (context) - Gharachorloo, Adve et al. - 1993
7   A formal specification of the PowerPC shared memory architec.. (context) - Corella, Stone et al. - 1993
1   Publication Number GA22-7000-9 (context) - System, Operation et al. - 1983



The graph only includes citing articles where the year of publication is known.


Documents on the same site (http://casaturn.kaist.ac.kr/~sikang/course/CS614/):   More
Weak Ordering - A New Definition - Adve (1990)   (Correct)
Thread Migration and its Applications in Distributed.. - Itzkovitz, Schuster, .. (1996)   (Correct)
Trace-driven Memory Simulation: A Survey - Uhlig, Mudge   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC