Programmer-centric memory consistency modelling

MaRDI QIDQ4904148zbMATH OpenFDO

Authors Lisa Higham, Jalal Kawash, Abhijeet Pareek

Publication date 28 January 2013

Mathematics Subject Classification ID

Distributed systems (68M14) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Automatically comparing memory consistency models
• Relaxed memory models
• A unified theory of shared memory consistency
• scientific article; zbMATH DE number 1951189
• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies

Cited in

(10)

• Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations
• Leveraging access mode declarations in a model for memory consistency in heterogeneous systems
• An operational model for multiprocessors with caches
• Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture
• Pervasive Theory of Memory
• Implementing sequentially consistent programs on processor consistent platforms
• scientific article; zbMATH DE number 1760165 (Why is no real title available?)
• Pitfalls in Memory Consistency Modelling
• scientific article; zbMATH DE number 1859710 (Why is no real title available?)
• Automatically comparing memory consistency models

This page was built for publication: Programmer-centric memory consistency modelling

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