Skip to content

Commit

Permalink
Merge pull request #169 from RalfJung/atomics
Browse files Browse the repository at this point in the history
further clarify C11 and C/C++11 terminology
  • Loading branch information
Centril authored Oct 12, 2019
2 parents a4d8c2c + ddc460c commit 5004ad3
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/atomics.md
Original file line number Diff line number Diff line change
Expand Up @@ -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
at modeling atomics. At very least, we can benefit from existing tooling and
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
memory model and those were the first versions but they have received some bugfixes
since then.)
(You'll often see this model referred to as "C/C++11" or just "C11". C just copies
the C++ memory model; and C++11 was the first version of the model but it has
received some bugfixes since then.)

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
Expand Down

0 comments on commit 5004ad3

Please sign in to comment.