定义
java 语言规范对volatile 关键字的定义如下比较重要的一句话是:A file may be declared volatile, in which case the javaMemory Model ensures that all threads see a consistent value for the variable.理解起来就是,对声明为 volatile 的属性,JMM能确保所有线程对这个属性看到的值是一致的(也就是说 volatile 能提供可见性)。然后我们就可以利用这个可见性大做文章,比如实现一个锁等。
HOW ——> volatile 能提供可见性
二话不说开始撸代码吧:
public class TestOne {
private static volatile int a = 1;
public static void test() {
a = 2; // 5
}
public static void main(String [] args) {
test();
}
}
我们利用hsdis插件对上述代码进行反汇编:在控制台输入如下命令
java -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly -Xcomp -XX:CompileCommand=compileonly,*TestOne.test TestOne
参数+PrintAssembly 的意思是打印出汇编代码,对于线上版的Hotspot 想打印出汇编代码需要加上参数+UnlockDiagnosticVMOptions。-Xcomp 参数是让JVM以编译模式执行代码,而不必要等到临界“热点”才触发JIT编译。
-XX:CompileCommand=compileonly,*TestOne.test 意思是只编译test方法,没有这个参数会输出一大推对这次实验没有用的汇编代码。
结果如下:
Code:
[Entry Point]
[Verified Entry Point]
[Constants]
# {method} {0x00007f1718c00258} 'test' '()V' in 'TestOne'
# [sp+0x40] (sp of caller)
0x00007f1719108de0: mov