想了一下， 上面形式可以转换成如下：

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:

: ...................