【 在 wjhtingerx 的大作中提到: 】
: 为啥增加d = b后，a更容易乱序？
: 我的疑问是，这种场景应该是很多的，但是实际开发中，知道这些的程序员其实很少的，为啥也没听说爆出啥大的问题呢
:

知道这个点不多是因为你的岗位接触的少。

如果你是一个嵌入式工程师，写过最简单的NOR FLASH驱动，就一定会遇到这种严格要求执行结果的case。因为一旦乱序，硬件就不work了。所以驱动代码中插入了很多barrier指令。


其他场景也很多，不一而足。写应用程序代码的一般不需要这个知识点。你写驱动代码或者操作系统内核代码就会时不时遇到。Linux里面有标准的read/write/read&write的barrier接口API。

增加d = b后更容易乱序是因为前面对b的操作更多需要更多的指令，既然需要更多的指令，系统在执行这些指令的时候就更容易对后面的指令乱序执行(等不及了，因为多流水线多发射的系统有空闲资源了)。

ARM里的dsb指令就是data sync barrier，保证之前的指令中和数据相关的指令都一定完成才会执行dsb后面和数据相关的指令。

所以就是我之前帖子里说的，你这个case，在b=2后面增加一个dsb，ARM系统里绝对就没问题了。

本中是做CPU架构研究和OS内核适配的，对这些浸淫已久....
--
修改:beanspower FROM 111.197.20.*
FROM 111.197.20.*