Clean up atomics
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.
Domains
Programming Languages [cs.PL]
Origin : Files produced by the author(s)