Rollup merge of #29230 - tsion:fix-nomicon-typo-2, r=steveklabnik
r? @steveklabnik
This commit is contained in:
@@ -1,11 +1,11 @@
|
|||||||
% Atomics
|
% Atomics
|
||||||
|
|
||||||
Rust pretty blatantly just inherits C11's memory model for atomics. This is not
|
Rust pretty blatantly just inherits C11's memory model for atomics. This is not
|
||||||
due this model being particularly excellent or easy to understand. Indeed, this
|
due to this model being particularly excellent or easy to understand. Indeed,
|
||||||
model is quite complex and known to have [several flaws][C11-busted]. Rather, it
|
this model is quite complex and known to have [several flaws][C11-busted].
|
||||||
is a pragmatic concession to the fact that *everyone* is pretty bad at modeling
|
Rather, it is a pragmatic concession to the fact that *everyone* is pretty bad
|
||||||
atomics. At very least, we can benefit from existing tooling and research around
|
at modeling atomics. At very least, we can benefit from existing tooling and
|
||||||
C.
|
research around C.
|
||||||
|
|
||||||
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
|
||||||
|
|||||||
Reference in New Issue
Block a user