|
|
@ -4,7 +4,7 @@ Rust pretty blatantly just inherits the memory model for atomics from C++20. Thi
|
|
|
|
due to this model being particularly excellent or easy to understand. Indeed,
|
|
|
|
due to this model being particularly excellent or easy to understand. Indeed,
|
|
|
|
this model is quite complex and known to have [several flaws][C11-busted].
|
|
|
|
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 the 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 "C/C++11" or just "C11". C just copies
|
|
|
|
(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
|
|
|
|
the C++ memory model; and C++11 was the first version of the model but it has
|
|
|
|