volatile关键字的基本理解

volatile的三大作用

volatile 是 Java 虚拟机提供的轻量级的同步机制，它有什么作用呢？

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

讲这三大特性之前，先来简单理解一下JMM（Java 内存模型）

基本概念：

• JMM 本身是一种抽象的概念并不是真实存在，它描述的是一组规定或则规范，通过这组规范定义了程序中的访问方式。

• JMM 同步还规定了

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

• 由于 JVM 运行程序的实体是线程，而每个线程创建时 JVM 都会为其创建一个工作内存，工作内存是每个线程的私有数据区域，而 Java 内存模型中规定所有变量的储存在主内存，主内存是共享内存区域，所有的线程都可以访问，但线程对变量的操作（读取赋值等）必须都工作内存进行看。

• 首先要将变量从主内存拷贝的自己的工作内存空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，工作内存中存储着主内存中的变量副本拷贝，前面说过，工作内存是每个线程的私有数据区域，因此不同的线程间无法访问对方的工作内存，线程间的通信(传值)必须通过主内存来完成。

• 内存模型图
  

volatile的三大特性:

• 可见性

public class VolatileDemo {
    public static void main(String[] args) {
        MyData data = new MyData();
        new Thread(() -> {
            System.out.println(Thread.currentThread().getName() + " 进来了...");
            try {
                Thread.sleep(3000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            data.addTo60();
            System.out.println(Thread.currentThread().getName() + " 修改完成...");
        }).start();

        while (data.number  == 0) {
            // looping
        }
        System.out.println(Thread.currentThread().getName() + " job is done...");
    }
}

class MyData {
    // int a = 0;
    volatile int number = 0;
    void addTo60() {
        this.number  = 60;
    }
}

如果在类Mydata中的number 值不加 volatile 关键字，则主线程会进入死循环，加 volatile 则主线程能够退出，说明加了 volatile 关键字变量，当有一个线程修改了值，会马上被另一个线程感知到，当前值作废，从新从主内存中获取值。对其他线程可见，这就叫可见性。

• 原子性

public class VolatileDemo {
    public static void main(String[] args) {
       test02();
    }

    // 测试原子性
    private static void test02() {
        Data MyData = new MyData();
        for (int i = 0; i < 20; i++) {
            new Thread(() -> {
                for (int j = 0; j < 1000; j++) {
                    data.numPlusPlus();
                }
            }).start();
        }
        // 默认有 main 线程和 gc 线程
        while (Thread.activeCount() > 2) {
            Thread.yield();
        }
        System.out.println(data.number);
    }
}

class MyData {
    volatile int number = 0;
    void numPlusPlus() {
        number ++;
    }
}

如果正常的话，执行结果显示的data的number的值应该是20000，但是出现的执行结果是小于20000的（java8以后好像优化了很多），为什么会这样呢？
多个线程同时操作一个在主内存的值number的时候，会出现一种特殊情况。比如：
线程A从主内存中拿到number的副本到自己的工作内存+1后，然后准备写回主内存，突然线程阻塞了，轮到线程B执行时。
线程B也从主内存拿到number的值0，然后进行+1操作，写入到主内存。这时候主内存的值为1。
然后线程A也继续先前的操作，把number的值等于1写入到主内存。
本来两个线程各执行一次+1操作，number的值应该为2，现在任然为1，所以最后出来的值结果会少于20000.

• 有序性

  • 计算机在执行程序时，为了提高性能，编译器个处理器常常会对指令做重排，一般分为以下 3 种

    • 编译器优化的重排
    • 指令并行的重排
    • 内存系统的重排

  • 单线程环境里面确保程序最终执行的结果和代码执行的结果一致

  • 处理器在进行重排序时必须考虑指令之间的数据依赖性

  • 多线程环境中线程交替执行，由于编译器优化重排的存在，两个线程中使用的变量能否保证用的变量能否一致性是无法确定的，结果无法预测

  • 代码示例

public class ReSortSeqDemo {
    int a = 0;
    boolean flag = false;
    
    public void method01() {
        a = 1;           // flag = true;
                         // ----线程切换----
        flag = true;     // a = 1;
    }

    public void method02() {
        if (flag) {
            a = a + 3;
            System.out.println("a = " + a);
        }
    }

}

如果两个线程同时执行，method01 和 method02 如果线程 1 执行 method01 重排序了，然后切换的线程 2 执行 method02 就会出现不一样的结果。

volatile禁止指令排序

• volatile 实现禁止指令重排序的优化，从而避免了多线程环境下程序出现乱序的现象

• 先了解一个概念，内存屏障（Memory Barrier）又称内存栅栏，是一个 CPU 指令，他的作用有两个：

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

由于编译器个处理器都能执行指令重排序优化，如果在指令间插入一条 Memory Barrier 则会告诉编译器和 CPU，不管什么指令都不能个这条 Memory Barrier 指令重排序，也就是说通过插入内存屏障禁止在内存屏障前后执行重排序优化。内存屏障另一个作用是强制刷出各种 CPU 缓存数据，因此任何 CPU 上的线程都能读取到这些数据的最新版本

下面是保守策略下，volatile写插入内存屏障后生成的指令序列示意图：

下面是在保守策略下，volatile读插入内存屏障后生成的指令序列示意图：

线程安全性保证

• 工作内存与主内存同步延迟现象导致可见性问题

  • 可以使用 synchronzied 或 volatile 关键字解决，它们可以使用一个线程修改后的变量立即对其他线程可见

• 对于指令重排导致可见性问题和有序性问题

  • 可以利用 volatile 关键字解决，因为 volatile 的另一个作用就是禁止指令重排序优化