M. Raynal, A. Schiper  Home/Search
Context Related
| irisa.fr/techreports/1995...PI968.ps.Z 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: cs.ualberta.ca/~ra...dsmbiblio002 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : A shared memory built on top of a distributed system constitutes a Distributed Shared Memory (DSM). If a lot of protocols implementing DSMs in various contexts have been proposed, no set of homogeneous definitions has been given for the many semantics offered by these implementations. This paper provides a suite of such definitions for atomic, sequential, causal, PRAM and a few others consistency criteria. These definitions are based on a unique framework: a parallel computation is defined as ... (Update)
Cited by: More
Allowing Atomic Objects to Coexist with - Sequentially Consistent Objects (2005) (Correct)
A Simple Protocol Offering Both Atomic Consistent Read.. - And Sequentially.. (2005) (Correct)
TODS: Cluster Object Storage Platform Designed for Scalable .. - Zhou, Jin, Wu, Zheng (Correct)
Similar documents (at the sentence level):
53.8%: A Suite of Formal Definitions for Consistency Criteria in.. - Raynal, Schiper (1996) (Correct)
22.1%: From Causal Consistency To Sequential Consistency In Shared.. - Raynal, Schiper (Correct)
9.5%: From Causal Consistency to Sequential Consistency in Shared.. - Raynal, Schiper (Correct)
Active bibliography (related documents): More All
0.3: A Graph-Based Characterization of Communications Modes in.. - Baldoni, Raynal (1995) (Correct)
0.3: From Serializable to Causal Transactions for.. - Raynal Thia-Kime Ahamad (1996) (Correct)
0.3: Facilitating Agent Navigation Using DSM - High Level.. - Pan, Lai, Huseynov.. (2003) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.3: Sequential Consistency in Distributed Systems: Theory and.. - Mizuno, Raynal, Zhou (1995) (Correct)
0.3: Efficient Distributed Detection Of Conjunctions Of.. - Hurfin, Mizuno.. (1996) (Correct)
0.3: Logical Time: A Way to Capture Causality in Distributed Systems - Raynal, Singhal (1995) (Correct)
Related documents from co-citation: More All
8: How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Progr.. (context) - Lamport - 1979
6: Memory Coherence in Shared Virtual Memory Systems - Li, Hudak - 1989
5: The Power of Processor Consistency - Ahamad, Bazzi et al. - 1992
BibTeX entry: (Update)
M. Raynal and A. Shiper. A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories. ISCA Proceedings of the International Conference PDCS, Dijon France, pages 125--130, September 1996. http://citeseer.ist.psu.edu/raynal96suite.html More
@inproceedings{ raynal96suite,
author = "M. Raynal and A. Schiper",
title = "A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories",
booktitle = "Proceedings Int Conf on Parallel and Distributed Computing ({PDCS}'96)",
address = "Dijon, France",
pages = "125--130",
year = "1996",
url = "citeseer.ist.psu.edu/raynal96suite.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978
723 Memory coherence in shared virtual memory systems - Li, Hudak - 1989
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
373 clocks and the ordering of events in a distributed system (context) - Lamport - 1978
361 Reliable communications in the presence of failures (context) - Birman, Joseph - 1987
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
202 Distributed shared memory: a survey of issues and algorithms (context) - Nitzberg, Lo - 1991
189 A majority consensus approach to concurrency control for mul.. (context) - Thomas - 1979
155 Cache coherence protocols: evaluation using a multiprocessor.. (context) - Archibald, Baer - 1986
111 How to assign votes in a distributed system (context) - Garcia-Molina, Barbara - 1985
108 PRAM: a scalable shared memory (context) - Lipton, Sandberg - 1988
83 The causal ordering abstraction and a simple way to implemen.. (context) - Raynal, Schiper et al. - 1991
71 Sequential consistency versus linearizability (context) - Attiya, Welch - 1994
55 A correctness condition for high performance multiprocessors (context) - Attiya, Friedman - 1992
51 A new algorithm to implement causal ordering (context) - Schiper, Eggli et al. - 1989
43 Axioms for memory access in asynchronous hardware systems (context) - Misra - 1986
37 implementations and programming (context) - Ahamad, Hutto et al. - 1995
32 Replication techniques for speeding up parallel applications.. - Bal, Kaashoek et al. - 1992
23 A comparison of two paradigms for distributed shared memory - Levelt, Kaashoek et al. - 1992
22 Mixed consistency: a model for parallel programming - Agrawal, Choy et al. - 1994
17 From causal consistency to sequential consistency in shared .. - Raynal, Schiper - 1995
16 Synchronous and asynchronous communications in distributed s.. (context) - Charron-Bost, Mattern et al. - 1991
16 Shared memory consistency conditions for non sequential exec.. - Attiya, Chaudhuri et al. - 1993
15 Causal memory (context) - Ahamad, Burns et al. - 1991
10 Logically instantaneous message passing in asynchronous dist.. (context) - Soneoka, Ibaraki - 1994
7 ACM Transactions on Programming Languages and Systems (context) - of, in - 1989
5 Theory and Practice in Dist. Systems (context) - Mizuno, Raynal et al. - 1994
5 Synchronous message passing - Murty, Garg - 1993
3 A survey of distributed shared memory systems (context) - Protic, Tomasevi'c et al. - 1995
2 Symposium on Computer Architecture (context) - Adve, Hill et al. - 1990
2 A graph-based characterization of communications modes in di.. - Baldoni, Raynal - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ualberta.ca/~rasit/dsmbiblio/dsmbiblio002.html): More
Critical Sections and Producer/Consumer Queues in Weak Memory.. - Higham, Kawash (1997) (Correct)
Weak Memory Consistency Models. Part II: Process.. - Higham, Kawash, Verwaal (1998) (Correct)
Java: Memory Consistency and Process Coordination - Higham, Kawash (1998) (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