Overhauling SC atomics in C11 and OpenCL

Abstract

Despite the conceptual simplicity of sequential consistency (SC), the semantics of SC atomic operations and fences in the C11 and OpenCL memory models is subtle, leading to convoluted prose descriptions that translate to complex axiomatic formalisations. We conduct an overhaul of SC atomics in C11, reducing the associated axioms in both number and… (More)
DOI: 10.1145/2837614.2837637

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Batty2016OverhaulingSA, title={Overhauling SC atomics in C11 and OpenCL}, author={Mark Batty and Alastair F. Donaldson and John Wickerson}, booktitle={POPL}, year={2016} }