Java并发-JMM

JMM是Java Memory Model的缩写，即Java内存模型。JMM是理解并发及同步问题的基础，只有理解来JMM，才能更好的理解线程间的同步和通信以及能够更快的定位多线程编程中出现的问题。

CPU多级缓存

现代CPU的运行速度极快，但通常情况下，计算机主内存的数据读写速度跟不上CPU的数据处理速度（相差几个数量级），为了高效利用cpu资源，提供运算速度，在主内存的基础上还会增加多层的缓存即寄存器，上层缓存比下层缓存的读写速度高，最快的是寄存器，这种结构可以抽象的表示为下图所示：

由于缓存的存在，cpu读取到的数据就可能与主内存中的数据不一致，在多CPU环境下更是如此，这时，就要通过MSI缓存一致性协议来保证多个cpu缓存之间的数据一致性。

关于MSI缓存一致性协议可以通过查阅相关资料了解。

乱序执行优化

乱序执行优化也被称为指令重排序，是一种提高程序运行效率的优化手段，简单的说，就是调整指令的执行顺序。

乱序执行优化既会在java层面发生，也会在cpu层面发生。

数据依赖性

当两个操作访问同一个变量，且这两个操作有一个是写操作，那么这两个操作之间就存在数据依赖性，主要包含以下三种情况：

• 写后读
  a = 1;
  b = a;

• 写后写
  a = 1;
  a = 2;

• 读后写
  a = b;
  b = 1;
  对于存在数据依赖性的两个操作，编译器和处理器在进行指令重排序时，会保证这种数据依赖性，也就是保证具有数据依赖性的两个操作的执行顺序不会被重排。但需要注意但是，这种承诺仅针对单个cpu和单线程下的操作，而不同处理直接和多线程之间的数据依赖性不会被考虑。

as-if-serial语义

as-if-serial就是针对上面结论的一种简单描述，即在单线程和单cpu环境下进行的指令重排序会遵循数据依赖性原则，保证最终结果不变，这会带来一种幻觉：程序看起来是按顺序执行的。

乱序优化对程序对影响

先来看下面一段代码

public class ReorderExample {
    int a = 0;
    boolean flag = false;
    public void writer(){
        a = 1;
        flag = true;
    }
    public void reader(){
        if(flag) {
            int i = a * a;
            System.out.println(i);
        }
    }
}

假设有两个线程A和B，其A执行writer()，B执行reader()，那么，A线程执行的a=1一定对B线程可见吗？根据上面提到对乱序执行优化规则分析，是不一定。因为flag和a这两个变量之间不存在数据依赖性，原则上可以被编译器和cpu重排序，所以writer()可能按照这样的顺序执行：

flag = true;
a = 1;

此时，在多线程下，A阻塞到来flag=true，此时B线程获取到cpu时钟，那么，B线程中对方if(flag)可以通过，但A线程还没有写入a，所以B就无法观察到A线程对a变量对写入。

Java内存模型

Java内存模型是一种结构，它定义来线程工作内存和主内存之间对关系（这种结构是抽象的，并不会直接映射到某个具体的硬件结构上），同时，还是一种规范，它规定了一个线程如何以及合适可以看到其他线程修改过后的共享变量的值以及如何同步的访问共享变量。也就是线程间的通信和同步。

在jvm层面，当多个线程访问同一个引用变量时，它们操作的是同一个堆上的对象的某个属性值时，并不是直接在堆上操作，为了提高处理速度，每个线程都会将这个变量值拷贝到线程私有的栈中，操作完成后再刷新到主内存，如果操作的是方法内的局部变量则不需要刷新到主内存，随着线程运行完成这些局部变量的内存就会被释放。

在硬件层面，当多个线程在不同的cpu中同时运行时，由于每个都存在缓存，被操作的数据也会被拷贝到本地缓存中，待操作完成后再刷新到主内存。

这两种模型之间并没有直接的映射关系，对于线程栈可能在jvm堆上，也可能在cpu缓存上等等。

线程间的同步和通信实际上就是控制线程访问共享变量的顺序和保证变量的内存可见性，而这正式JMM要做的。