JMM内存模型简述

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

JMM 关于同步的规定：

    1:线程解锁前，必须把共享变量的值刷新回主内存

    2:线程加锁前，必须读区主内存的最新值到自己的工作内存

    3:加锁解锁是同一把锁

JMM特性：

    1:可见性

    2:原子性

    3:有序性（禁止指令重排）     

有序性：

计算机在执行程序时，为了提高性能，编译器和处理器常常会对指令进行重排序一般分为以下三种：

    源代码—》编译器的优化重拍—》指令并行的重拍—》内存系统的重拍—》最终执行的命令

单线程环境里面确保代码执行结果和代码顺序执行的结果一致

处理器在进行重排序时必须要考虑指令之间的数据依赖性(指令重排数据依赖性)

多线程环境中线程交替执行，由于编译器优化重排的存在，两个线程使用的变量能否保证一致性是无法确定的，结果无法预测

原子性：

不可分割，完整性，也即某个线程正在做某个业务时，中间不可以被加塞，或者分割，需要整体完整，要么同时成功，要么同时失败。保证数据的完整一致性

可见性：

由于JVM运行程序的实体是线程，而每个线程在创建时jvm都会为其创建一个工作内存（有些地方成为栈空间），工作内存是每个线程的私有数据区域，而java内存模型规定，所有变量都存在主内存中，主内存是共享内存区域，所有线程都可以访问，但线程对数据的操作必须在工作内存中进行，所以需要先将变量从主内存中拷贝到自己的工作内存中。然后在对其进行操作，操作完成后，再将变量写回到主内存中，不能直接操作主内存的变量。因此，不同的线程不能访问对方线程的工作内存，线程间的通信都是在主内存中进行的