【 在 philbloo 的大作中提到: 】
: 这里的问题，我认为本质上是软件（软件程序员）用什么办法定义program order，使其可见效果不违背本意。所以ll/sc这类primitives就是给你定义program order的。
: 要展开来说我也没那能力，因为要扯到arch上才行，比如store buffer,pipeline等等等等。但我觉得这方面的知识必须多少得看一些，不然一辈子也想不明白。其实不用投入多少时间，花大半年看几本书，就一劳永逸了
:
我开始也以为原子指令本身就是sc语义，但是后来发现，这与cpp中的内存序语义相悖，也就是我前面的反证，你也没有解释清这个反证，其实就是假设原子指令是某一种内存序，那么必然与别的内存序相悖
--
FROM 223.160.131.*