定义
java 语言规范对volatile 关键字的定义如下
比较重要的一句话是：A file may be declared volatile, in which case the java
Memory 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 %eax,-0x14000(%rsp)
0x00007f1719108de7: push %rbp
0x00007f1719108de8: sub $0x30,%rsp ;*iconst_2
; - TestOne::test@0 (line 5)
0x00007f1719108dec: movabs $0xf6404248,%rsi ; {oop(a 'java/lang/Class' = 'TestOne')}
0x00007f1719108df6: mov $0x2,%edi
0x00007f1719108dfb: mov %edi,0x68(%rsi)
0x00007f1719108dfe: lock addl $0x0,(%rsp) ;*putstatic a
; - TestOne::test@1 (line 5)
0x00007f1719108e03: add $0x30,%rsp
0x00007f1719108e07: pop %rbp
0x00007f1719108e08: test %eax,0x16dc12f2(%rip) # 0x00007f172feca100
; {poll_return}
看到 lock addl 指令没，它刚好对应 Java源码中的第五行代码。这个 lock 前缀指令，正是volatile 具有可见性的奥秘的所在。
翻一翻 intel 开发手册(卷三第八章）
上面画红圈的表明，处理器对volatile 的实现不是对系统总线进行加锁，而是对缓存加锁。
上面是处理器对缓存加锁的实现方式：
① 对缓存行加锁内容的修改会导致修改后的值马上回写内存
② 该处理器会阻止其他处理器缓存相同的内容（意思就是清空其他处理器中相同的值）
通过 ① ② 处理器的实现机制，java 中的volatile 就可以实现可见性了。
博客内容参考自 《Java 并发编程的艺术》第二章 volatile 的应用
