File tree 1 file changed +5
-5
lines changed
1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change 1
1
% Atomics
2
2
3
3
Rust pretty blatantly just inherits C11's memory model for atomics. This is not
4
- due this model being particularly excellent or easy to understand. Indeed, this
5
- model is quite complex and known to have [ several flaws] [ C11-busted ] . Rather, it
6
- is a pragmatic concession to the fact that * everyone* is pretty bad at modeling
7
- atomics. At very least, we can benefit from existing tooling and research around
8
- C.
4
+ due to this model being particularly excellent or easy to understand. Indeed,
5
+ this model is quite complex and known to have [ several flaws] [ C11-busted ] .
6
+ Rather, it is a pragmatic concession to the fact that * everyone* is pretty bad
7
+ at modeling atomics. At very least, we can benefit from existing tooling and
8
+ research around C.
9
9
10
10
Trying to fully explain the model in this book is fairly hopeless. It's defined
11
11
in terms of madness-inducing causality graphs that require a full book to
You can’t perform that action at this time.
0 commit comments