Relationships between memory models

DOI10.1016/J.IPL.2004.01.007MaRDI QIDQ2390217zbMATH OpenOpenAlexFDO

Authors Vicent Cholvi, J. Bernabéu

Publication date 21 July 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2004.01.007

zbMATH Keywords

concurrencydistributed systemsformal methodsmemory modelsconsistency models

Mathematics Subject Classification ID

Distributed systems (68M14) Computer system organization (68M99)

Recommendations

• A formal hierarchy of weak memory models
• scientific article; zbMATH DE number 1760040
• scientific article; zbMATH DE number 1951189
• Structured development of a virtual shared memory system
• A unified theory of shared memory consistency

Cites work

• scientific article; zbMATH DE number 107700 (Why is no real title available?)
• Axioms for memory access in asynchronous hardware systems
• Causal memory: definitions, implementation, and programming
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• On interprocess communication. II: Algorithms
• Time, clocks, and the ordering of events in a distributed system

Cited in

(4)

• Implementing sequentially consistent programs on processor consistent platforms
• Principles of Distributed Systems
• Relaxed memory models
• scientific article; zbMATH DE number 1760040 (Why is no real title available?)

This page was built for publication: Relationships between memory models

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