Overhauling SC atomics in C11 and OpenCL

DOI10.1145/2837614.2837637zbMath1347.68034arXiv1503.07073OpenAlexW1945229733MaRDI QIDQ2828302

Mark Batty, John Wickerson, Alastair F. Donaldson

Publication date: 24 October 2016

Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1503.07073

zbMATH Keywords

formal methodsgraphics processing unit (GPU)weak memory modelsHOL theorem proverlanguage designheterogeneous programmingprogram simulation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Modular Relaxed Dependencies in Weak Memory Concurrency ⋮ Making Linearizability Compositional for Partially Ordered Executions

Uses Software

• OpenCL
• CDSChecker

This page was built for publication: Overhauling SC atomics in C11 and OpenCL