解析volatile实现原理

volatile 三个特性

1. 保证共享变量的可见性：保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。

2. 防止局部指令重排序：happens-before规则中的volatile变量规则规定了一个线程先去写一个volatile变量，然后一个线程去读这个变量，那么这个写操作的结果一定对读的这个线程可见。

3. 不保证原子性。

JMM介绍

JMM（Java内存模型，Java Memory Model）本身是一种抽象的概念，并不真实存在。它描述的是一组规则或规范，通过这组规范，定了程序中各个变量的访问方法。

JMM关于同步的规定：

1. 线程解锁前，必须把共享变量的值刷新回主内存；
2. 线程加锁前，必须读取主内存的最新值到自己的工作内存；
3. 加锁解锁是同一把锁。

由于JVM运行程序的实体是线程，创建每个线程时，JMM会为其创建一个工作内存（有些地方称为栈空间），工作内存是每个线程的私有数据区域。

线程对变量的操作（读取、赋值等）必须在工作内存中进行。因此首先要将变量从主内存拷贝到自己的工作内存，然后对变量进行操作，操作完成后再将变量写会主内存中。

volatile 保证可见性

对于普通共享变量，线程A将变量修改后，体现在此线程的工作内存。在尚未同步到主内存时，若线程B使用此变量，从主内存中获取到的是修改前的值，便发生了共享变量值的不一致，也就是出现了线程的可见性问题。

volatile实现可见性步骤：

1. 使用volatile修饰变量后，当对volatile变量执行写操作，JMM会把工作内存中的最新变量值强制刷新到主内存。
2. 写操作会导致其他线程中的该变量缓存无效。

这样，其他线程使用缓存时，发现本地工作内存中此变量无效，便从主内存中获取，这样获取到的变量便是最新的值，实现了线程的可见性。

可见性代码测试

public class MyTest {
    // 如果不用volatile修饰，那么线程2修改stop的值不会被线程1感知
    // 那么线程1将会一直处于死循环中
    public static boolean stop = false;

    public static void main(String[] args) throws InterruptedException {
        // 线程1
        Thread thread1 = new Thread(() -> {
            while (!stop) {
                // do something...
            }
            System.out.println("volatile具有可见性！");
        });

        // 线程2
        Thread thread2 = new Thread(() -> doStop());

        thread1.start();
        // 这里的睡眠是保证线程1先执行
        Thread.sleep(1000);
        thread2.start();
    }
    
    // 停止线程1的死循环
    // 如果stop用volatile修饰那么线程1就能感知到stop的改变
    public static void doStop() {
        stop = true;
    }
}

volatile 禁止指令重排序

volatile是通过编译器在生成字节码时，在指令序列中添加“内存屏障”来禁止指令重排序的。

内存屏障

内存屏障（memory barrier）是一个CPU指令。这条指令可以确保一些特定指令的执行顺序，影响一些数据的可见性(可能是某些指令执行后的结果)。

插入一个内存屏障，相当于告诉CPU和编译器先于这个命令的必须先执行，后于这个命令的必须后执行。内存屏障另一个作用是强制更新一次不同CPU的缓存。

内存屏障的分类

1. LoadLoad屏障

Load1; 
Loa