Clean up atomics

Jens Gustedt 1
1 CAMUS - Compilation pour les Architectures MUlti-coeurS
Inria Nancy - Grand Est, ICube - Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
Abstract : Whereas its intent is clear, the text in the C standard that concerns atomics has several consistency problems. There are contradictions and the standard vocabulary is not always applied correctly. This paper attempts to solve these consistency problems, and to provide a path to a straighter and easier to use and to implement specification. Even though individually the identified flaws are simple to repair, all together they form a relatively large batch of changes (spelled out in an appendix).-This is a follow-up of N1955 that resulted from many discussions on the WG14 reflector or elsewhere. In particular, it integrates suggestions by Robert Seacord, Richard Smith, Aaron Ballman, and probably many more.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/hal-02046430
Contributor : Jens Gustedt <>
Submitted on : Friday, February 22, 2019 - 3:48:32 PM
Last modification on : Saturday, February 23, 2019 - 1:26:53 AM
Long-term archiving on : Thursday, May 23, 2019 - 3:04:12 PM

File

n2329+appendix.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02046430, version 1

Citation

Jens Gustedt. Clean up atomics. [Technical Report] N2329, ISO JCT1/SC22/WG14. 2018. ⟨hal-02046430⟩

Share

Metrics

Record views

48

Files downloads

67