下面是并发操作中给出的示例,作者说assert
可能会触发,但我不明白为什么。
#include <atomic>
#include <thread>
#include <assert.h>
std::atomic<bool> x,y;
std::atomic<int> z;
void write_x_then_y()
{
x.store(true,std::memory_order_relaxed);
y.store(true,std::memory_order_relaxed);
}
void read_y_then_x()
{
while(!y.load(std::memory_order_relaxed));
if(x.load(std::memory_order_relaxed))
++z;
}
int main()
{
x=false;
y=false;
z=0;
std::thread a(write_x_then_y);
std::thread b(read_y_then_x);
a.join();
b.join();
assert(z.load()!=0);
}
据我所知,在每个单个线程中,sequenced before
也意味着happens before
。
因此,在线程中,x
的存储发生在y
之前,这意味着x
应该在y
之前进行修改,结果x.store
应该在{{ 1}}被修改。
但是在这个例子中,作者说y
和x
之间的商店可以重新排序,为什么?是否违反了y
和sequenced before
的规则?
答案 0 :(得分:0)
从线程角度看,似乎x.store发生在y.store之前。但是,从线程b的角度看,看起来好像它们已重新排序。