Merge pull request #169 from RalfJung/atomics

further clarify C11 and C/C++11 terminology
pull/172/head
Mazdak Farrokhzad 5 years ago committed by GitHub
commit 5004ad30d6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -6,9 +6,9 @@ this model is quite complex and known to have [several flaws][C11-busted].
Rather, it is a pragmatic concession to the fact that *everyone* is pretty bad Rather, it is a pragmatic concession to the fact that *everyone* is pretty bad
at modeling atomics. At very least, we can benefit from existing tooling and at modeling atomics. At very least, we can benefit from existing tooling and
research around the C/C++ memory model. research around the C/C++ memory model.
(You'll often see this model referred to as "C11" or "C/C++11". C and C++ share their (You'll often see this model referred to as "C/C++11" or just "C11". C just copies
memory model and those were the first versions but they have received some bugfixes the C++ memory model; and C++11 was the first version of the model but it has
since then.) received some bugfixes since then.)
Trying to fully explain the model in this book is fairly hopeless. It's defined Trying to fully explain the model in this book is fairly hopeless. It's defined
in terms of madness-inducing causality graphs that require a full book to in terms of madness-inducing causality graphs that require a full book to

Loading…
Cancel
Save