我正在从www.example.com上阅读下面的例子https://en.cppreference.com/w/cpp/atomic/memory_order#Sequentially-consistent_ordering。我很难理解

• 在什么情况下assert(z.load() != 0);会失败。
• 为什么在memory_order_ack_rel上使用memory_order_seq_cst会使z永远不为0？

#include <thread>
#include <atomic>
#include <cassert>
 
std::atomic<bool> x = {false};
std::atomic<bool> y = {false};
std::atomic<int> z = {0};
 
void write_x()
{
    x.store(true, std::memory_order_seq_cst);
}
 
void write_y()
{
    y.store(true, std::memory_order_seq_cst);
}
 
void read_x_then_y()
{
    while (!x.load(std::memory_order_seq_cst))
        ;
    if (y.load(std::memory_order_seq_cst)) {
        ++z;
    }
}
 
void read_y_then_x()
{
    while (!y.load(std::memory_order_seq_cst))
        ;
    if (x.load(std::memory_order_seq_cst)) {
        ++z;
    }
}
 
int main()
{
    std::thread a(write_x);
    std::thread b(write_y);
    std::thread c(read_x_then_y);
    std::thread d(read_y_then_x);
    a.join(); b.join(); c.join(); d.join();
    assert(z.load() != 0);  // will never happen
}

就我所知，对于read_x_then_y或read_y_then_x，他们可以观察到以下状态：

• x = true和y = false
• x = false和y = true
• x = true和y = true
• x = false和y = false

前两种情况使z = 1（最终为2），第三种情况使z = 2，最后一种情况使read_x_then_y和read_y_then_x等待，直到“x”和“y”之一变为真。然而，根据cppreference
这个例子演示了一种需要顺序排序的情况。任何其他排序都可以触发Assert，因为线程c和d可能以相反的顺序观察原子x和y的变化。
我不明白这怎么可能。x和y的变化如何以相反的顺序进行？
另外，我想知道如何使用memory_order_seq_cst解决这个问题。是否强制read_x_then_y中的x.load必须在y.load之前执行？