具有非原子变量的障碍和同步点-数据竞赛?

考虑以下程序:

int                        i{0};
std::experimental::barrier b{2};

int main()
{
    std::thread t0{[] {
        b.arrive_and_wait();
        std::cout << i << '\n';
    }};

    std::thread t1{[] {
        i = 2;
        b.arrive_and_wait();
    }};

    t0.join();
    t1.join();
}

这个节目保证打印出来吗 2 即使 i 不是原子变量吗?

根据 cppreference :

呼吁 arrive_and_wait 与屏障完成阶段的开始同步。完成阶段的完成与来自调用的返回同步。

呼吁 arrive_and_drop 和 到了,等等 不要与自己或彼此介绍数据竞争。

这表明在每个节点上都有一个同步点 到了,等等 打电话。但是,我不确定是否允许编译器对上的读/写操作重新排序 我 因为它是非原子的。