定义

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 能提供可见性

   二话不说开始撸代码吧：

        

          
        
        
        

          

          AI 代码解读
        
      
      

public class TestOne  {
    private static volatile int a = 1;
    
    public static void test() {
            a = 2;     // 5
    }

    public static void main(String [] args) {
        test();
    }
}

        

          
        
        
        

          

          AI 代码解读
        
      
      

 我们利用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方法，没有这个参数会输出一大推对这次实验没有用的汇编代码。
 结果如下：

        

          
        
        
        

          

          AI 代码解读
        
      
      

    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 开发手册(卷三第八章）

        

          
        
        
        

          

          AI 代码解读
        
      
      

上面画红圈的表明，处理器对volatile 的实现不是对系统总线进行加锁，而是对缓存加锁。

上面是处理器对缓存加锁的实现方式：
① 对缓存行加锁内容的修改会导致修改后的值马上回写内存
② 该处理器会阻止其他处理器缓存相同的内容（意思就是清空其他处理器中相同的值）

通过 ① ② 处理器的实现机制，java 中的volatile 就可以实现可见性了。

博客内容参考自 《Java 并发编程的艺术》第二章 volatile 的应用