Relationships between memory models

DOI10.1016/J.IPL.2004.01.007zbMATH Open1178.68117OpenAlexW2166005724MaRDI QIDQ2390217FDOQ2390217

J. Bernabéu, Vicent Cholvi

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

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

zbMATH Keywords

concurrencydistributed systemsformal methodsmemory modelsconsistency models

Mathematics Subject Classification ID

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

Cites Work

• 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
• Title not available (Why is that?)
• Axioms for memory access in asynchronous hardware systems

Cited In (4)

• Title not available (Why is that?)
• Implementing sequentially consistent programs on processor consistent platforms
• Relaxed memory models
• Principles of Distributed Systems

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)