(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