什么是 Java 内存模型（JMM）？

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

Java 内存模型抽象了主内存和工作内存的概念，规定所有的变量都存储在主内存中，主内存中的变量是所有线程都可以共享的，但所有线程都无法直接接触到主内存，只能够直接接触到工作内存。对主内存中的变量进行操作时，必须首先将主内存的变量复制到工作内存，进行操作后，再将变量刷回到主内存中。因此，所有线程只有通过主内存来进行通信，主内存和工作内存之间的通信由 Java 内存模型控制。

Happen-Before关系是用来解决可见性问题的：如果一个操作 happens-before 于另一个操作，那么我们说第一个操作对于第二个操作是可见的，也就是第二个操作在执行时就一定能保证看见第一个操作执行的结果。

8 条 Happens-before 规则

（1）程序次序规则（Program Order Rule）：在一个线程内，按照控制流顺序，书写在前面的操作先行发生（Happens-before）于书写在后面的操作。注意，这里说的是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构。

整个 JMM 实际上是围绕着三个特征建立起来的。分别是：原子性，可见性，有序性。这三个特征可谓是整个 Java 并发的基础。

原子性

原子性指的是一个操作是不可分割，不可中断的，一个线程在执行时不会被其他线程干扰。

原子性：一个或多个操作，要么全部执行，要么全部不执行（执行的过程中是不会被任何因素打断的）。

我们来看下面的代码：

int i = 2;
int j = i;
i++;
i = i + 1;

volatile 关键字

很多并发编程都使用了 volatile 关键字，主要的作用包括两点：

• 保证线程间变量的可见性
• 禁止 CPU 进行指令重排序

可见性

volatile修饰的变量，当一个线程改变了该变量的值，其他线程是立即可见的。普通变量则需要重新读取才能获得最新值。

示例：

public class VolatileSafe {

    private volatile boolean shutDown;
    
    public void close() {
        shutDown = true;
    }

    public void doWork(){
        while (!shutDown){
            System.out.println("safe...");
        }
    }
}