JMM理论一：JMM（java内存模型）

参考致谢：
http://blog.cuzz.site/2019/04/16/Java%E5%B9%B6%E5%8F%91%E7%BC%96%E7%A8%8B/
https://blog.csdn.net/zjcjava/article/details/78406330
java内存模型JMM理解整理 - 阿姆斯特朗回旋炮 - 博客园 (cnblogs.com)
JMM概述_牧竹子-CSDN博客_jmm

1 JMM概述

1.1 JMM定义

JMM（Java内存模型Java Memory Model）本身时一种抽象的概念并不真实存在，它描述的是一组规则，来定义程序中各个变量（实例字段、静态字段、构成数组对象的元素）的访问方式。

1.2 JMM控制模型图

通信过程：JVM 运行的线程对变量的操作（读取赋值等）在各自的工作内存，而所有变量储存在主内存。因此线程将变量拷贝到自己的工作内存中，对变量进行操作后再写回主内存。拷贝和写回的过程需要JMM控制。

不同的线程间无法访问对方的工作内存，线程间的通信(传值)必须通过主内存来完成。

JMM关于同步的规定：
1、程序解锁前，必须把共享变量的值刷新回主页（写回主内存）。
2、程序加锁前，必须读取主内存的最新值到自己的工作内存（拷贝到线程内存）。
3、加锁解锁是同一把锁。

2 JMM三大特性

2.1 可见性

当有一个线程修改了值，会马上被另一个线程感知到，当前值作废，从新从主内存中获取值。对其他线程可见，这就叫可见性。

实现可见性：volatile、synchronized、Lock、final

synchronized关键字

Lock接口

ReentrantLock(重入锁)
try{
    lock.lock();//从主内存中刷新变量值到工作内存中
}finally{
    lock.unlock();//将工作内存中的变量值同步到主内存中
}

final关键字：

被final修饰的变量，不能被修改，在构造函数数一旦初始化完成，并且在构造函数中并没有把“this”的引用传递出去（“this”引用逃逸是很危险的，其他的线程很可能通过该引用访问到只“初始化一半”的对象），那么其他线程就可以看到final变量的值。

2.2 原子性

1、一个操作不能被打断，要么全部执行完毕，要么不执行。（类似于事务操作）

2、内存交互操作有8种：

• lock (锁定）：作用于主内存的变量，把一个变量标识为线程独占状态。
• unlock(解锁）：作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
• read(读取）：作用于主内存变量，它把一个变量的值从主内存传输到线程的工作内存中，以便随后的load动作使用。
• load (载入）：作用于工作内存的变量，它把read操作从主存中变量放入工作内存中。
• use(使用）：作用于工作内存中的变量，它把工作内存中的变量传输给执行引擎，每当虚拟机遇到一个需要使用到变量的值，就会使用到这个指令。
• assign(赋值）：作用于工作内存中的变量，它把一个从执行引擎中接受到的值放入工作内存的变量副本中。
• store (存储）：作用于主内存中的变量，它把一个从工作内存中一个变量的值传送到主内存中，以便后续的write使用。
• write (写入）：作用于主内存中的变量，它把store操作从工作内存中得到的变量的值放入主内存的变量中。

注意：
JMM保证以上每一个操作都是原子的，不可在分的（基本类型数据的访问大都是原子操作，long 和double类型的变量是64位，对于double和long类型的变量来说，load、store、read和write操作在某些平台上允许例外）

2.3 有序性

在多线程并发执行时，会发生“指令重排”和“工作内存和主内存同步延迟”现象。也就是程序不能保证多个线程按顺序执行。因此JMM利用两个关键字volatile和synchronized来保证多线程之间操作的有序性。

• volatile关键字本身通过加入内存屏障来禁止指令的重排序；
• synchronized关键字通过一个变量在同一时间只允许有一个线程对其进行加锁的规则来实现。

3 JVM和JMM之间的关系

JMM中的主内存、工作内存与JVM中的Java堆、栈、方法区等并不是同一个层次的内存划分，这两者基本上是没有关系的，勉强对应起来：

• 主内存——Java堆中的对象实例数据部分；
• 工作内存——虚拟机栈中的部分区域。

从更低层次上说：

• 主内存——物理硬件的内存（更好的运行速度）；
• 工作内存优先存储于寄存器和高速缓存中（主要访问读写的是工作内存）。