Implementing sequentially consistent programs on processor consistent platforms

DOI10.1016/j.jpdc.2007.07.002zbMath1243.68319OpenAlexW2086669962MaRDI QIDQ436746

Jalal Kawash, Lisa Higham

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

program transformationsequential consistencywait-freedommemory consistency modelsprocessor consistencyTest\&Set

Mathematics Subject Classification ID

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

Related Items (1)

Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations

Cites Work

• Myths about the mutual exclusion problem
• Relationships between memory models
• A unified theory of shared memory consistency
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies
• A new solution of Dijkstra's concurrent programming problem
• Randomized wait-free concurrent objects (extended abstract)
• Computer Aided Verification
• Unnamed Item
• Unnamed Item

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