Implementing sequentially consistent programs on processor consistent platforms

DOI10.1016/J.JPDC.2007.07.002MaRDI QIDQ436746zbMATH OpenOpenAlexFDO

Authors Lisa Higham, Jalal Kawash

Publication date 26 July 2012

Published in Journal of Parallel and Distributed Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jpdc.2007.07.002

zbMATH Keywords

memory consistency modelsprocessor consistencyprogram transformationsequential consistencyTest\&Setwait-freedom

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 1696665
• The complexity of weak consistency
• Testing Shared Memories
• Programmer-centric memory consistency modelling
• Causal memory: definitions, implementation, and programming

Cites work

• A new solution of Dijkstra's concurrent programming problem
• A unified theory of shared memory consistency
• Computer Aided Verification
• Distributed systems. Principles and paradigms.
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• scientific article; zbMATH DE number 4082934 (Why is no real title available?)
• Myths about the mutual exclusion problem
• Randomized wait-free concurrent objects (extended abstract)
• Relationships between memory models
• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies

Cited in

(2)

• Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations
• Languages and Compilers for Parallel Computing

This page was built for publication: Implementing sequentially consistent programs on processor consistent platforms

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