想了一下, 上面形式可以转换成如下:
a = b = 0;
---------------------------------------------------------------------------
core 1 core 2
b = 1
smp_mb() ----------- 就看这个 smp_mb 能不能将 b 的新值 flush 到 core 1 的 read queue 中了
a = 1
smp_mb() --------------- 如果 core 2 能保证将 b 冲刷到 core 1 的 read queue 中, 那么本次冲刷, 应该能保证 b = 1 被观察到, 否则就不能
if (b == 1) {
}
不知到底 smp_mp 冲刷 core2 的 store queue 能不能同步保证这个值进入 core 1 的 load queue 中
【 在 zylthinking 的大作中提到: 】
: 初始值:
: a = b = 0;
: core 1:
: ...................