JMM volatile原理

JMM volatile原理

一、概述

volatile关键字是Java虚拟机提供的的最轻量级的同步机制，它作为一个修饰符，用来修饰变量。它保证变量对所有线程可见性，禁止指令重排，但是不保证原子性。

二、java内存模型（JMM ）

Java虚拟机规范试图定义一种Java内存模型,来屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台上都能达到一致的内存访问效果。

为了更好的执行性能，java内存模型并没有限制执行引擎使用处理器的特定寄存器或缓存来和主内存打交道，也没有限制编译器进行调整代码顺序优化。所以Java内存模型会存在缓存一致性问题和指令重排序问题的。

Java内存模型规定所有的变量都是存在主内存当中，每个线程都有自己的工作内存。这里的变量包括实例变量和静态变量，但是不包括局部变量，因为局部变量是线程私有的。

线程的工作内存保存了被该线程使用的变量的主内存副本，线程对变量的所有操作都必须在工作内存中进行，而不能直接操作操作主内存。并且每个线程不能访问其他线程的工作内存。

volatile变量，保证新值能立即同步回主内存，以及每次使用前立即从主内存刷新，所以我们说volatile保证了多线程操作变量的可见性。

三、volatile变量

指令重排是指在程序执行过程中，为了提高性能, 编译器和CPU可能会对指令进行重新排序。

volatile是如何禁止指令重排的？在Java语言中，有一个先行发生原则（happens-before）

• volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作

volatile关键字修饰时编译后会多出一个lock前缀指令。

• 1.lock指令相当于一个内存屏障：重排序时不能把后面的指令重排序到内存屏障之前的位置
• 2.将本处理器的缓存写入系统内存
• 3.如果是写入动作，会导致其他处理器中对应的缓存无效（基于MESI）。

第1点就是禁止指令重排列的体现，第2点和第3点就是保证volatile保证可见性的体现。

为了实现volatile的内存语义，Java内存模型采取以下的保守策略

• 在每个 volatile 写操作的前面插入一个 StoreStore 屏障：禁止上面的普通写和下面的 volatile 写重排序。
• 在每个 volatile 写操作的后面插入一个 StoreLoad 屏障：防止上面的 volatile 写与下面可能有的 volatile
  读/写重排序。
• 在每个 volatile 读操作的后面插入一个 LoadLoad 屏障：禁止下面所有的普通读操作和上面的 volatile 读重排序。
• 在每个 volatile 读操作的后面插入一个 LoadStore 屏障：禁止下面所有的普通写操作和上面的 volatile 读重排序。

内存屏障保证前面的指令先执行，所以这就保证了禁止了指令重排，同时内存屏障保证缓存写入内存和其他处理器缓存失效，这也就保证了可见性。 具体参考我之前写的volatile详解。