Taming the complexities of the C11 and OpenCL memory models

@article{Wickerson2015TamingTC,
  title={Taming the complexities of the C11 and OpenCL memory models},
  author={John Wickerson and Mark Batty},
  journal={CoRR},
  year={2015},
  volume={abs/1503.07073}
}
We study how the C11 memory model can be simplified and how it can be extended. Our first contribution is to propose a mild strengthening of the model that enables the rules pertaining to sequentially-consistent (SC) operations to be significantly simplified. We eliminate one of the total orders that candidate executions must range over, leading to a model… CONTINUE READING