A unified theory of shared memory consistency

DOI10.1145/1017460.1017464MaRDI QIDQ3069911zbMATH OpenOpenAlexDBLPWikidataFDO

Authors R. Steinke, Gary J. Nutt

Publication date 1 February 2011

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/cs/0208027

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: Memory consistency models have been developed to specify what values may be returned by a read given that, in a distributed system, memory operations may only be partially ordered. Before this work, consistency models were defined independently. Each model followed a set of rules which was separate from the rules of every other model. In our work we have defined a set of four consistency properties. Any subset of the four properties yields a set of rules which constitute a consistency model. Every consistency model previously described in the literature can be defined based on our four properties. Therefore, we present these properties as a unfied theory of shared memory consistency.

Recommendations

• scientific article; zbMATH DE number 2102714
• Causal memory: definitions, implementation, and programming
• scientific article; zbMATH DE number 1951189
• Remarks on memory consistency description
• Testing Shared Memories

Cited in

(18)

• Structured development of a virtual shared memory system
• Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations
• Relationships between memory models
• From causal consistency to sequential consistency in shared memory systems
• Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture
• MSO Logic for Unambiguous Shared-Memory Systems
• On specification of Read/Write shared variables
• Pervasive Theory of Memory
• Implementing sequentially consistent programs on processor consistent platforms
• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
• scientific article; zbMATH DE number 1950677 (Why is no real title available?)
• Remarks on memory consistency description
• scientific article; zbMATH DE number 1859710 (Why is no real title available?)
• scientific article; zbMATH DE number 2102714 (Why is no real title available?)
• Programmer-centric memory consistency modelling
• Causal memory: definitions, implementation, and programming
• Parallelized sequential composition and hardware weak memory models
• Abstraction for concurrent objects

This page was built for publication: A unified theory of shared memory consistency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3069911)