See this document in CiteSeerX!

Mixed Consistency: A Model for Parallel Programming (Extended Abstract) (1994)  (Make Corrections)  (22 citations)
Divyakant Agrawal, Manhoi Choy, Hong Va Leong, Ambuj K. Singh
Symposium on Principles of Distributed Computing



  Home/Search   Context   Related

 
View or download:
polyu.edu.hk/~cshleong/pa...mixed.ps.gz
msu.edu/~wrightr7/cps822/podc.ps
polyu.edu.hk/~cshleong/pa...mixed.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  polyu.edu.hk/~cshleong/ (more)
From:  msu.edu/~wrightr7/cps822...cps822
(Enter author homepages)

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

Abstract: A general purpose parallel programmingmodel called mixed consistency is developed for distributed shared memory systems. This model combines two kinds of weak memory consistency conditions: causal memory and pipelined random access memory, and provides four kinds of explicit synchronization operations: read locks, write locks, barriers, and await operations. The resulting suite of memory and synchronization operations can be tailored to solve most programming problems in an efficient manner.... (Update)

Context of citations to this paper:   More

...for readers of shared data; coherence can be maintained for only part of a segment by using views. Friedman [17] and Agrawal et al. [1] have shown how to combine certain pairs of consistency models in a non version based system. Alonso et al. 2] present a general system for...

Cited by:   More
Shared State for Heterogeneous Distributed Systems - Chen, Tang, Dwarkadas, Scott (2002)   (Correct)
Consistent Implementations of Replicated Objects - Choy   (Correct)
Hundreds of Impossibility Results for Distributed Computing - Fich, Ruppert   (Correct)

Active bibliography (related documents):   More   All
0.4:   Distributed Parallel Computing in Mermera: Mixing.. - Abdelsalam Heddaya (1996)   (Correct)
0.4:   Evaluating Weak Memories with Maya - Agrawal, Choy, Leong, Singh (1994)   (Correct)
0.3:   Causal Memory: Definitions, Implementation and Programming - Ahamad, Neiger, Burns.. (1994)   (Correct)

Similar documents based on text:   More   All
0.5:   Memory Consistency and Event Ordering in Scalable.. - Gharachorloo.. (1990)   (Correct)
0.1:   The Global Array Programming Model for High.. - Nieplocha.. (1995)   (Correct)
0.1:   Maya: A Simulation Platform for Parallel Architectures.. - Agrawal, Choy, Leong.. (1993)   (Correct)

Related documents from co-citation:   More   All
14:   How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progr.. (context) - Lamport - 1979
13:   Sequential consistency versus linearizability (context) - Attiya, Welch - 1991
13:   Linearizability: A correctness condition for concurrent objects (context) - Herlihy, Wing - 1992

BibTeX entry:   (Update)

D. Agrawal, M. Choy, H.V. Leong, and A.K. Singh. Mixed consistency: a model for parallel programming. In Proc. 13th ACM Symp. on Principles of Distributed Computing, Los Angeles, California, pages 101--110, Aug. 1994. http://citeseer.ist.psu.edu/agrawal94mixed.html   More

@inproceedings{ agrawal94mixed,
    author = "Divyakant Agrawal and Manhoi Choy and Hong Va Leong and Ambuj K. Singh",
    title = "Mixed Consistency: A Model for Parallel Programming (Extended Abstract)",
    booktitle = "Symposium on Principles of Distributed Computing",
    pages = "101-110",
    year = "1994",
    url = "citeseer.ist.psu.edu/agrawal94mixed.html" }
Citations (may not include all citations):
723   Memory coherence in shared virtual memory systems - Li, Hudak - 1989
606   How to make a multiprocessor computer that correctly execute.. (context) - Lamport - 1979
478   The Stanford DASH multiprocessor (context) - Lenoski, Laudon et al. - 1992
468   Memory consistency and event ordering in scalable shared-mem.. - Gharachorloo, Lenoski et al. - 1990
422   Implementation and performance of Munin - Carter, Bennett et al. - 1991
346   Computer Solution of Large Sparse Positive Definite Systems (context) - George, Liu - 1981
341   Parallel programming in Split-C - Culler, Dusseau et al. - 1993
326   Linearizability: a correctness condition for concurrent obje.. (context) - Herlihy, Wing - 1990
301   The Midway distributed shared memory system (context) - Bershad, Zekauskas et al. - 1993
300   Lazy release consistency for software distributed shared mem.. - Keleher, Cox et al. - 1992
218   Parallelism in random access machines (context) - Fortune, Wyllie - 1978
213   Weak ordering - A new definition - Adve, Hill - 1990
165   Memory access buffering in multiprocessors (context) - Dubois, Scheurich et al. - 1986
108   PRAM: A scalable shared memory (context) - Lipton, Sandberg - 1988
55   A correctness condition for high-performance multiprocessors (context) - Attiya, Friedman - 1992
43   Axioms for memory access in asynchronous hardware systems (context) - Misra - 1986
41   Divergence preserving discrete surface integral methods for .. (context) - Madsen - 1992
38   Programming for different memory consistency models - Gharachorloo, Adve et al. - 1992
36   The impact of recovery on concurrency control (context) - Weihl - 1989
27   Georgia Institute of Technology (context) - Ahamad, Neiger et al. - 1993
26   On interprocess communication: Parts I and II (context) - Lamport - 1986
21   Specifying nonblocking shared memories (context) - Gibbons, Merritt - 1992
16   Shared memory consistency conditions for non-sequential exec.. - Attiya, Chaudhuri et al. - 1993
14   and Gil Neiger (context) - Ahamad, Burns et al. - 1991
8   Exploiting the Memory Hierarchy in Sequential and Parallel S.. (context) - Rothberg - 1992
6   Loosely-coupled processes - Misra - 1991
6   A framework for programming using non-atomic variables (context) - Singh - 1994
5   Memo: Distributed shared memory on standard workstations and.. (context) - Keleher, Dwarkadas et al. - 1993
1   Investigating weak memories using Maya (context) - Agrawal, Choy et al. - 1994



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


Documents on the same site (http://www.comp.polyu.edu.hk/~cshleong/):
On Distributed Object Checkpointing and Recovery - Choy, Leong, Wong (1995)   (Correct)
Using Message Semantics to Reduce Rollback in Optimistic.. - Leong, Agrawal (1994)   (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