JMM的基本概念
主内存与工作内存的数据交互方式与规则。多线程中的原子性、可见性、有序性。指令重排。volatile关键字
Java作为平台无关性语言，JLS(Java语言规范)定义了一个统一的内存管理模型JMM（Java Memory Model)。JMM规定了jvm内存分为主内存和工作内存 ，主内存存放程序中所有的类实例、静态数据等变量，是多个线程共享的，而工作内存存放的是该线程从主内存中拷贝过来的变量以及访问方法所取得的局部变量，是每个线程私有的其他线程不能访问。每个线程对变量的操作都是以先从主内存将其拷贝到工作内存再对其进行操作的方式进行，多个线程之间不能直接互相传递数据通信，只能通过共享变量来进行。
从上图来看，线程1与线程2之间如要通信的话，必须要经历下面2个步骤：
- 首先，线程1把本地工作内存中更新过的共享变量刷新到主内存中去。
- 然后，线程2到主内存中去读取线程1之前已更新过的共享变量。
典型的高并发引起的问题就存在由于线程读取到的数据还没有从另外的线程刷新到主内存中而引起的数据不一致问题。
主内存与工作内存的数据交互
JLS一共定义了8种操作来完成主内存与线程工作内存的数据交互：
- lock：把主内存变量标识为一条线程独占，此时不允许其他线程对此变量进行读写
- unlock：解锁一个主内存变量
- read：把一个主内存变量值读入到线程的工作内存
- load：把read到变量值保存到线程工作内存中作为变量副本
- use：线程执行期间，把工作内存中的变量值传给字节码执行引擎
- assign：字节码执行引擎把运算结果传回工作内存，赋值给工作内存中的结果变量
- store：把工作内存中的变量值传送到主内存
- write：把store传送进来的变量值写入主内存的变量中
使用标准的操作再来重现一下上方的2个线程之间的交互流程则是这样的：
- 线程1从主内存read一个值为0的变量x到工作内存
- 使用load把变量x保存到工作内存作为变量副本
- 将变量副本x使用use传递给字节码执行引擎进行x++操作
- 字节码执行引擎操作完毕后使用assign将结果赋值给变量副本
- 使用store把变量副本传送到主内存
- 使用write把store传送的数据写到主内存
- 线程2从主内存read到x，然后load–>use–>assign–>store–>write
另外使用这8种操作也有一些规则：
- read 和 load必须以组合的方式出现，不允许一个变量从主内存读取了但工作内存不接受情况出现
- store和write必须以组合的方式出现，不允许从工作内存发起了存储操作但主内存不接受的情况出现
- 工作内存的变量如果没有经过 assign 操作，不允许将此变量同步到主内存中
- 在 use 操作之前，必须经过 load 操作
- 在 store 操作之前，必须经过 assign 操作
- unlock 操作只能作用于被 lock 操作锁定的变量
- 一个变量被执行了多少次 lock 操作就要执行多少次 unlock 才能解锁
- 一个变量只能在同一时刻被一条线程进行 lock 操作
- 执行 lock 操作后，工作内存的变量的值会被清空，需要重新执行 load 或 assign 操作初始化变量的值
- 对一个变量执行 unlock 操作之前，必须先把此变量同步回主内存中
多线程中的原子性、可见性、有序性
原子性
- 在JLS中保证原子性的操作包括read、load、assign、use、store和write。
- 基本数据类型（除了long 和double）操作都具有原子性。
如果需要更大范围的原子性操作的时候，可以使用lock和unlock操作来完成这种需求。
可见性
- 是指当一个线程修改了共享变量的值，其他线程是否能够立即得知这个修改。
- 由上方JMM的概念得知，线程操作数据是在工作内存的，当多个线程操作同一个数据的时候很容易读取到还没有被write到主内存变量的值。
Java是如何保证可见性的：volatile、synchronized、final关键字
有序性
- 在并发时，程序的执行可能会出现乱序。给人的直观感觉就是：写在前面的代码，会在后面执行
- 有序性问题的原因是因为程序在执行时，可能会进行指令重排，重排后的指令与原指令的顺序未必一致
指令重排
规则
- 程序顺序规则：一个线程内保证语义的正确性。
- 锁规则：解锁肯定先于随后的加锁前。
- volatile规则：对一个volatile的写，先于volatile的读。
- 传递性：如果A 先于 B，且B 先于 C，那么A 肯定先于 C。
- start()规则：线程的start()操作先于线程的其他操作。
- join()规则：线程的所有操作先于线程的关闭。
- 程序中断规则：线程的中断先于被中断后执行的代码。
- 对象finalize规则：一个对象的初始化完成先于finalize()方法。
我整理了一些互联网公司java程序员在面试中涉及到的绝大部分架构面试题及答案做成了文档和架构视频资料免费分享给大家（包括Dubbo、Redis、Netty、zookeeper、Spring cloud、分布式、高并发等架构技术资料）也可以关注获得更多的面试资料，节省大家收集的时间！
获取资料的方式：进群 571617441 即可领取！
