A suite of definitions for consistency criteria in distributed shared memories

No abstract is available for this paper.

• Publication year

  1997

• Venue

  Ann. des Télécommunications

• Publication date

  1997-11-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/BF02997620
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

  2016cited by this paper
• Retrospective: weak ordering—a new definition

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Retrospective: memory consistency and event ordering in scalable shared-memory multiprocessors

  1998cited by this paper
• A Suite of Formal Definitions for Consistency Criteria in Distributed Shared Memories

  1996cited by this paper
• A survey of distributed shared memory systems

  1995influential reference
• From Causal Consistency to Sequential Consistency in Shared Memory Systems

  1995influential reference
• A Graph-Based Characterization of Communications Modes In Distributed Executions

  1995cited by this paper
• Sequential Consistency in Distributed Systems

  1994cited by this paper
• Mixed consistency: a model for parallel programming (extended abstract)

  1994cited by this paper
• Sequential consistency versus linearizability

  1994cited by this paper
• Logically Instantaneous Message Passing in Asynchronous Distributed Systems

  1994cited by this paper
• Lazy caching

  1993cited by this paper
• Shared memory consistency conditions for non-sequential execution: definitions and programming strategies

  1993cited by this paper
• The Midway distributed shared memory system

  1993cited by this paper
• Synchronous Message Passing

  1993cited by this paper
• Replication techniques for speeding up parallel applications on distributed systems

  1992cited by this paper
• A correctness condition for high-performance multiprocessors

  1992cited by this paper
• A correctness condition for high-performance multiprocessors (extended abstract)

  1992cited by this paper
• Lazy Release Consistency for Software Distributed Shared Memory

  1992cited by this paper
• A comparison of two paradigms for distributed shared memory

  1992influential reference
• The Causal Ordering Abstraction and a Simple Way to Implement it

  1991cited by this paper
• Causal Memory

  1991cited by this paper
• Distributed shared memory: a survey of issues and algorithms

  1991cited by this paper
• Linearizability: a correctness condition for concurrent objects

  1990cited by this paper
• A New Algorithm to Implement Causal Ordering

  1989cited by this paper
• Synchronization of asynchronous processes in CSP

  1989cited by this paper
• Reliable communication in the presence of failures

  1987cited by this paper
• Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP

  1987cited by this paper
• Cache coherence protocols: evaluation using a multiprocessor simulation model

  1986cited by this paper
• Memory coherence in shared virtual memory systems

  1986influential reference
• How to assign votes in a distributed system

  1985cited by this paper
• Communicating sequential processes

  1983cited by this paper
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs

  1979cited by this paper
• A Majority consensus approach to concurrency control for multiple copy databases

  1979cited by this paper
• Time, clocks, and the ordering of events in a distributed system

  1978cited by this paper
• Categories and Subject Descriptors: D.l.3 [Programming Techniques]: Concurrent Programming

  year unknowncited by this paper

• Unifying Concurrent Objects and Distributed Tasks

  2018cites this paper
• Cohérence dans les systèmes de stockage distribués: fondements théoriques avec applications au cloud storage. (Consistency in distributed storage systems: theoretical foundations with applications to cloud storage)

  2017cites this paper
• Consistency in Non-Transactional Distributed Storage Systems

  2015cites this paper
• Specifying Concurrent Problems: Beyond Linearizability and up to Tasks - (Extended Abstract)

  2015cites this paper
• THÈSE / UNIVERSITÉ DE RENNES 1 sous le sceau de l'Université Européenne de Bretagne pour le grade de DOCTEUR DE L'UNIVERSITÉ DE RENNES 1 Mention : Informatique Ecole doctorale MATISSE présentée par

  2010cites this paper
• On specification of Read/Write shared variables

  2007cites this paper
• View consistencies and exact implementations

  2003cites this paper
• TODS: cluster object storage platform designed for scalable services

  2002cites this paper
• Consistency requirements of distributed shared memory for Dijkstra's mutual exclusion algorithm

  2000cites this paper
• Consistency requirements of distributed shared memory for Lamport's bakery algorithm for mutual exclusion

  2000cites this paper
• Views and consistencies in distributed shared memory

  2000cites this paper
• A new consistency protocol implemented in the CAliF system

  1997cites this paper
• Distributed shared memory layer for cooperative work applications

  1997cites this paper