Sarita V. Adve  Home/Search
Context Related
| uiuc.edu/~sadve/Pu...odels_framework.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uiuc.edu/~sadve/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The memory consistency model of a shared-memory system is a formal specification of the semantics of sharedmemory. (Update)
Context of citations to this paper: More
.... investigated constrained programming styles or techniques for labeling memory accesses so that proper synchronization is guaranteed [10, 9, 1, 11]. In particular, the notion of properly labeled programs (PLP) emerged. Memory accesses are classified as ordinary or special....
.... to the problem of non sequentially consistent memory was investigated independently at Stanford [12, 11] and Wisconsin Madison [1, 2, 4], and lead to the notions of Properly Labeled (PL) and Data Race Free (DRF) respectively. PL constitutes a constrained style programming...
Cited by: More
Prescriptive Performance Tuning: The RX Approach - Rajamony (1998) (Correct)
Weak Memory Consistency Models. Part I: Definitions and.. - Higham, Kawash, Verwaal (1998) (Correct)
Weak Memory Consistency Models. Part II: Process.. - Higham, Kawash, Verwaal (1998) (Correct)
Similar documents (at the sentence level):
63.2%: Using Information from the Programmer to Implement System.. - Adve (1996) (Correct)
Active bibliography (related documents): More All
1.2: Designing Memory Consistency Models For Shared-Memory.. - Adve (1993) (Correct)
0.4: An Evaluation of Memory Consistency Models for.. - Parthasarathy.. (Correct)
0.4: Shared Memory Consistency Models: A Tutorial - Adve, Gharachorloo (1995) (Correct)
Similar documents based on text: More All
0.5: Recent Advances in Memory Consistency Models for Hardware .. - Adve, Pai, Ranganathan (1999) (Correct)
0.4: Sarita V. Adve Mark D. Hill - Dept Of (Correct)
0.4: Programming for Different Memory Consistency Models - Gharachorloo (1992) (Correct)
Related documents from co-citation: More All
2: Programming for different memory consistency models - Gharachorloo, Adve et al. - 1992
2: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progr.. (context) - Lamport - 1979
2: Memory Consistency and Event Ordering in Scalable Shared-memory Multiprocessors - Gharachorloo, Lenoski - 1990
BibTeX entry: (Update)
S. V. Adve. Using information from the programmer to implement system optimizations without violating sequential consistency. Technical Report ECE 9603, Department of Electrical and Computer Engineering, Rice University, March 1996. http://citeseer.ist.psu.edu/article/adve98using.html More
@inproceedings{ adve98using,
author = "Vikram S. Adve and John M. Mellor-Crummey",
title = "Using Integer Sets for Data-Parallel Program Analysis and Optimization",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "186-198",
year = "1998",
url = "citeseer.ist.psu.edu/article/adve98using.html" }
Citations (may not include all citations):606 How to Make a Multiprocessor Computer That Correctly Execute.. (context) - Lamport - 1979
468 Memory Consistency and Event Ordering in Scalable Shared-Mem.. - Gharachorloo, Lenoski et al. - 1990
358 The Tera Computer System - Alverson, Callahan et al. - 1990
341 Parallel Programming in Split-C - Culler, Dusseau et al. - 1993
300 Lazy Release Consistency for Software Distributed Shared Mem.. - Keleher, Cox et al. - 1992
213 Weak Ordering - A New Definition - Adve, Hill - 1990
176 Shared Memory Consistency Models: A Tutorial - Adve, Gharachorloo - 1996
165 Memory Access Buffering in Multiprocessors (context) - Dubois, Scheurich et al. - 1986
133 A Unified Formalization of Four Shared-Memory Models - Adve, Hill - 1993
113 Midway: Shared memory parallel programming with entry consis.. - Bershad, Zekauskas - 1991
81 The SPARC Architecture Manual - International - 1993
70 Efficient and Correct Execution of Parallel Programs that Sh.. (context) - Shashaand, Snir - 1988
57 Reasoning about Parallel Architectures (context) - Collier - 1992
55 A Correctness Condition for High-Performance Multiprocessors (context) - Attiya, Friedman - 1992
54 Two Techniques to Enhance the Performance of Memory Consiste.. - Gharachorloo, Gupta et al. - 1991
42 Proving Sequential Consistency of High-Performance Shared Me.. (context) - Gibbons, Merritt et al. - 1991
38 An Evaluation of Memory Consistency Models for Shared-Memory.. - Pai, Ranganathan et al. - 1996
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
27 The SPARC Architecture Manual (context) - Inc - 1991
25 Race-Free Interconnection Networks and Multiprocessor Consis.. - Landin, Hagersten et al. - 1991
21 Specifying Nonblocking Shared Memories (context) - Gibbons, Merritt - 1992
19 Optimizing Parallel Programs with Explicit Synchronization - Krishnamurthy, Yelick - 1995
18 Compiling Programs with User Parallelism (context) - Midkiff, Padua et al. - 1989
16 Shared Memory Consistency Conditions for Non-Sequential Exec.. - Attiya, Chaudhuri et al. - 1993
15 Using Speculative Retirement and Larger Instruction Windows .. - Ranganathan, Pai et al. - 1997
12 Optimizing Parallel SPMD Programs - Krishnamurthy, Yelick - 1994
11 Specifying System Requirements for Memory Consistency Models (context) - Gharachorloo, Adve et al. - 1993
9 Sufficient Conditions for Implementing the Data-Race-Free-1 .. - Adve, Hill - 1992
7 A Formal Specification of the PowerPC Shared Memory Architec.. (context) - Corella, Stone et al. - 1993
6 Replacing Locks by Higher-Level Primitives - Adve, Cox et al. - 1994
5 Alpha Architecture Reference Manual (context) - Corporation - 1992
4 Access Graphs: A Model for Investigating Memory Consistency (context) - Linder, Harden - 1994
3 Sufficient System Requirements for Supporting the PLpc Memor.. - Adve, Gharachorloo et al. - 1993
3 Implementation Issues for Multiprocessor Consistency Models (context) - Carlton - 1991
Documents on the same site (http://rsim.cs.uiuc.edu/~sadve/): More
Replacing Locks by Higher-Level Primitives - Adve, Cox, Dwarkadas, Zwaenepoel (1994) (Correct)
The Impact of Instruction-Level Parallelism on Multiprocessor.. - Pai (1997) (Correct)
The Interaction of Software Prefetching with ILP.. - Ranganathan, Pai.. (1997) (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