weixin_44639164的博客

存储一致性是为了保证多线程背景下的访存顺序，多线程的语句是可以交错执行，使得顺序不同产生不同的执行结果。下面P2的输出结果可能是什么？P1, P2两个线程的语句是可以交叉执行的，比如1a, 2a, 2b, 1b；一个线程内的语句，也是可以混序执行的，如P1: 1b, 1a，这取决于编译器和执行情况。所以，P2 print B, print A，会有0 0, 2 1, 0 1, 2 0四种结果。若不控制mem consist，P2 print的B A会千奇百怪，甚至会有B 2, A 0。