Могут ли реализации (компиляторы) переупорядочить по всему потенциально инфинитным петлям? ⇐ C++

[Anonymous]

Рассмотрим этот пример: < /p>

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

#include 
#include 
#include 
#include 
using namespace std::chrono_literals;

int main(){

std::atomic state = {1};

std::thread t1([&](){
int expected = 0;
while(state.compare_exchange_strong(expected,1,std::memory_order::acq_rel,std::memory_order::relaxed)){
do_something();
}
});

std::thread t2([&](){
std::this_thread::sleep_for(2000ms);
state.store(0,std::memory_order::release);
});
t1.join();
t2.join();
}

В этом примере операция CAS может сработать несколько раз, что означает, что операция идентична операции чистой нагрузки с помощью порядка памяти . Итак, разрешено ли компилятор или ЦП (в совокупности реализации, статически или динамически)) для переупорядочения do_somwhete за пределами тела потенциальной бесконечной петли? Например, спекулятивно выполняет do_something . Или, разрешает ли реализация переупорядочить в зависимости от того, как реализуется do_something ? Если do_something имеет наблюдаемое поведение, то переупорядочение не допускается; В противном случае запись разрешена?


Подробнее здесь: https://stackoverflow.com/questions/796 ... nite-loops