内存屏障与JVM并发

核心提示： 请注意这影响了读操作，而不是写，内存屏障与JVM并发(4)，内存屏障强制读或写操作顺序限制不是单向的，强制读和写操作顺序限制的内存屏障是双向的，编译器确保第一次写操作在第二次写操作之前完成，这就完成了两边的约定， 类似于双向开的栅栏，使用ld.acq就是单向内存屏障的例子

请注意这影响了读操作，而不是写。内存屏障强制读或写操作顺序限制不是单向的。强制读和写操作顺序限制的内存屏障是双向的， 类似于双向开的栅栏。使用ld.acq就是单向内存屏障的例子。

一致性具有两面性。如果一个读线程在两次读操作之间插入了内存屏障而另外一个线程没有在两次写操作之间添加内存屏障又有什么用呢？线程为了协调，必须同时遵守这个协议，就像网络中的节点或者团队中的成员。如果某个线程破坏了这个约定，那么其他所有线程的努力都白费。Dekker算法的最后两行代码的汇编指令应该插入一个内存屏障，两次volatile写之间。

$ java -XX:+UnlockDiagnosticVMOptions -XX:PrintAssemblyOptions=hsdis-print-bytes -XX:CompileCommand=print,WriterReader.write WriterReader

　1　0x2000000001de81c0:　　　adds　r37=592,r36;;　;...0b284149　0421　
　2　0x2000000001de81c6:　　　st4.rel　[r37]=r39　;...00389560　2380　
　3　0x2000000001de81cc:　　　adds　r36=596,r36;;　;...84112544　
　4　0x2000000001de81d0:　　　st1.rel　[r36]=r0　;...09000048　a011　
　5　0x2000000001de81d6:　　　mf　　　　　　;...00000044　0000　
　6　0x2000000001de81dc:　　　nop.i　0x0;;　　;...00040000　
　7　0x2000000001de81e0:　　　mov　r12=r33　　;...00600042　0021　
　8　0x2000000001de81e6:　　　mov.ret　b0=r35,0x2000000001de81e0　
　9　0x2000000001de81ec:　　　mov.i　ar.pfs=r34　;...00aa0220　
10　0x2000000001de81f0:　　　mov　r6=r32　　;...09300040　0021　

这里我们可以看到在第四行第二次写操作被注解了一个显式内存屏障。通过使用st.rel，即“存储释放”（store release），编译器确保第一次写操作在第二次写操作之前完成。这就完成了两边的约定，因为第一次写操作在第二次写操作之前发生。