Является ли это соответствующим наблюдаемым поведением в смысле абстрактной машины, когда нагрузка считывает значение, к ⇐ C++

[Anonymous]

Рассмотрим этот пример:

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

#include 
#include 
#include 

int main(){
std::atomic val = {0};
auto t1 = std::thread([&]() {
auto r = val.load(std::memory_order::relaxed); // #1
});
auto t2 = std::thread([&]() {
std::this_thread::sleep_for(std::chrono::milliseconds(6000)); // #2
std::cout

Подробнее здесь: [url]https://stackoverflow.com/questions/79794020/is-this-a-conforming-observable-behavior-in-the-abstract-machines-sense-where[/url]