一、基本介绍

JMM（java内存模型java memory model）本身是一种抽象的概念，并不真实存在，它描述的是一组规则或规范，通过这组规范定义了程序中各个变量（包括实例字段，静态字段和构成数组对象的元素）的访问方式

1、JMM关于同步的规定

1、线程解锁前，必须把共享变量的值刷回主内存。
2、线程加锁前，必须读取主内存的最新值到自己的工作内存
3、加锁解锁是同一把锁

2、JMM 规范

1、可见性
2、原子性
3、有序性
以上三点保证了线程安全

线程安全就是多线程访问时，采用了加锁机制，当一个线程访问该类的某个数据时，进行保护，其他线程不能进行访问直到该线程读取完，其他线程才可使用。不会出现数据不一致或者数据污染。 线程不安全就是不提供数据访问保护，有可能出现多个线程先后更改数据造成所得到的数据是脏数据

二、可见性介绍

由于JVM运行程序的实体是线程，而每个线程创建时JVM都会为其创建一个工作内存（有些地方称之为栈空间），工作内存是每个线程的私有数据区域，而java内存模型中规定所有变量都存储在主内存，主内存是共享内存的区域，所有线程都可以访问，但线程对变量的操作（读取/赋值等）都必须在自己的工作内存中进行，首先要将变量从主内存拷贝到自己的工作空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，各个线程中的工作内存中存储着主内存中的变量副本拷贝，因此不同的线程间无法直接访问对方的工作内存，线程间的通信(传值)必须通过主内存来完成，其简要访问过程如下。

对于上述关键词的解释：

• 主内存：就是常用的内存条
• 每个线程从主内存拷贝到自己的工作空间中进行操作
• 例如图中，t1线程将age=25拷贝到自己的工作空间后，将其改成37，然后放回主内存，此时主内存会变动通知其他线程（这就是可见性，对其他线程可见）

  三、原子性

  不可分割，完整性，某个线程在做某个业务的时候，中间不可以被加塞或者被分割。需要整体完整，要么同时成功，要么同时失败。
  参考：https://www.yuque.com/wangchao-volk4/fdw9ek/xmkynl

  四、有序性

  防止指令重排
  参考：https://www.yuque.com/wangchao-volk4/fdw9ek/zqskg7#U3AWu