C++并发之fence

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