volatile 系列之如何解决可见性问题
下面我们来看一下volatile是如何解决可见性问题的呢?如果我们针对stop字段增加volatile关键字:
public static volatile boolean stop=false;
然后,使用hsdis工具获取IT编译器生成的汇编指令来查看volatile写操作带来的影响和变化。
接着,设置JVM运行时参数:
-server -Xcomp -XX:+UnlockDiagnosticVMoptions -XX:+PrintAssembly -XX:CompileCommand = compileonly,*VolatileExample.*
得到的结果如下:
0x00000036864f3: lock add dword ptr [rsp],eh ;*putstatic stop
; - org.example.VolatileExample::<clinit>@1 (line 10)
从上述结果中我们发现,在main线程中修改stop变量的值时,在修改命令前面会增加一个 Lock#信号,这使得基于缓存锁/总线锁的方式达到一致性,从而保证结果的可见。
关于hsdis 工具的使用方法,(自己去查找一下相关资源),感兴趣的朋友可以自己学习。
导致可见性问题的根本原因的分析到这里并没有结束,因为除高速缓存带来的可见性问题外,指令重排序也会导致可见性问题