int x = 0; int y = 0; int r0, r1; //cpu1 void f1() {
x = 1;
std::atomic_thread_fence(std::memory_order_acquire);
r0 = y;
} //cpu2 void f2() { y = 1; std::atomic_thread_fence(std::memory_order_acquire); r1 = x; }
fence的作用:防止这条 fence 指令上方的内存访问操作被移到下方,同时防止下方的内存访问操作移到上面,也就是防止了乱序。
在没有fence之前:如果CPU指令乱序执行,可能出现 r0 == 0 && r1 == 0
的情况的。不幸的是,由于 CPU 乱序执行的存在,这种情况是可能发生的。加了fence之后就不会出现这种情况了。
来源:https://zhuanlan.zhihu.com/p/413889872