Java关键字——volatile

1、JMM（java内存模型）

要了解volatile是什么，首先需要知道JMM是什么？
JMM全称是java内存模型（Java Memory Mode）。
为什么需要java内存模型，是因为在不同的硬件生产商和不同的操作系统下，内存的访问逻辑有一定的差异，结果就是当你的代码在某个系统环境下运行良好，并且线程安全，但是换了个系统就出现各种问题。Java内存模型，就是为了屏蔽系统和硬件的差异，让一套代码在不同平台下能到达相同的访问结果。

JVM中将内存划分为主内存和工作内存。
主内存对应java堆中的对象实例，工作内存对应的是栈区域，如果从更底层来说，可以把主内存理解为硬件的物理存储，工作内存对应为程序运行时的运行内存。

2、volatile

运行此段代码，会发现线程一直在执行，这是因为当result改变时，此时虽然已经存放到了主内存，但是线程里的工作内存却一直没有去读取，导致线程一直在不断的执行。

public class MyVolatile {
	
    private static boolean result = true;

    public static void main(String[] args) {

        //工作内存
        new Thread(()->{
            while (result){

            }
        }).start();

        //主内存
        try {
            //让main线程睡眠俩秒
            TimeUnit.SECONDS.sleep(2);
            //将result修改为false
            result = false;
            //输出标记符号
            System.out.println("当前result的值为：" + result);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }

}

运行结果：

为什么需要volatile？
JVM在设计时，如果JAVA线程每次读取和写入变量都直接操作主内存，对性能影响比较大，所以每条线程拥有各自的工作内存，工作内存中的变量实际上是对主内存中的一份拷贝，线程对变量的读取和写入，直接在工作内存中操作，而不能直接去操作主内存中的变量。但是这样就会出现一个问题，当一个线程修改了自己工作内存中变量，对其他线程是不可见的，会导致线程不安全的问题。此时就可以使用volatile来解决问题。

volitile 是 Java 虚拟机提供的轻量级的同步机制，具有三大特性：

• 保证可见性
• 不保证原子性
• 禁止指令重排

volatile的可见性可以让变量改变时，立即刷新到主内存，这时可以让工作线程立即读到。符合以下俩个规则：
① 线程对变量进行修改之后，要立刻回写到主内存。
② 线程对变量读取的时候，要从主内存中读，而不是缓存。

所以只需要在：

	// volatile 不加volatile没有可见性
	private volatile static boolean result = true; //在static加上volatile关键字即可完美解决问题

加上volatile关键字即可解决问题。
同时，volatile虽然是不错的机制，但却不能保证原子性。

原子性理解：
不可分割，完整性，也就是某个线程正在做某个具体的业务的时候，中间不可以被加塞或者被分割，需要整体完整，要么同时成功，要么同时失败。

指令重排:
计算机在执行程序时，为了提高性能，编译器和处理器的常常会对指令做重排，计算机在执行程序时，为了提高性能，编译器和处理器的常常会对指令做重排，但在多线程环境中线程交替执行，由于编译器优化重排的存在，两个线程中使用的变量能否保证一致性是无法确定的，结果无法预测。

要实现原子性，最简单的方式就是加synchronized锁，即同步代码块，这样可以解决原子性问题。或者使用其他锁来保证原子性。

3、对指令重排的理解

在java中创建一个对象并非是一个原子操作，可以被分解成三行伪代码：

//1：分配对象的内存空间
memory = allocate();
//2：初始化对象
ctorInstance(memory);  
//3：设置instance指向刚分配的内存地址
instance = memory;    

上面三行伪代码中的2和3之间，可能会被重排序,即编译器或处理器为提高性能改变代码执行顺序，这一部分的内容稍后会详细解释，重排序之后的伪代码是这样的：

//1：分配对象的内存空间
memory = allocate(); 
//3：设置instance指向刚分配的内存地址
instance = memory;
//2：初始化对象
ctorInstance(memory);

在单线程程序下，重排序不会对最终结果产生影响，但是并发的情况下，可能会导致某些线程访问到未初始化的变量。

模拟一个2个线程创建单例的场景，如下表：

时间	线程A	线程B
t1	A1:分配对象内存空间
t2	A3：设置instance指向内存空间	–
t3	–	B1：判断instance是否为空
t4	–	B2：由于instance不为null，线程B将访问instance引用的对象
t5	A2：初始化对象
t6	A4：访问instance引用的对象	–

按照这样的顺序执行，线程B将会获得一个未初始化的对象，并且自始至终，线程B无需获取锁！

指令重排小结：
volatile 实现了禁止指令重排优化，从而避免 多线程环境下程序出现乱序执行的现象。了解一个概念，内存屏障（Memory Barrier）又称内存栅栏，是一个CPU 指令，它的作用有两个：

1、保证特定操作的执行顺序。
2、保证某些变量的内存可见性（利用该特性实现volatile的内存可见性）。

4、总结

使用volatile可以保证可见性和有序性，synchronized可以保证有序性、原子性（加锁），线程安全性获得保证

工作内存与主内存同步延迟现象导致的可见性问题，可以使用 synchronized 或 volatile 关键字解决，它们都可以使一个线程修改后的变量立即对其他线程可见。
对于指令重排导致的可见性问题 和 有序性问题，可以利用 volatile 关键字解决，因为 volatile 的另外一个作用就是禁止重排序优化。