底层是mesi外加上内存屏障可以保证。  mesi基本是cpu硬件层自带，软件层需要在引入store buffer和invlid queue后解决变量可见性，语言层封装就是类似cpp中的atomic操作。
  
【 在 wjhtingerx (ca6140) 的大作中提到: 】
:  比如：
:  线程1：
:   b=2;
:   a=1;
--
FROM 39.144.104.*