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)
Similar documents based on text: More All
0.4: From Causal Consistency To Sequential Consistency In Shared.. - Raynal, Schiper (Correct)
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)
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
[Article contains additional citations not shown here]
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