java内存模型JMM

1.JMM是什么

  java内存模型JMM是符合计算机内存模型规范的一组操作或规范，是一个抽象的概念。

2.计算机内存模型

  分为cpu，cpu寄存器，cpu高速缓存，主存

  一般来说计算机有多个cpu，每个cpu又有多个核，这也是多线程的前提条件。cpu的处理速度是很快的，但是磁盘写入速度是很慢的。线程如果发生了变量修改如果等着变量写入磁盘，就会花费很多时间。所以加入了cpu高速缓存区的概念。先把数据缓存，稍后再写入磁盘。这样线程无需等待就可以继续运行，提高了程序的运行效率。但是随之而来就有一个问题，就是缓存一致性。也就是java中的可见性问题。
  像程序运行效率优化引起的问题还有处理器优化带来的原子性问题，指令重排序带来的有序性问题。

3. java内存模型JMM

所有的变量都存在主内存中，每条线程新建时都会分配一个线程本地内存，线程需要使用变量时需要先从主内存中加载变量的副本到主内存。如果对变量进行了修改，也需要由本地内存写入主内存。
为了标准化主内存和本地内存的交互，JMM定义了八种操作。
lock ：就是加锁，作用于主内存变量，表示该变量已被线程独占。不能被其他线程加载使用或再次独占。
unlock：解锁，作用于主内存变量，结束变量的线程独占状态。
read： 读取，作用于主内存变量，将主内存的变量读取到线程本地内存。
load：加载。作用于本地内存变量，在本地内存中新建主内存变量的副本。并将变量值赋予副本。
use：使用。作用于本地内存变量，在虚拟机执行到使用变量的字节码指令时使用，将本地内存变量传递到执行器。
assign：赋值。 作用于本地内存变量， 在虚拟机执行到赋值的字节码指令时使用，将执行器接收到的值赋值给本地内存变量。
store：存储。作用于本地内存变量，将本地内存变量，传递到主内存中。
write：写入。 作用域主内存变量，将本地内存变量传递的值写入主内存变量中。

4.volatile的底层原理

volatile 的底层实现原理是内存屏障，Memory Barrier（Memory Fence）

  在每个volatile写操作的前面插入一个StoreStore屏障

  在每个volatile写操作的后面插入一个StoreLoad屏障

StoreStore屏障将保障上面所有的普通写操作结果在volatile写之前会被刷新到主内存->普通写操作对其他线程可见
StoreLoad屏障的作用是避免volatile写操作与后面可能有的volatile读/写操作重排序

  在每个volatile读操作的后面插入一个LoadLoad屏障

  在每个volatile读操作的后面插入一个LoadStore屏障

LoadStore屏障用来禁止编译器把上面的volatile读操作与下面的普通读写操作重排序

大致意思就是说volatile变量不管是读还是写，都能保证代码顺序在自己之前的执行在自己之前，代码在自己之后的执行在自己之后。

5.Happens-Before 先行发生原则

  程序次序规则（Program Order Rule）

在一个线程内，按照控制流顺序，书写在前面的操作先行发生于书写在后面的操作。注意，这里说的是控制流顺序而不是程序代码顺序，因为要考虑分支、循环等结构。

  管程锁定规则（Monitor Lock Rule）

一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调的是“同一个锁”，而“后面”是指时间上的先后。

  volatile 变量规则（Volatile Variable Rule）

对一个volatile变量的写操作先行发生于后面对这个变量的读操作，这里的“后面”同样是指时间上的先后。

  线程启动规则（Thread Start Rule）

Thread对象的start()方法先行发生于此线程的每一个动作。

  线程终止规则（Thread Termination Rule）

线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过Thread::join()方法是否结束、Thread::isAlive()的返回值等手段检测线程是否已经终止执行。

  线程中断规则（Thread Interruption Rule）

对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread::interrupted()方法检测到是否有中断发生。

  对象终结规则（Finalizer Rule）

一个对象的初始化完成（构造函数执行结束）先行发生于它的 finalize()方法的开始。

  传递性（Transitivity）

如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出 操作A先行发生于操作C的结论。