Может ли комбинация чистой нагрузки и хранилища моделировать работу RMW? ⇐ C++

[Anonymous]

В программе, если все операции с атомарным объектом являются операциями RMW, в соответствии с правилом [atomic.order] p10 мы получаем гарантию, что изменение в порядке модификации этого атомарного объекта может быть прочитано только одним RMW. операция. На основе этой гарантии мы можем создавать критические разделы.
Например:

Код: Выделить всё

#include 
#include 
#include 
int main(){
std::atomic state = {0};
int protect_v = 0;
std::thread t1([&](){
int expected = 0;
if(state.compare_exchange_strong(expected,1,std::memory_order::release,std::memory_order::acquire)){
protect_v  = 2;
}else{
std::cout

Подробнее здесь: [url]https://stackoverflow.com/questions/79183275/can-the-combination-of-pure-load-and-a-store-model-the-rmw-operation[/url]