Java内存模型(JMM)

学习高并发时，有必要对JMM了解一下。特别是线程安全这一方面

JMM

JMM(Java Memory Model) 译：Java内存模型

定义Java内存模型的主要目的为了：定义程序中各种变量的访问规则即关注虚拟机中把变量值存储到内存和从内存中取出变量值的底层细节。这里的变量包括实例字段、静态变量、数组对象等****但是不包括局部变量和方法参数，因为后者是线程私有的，不会被共享就不存在安全问题。

JMM中关键技术都离不开 原子性、可见性、有序性

原子性：简单说就是操作是不可分的，要么全部执行，要么都不执行。

好比银行转账：转钱的人钱变少，收钱的人钱变多。这是一个原子操作，绝不允许一个人钱没少，而另一个人钱变多的情况。后续的锁机制 CAS机制

可见性：一个线程对共享变量的修改的，其它线程也可以立即看到

当一个线程修改了共享变量的时，其它线程都能立即得知这个修改。JMM是通过在变量修改后将新值同步回主内存，在变量读取前从主内存中刷新变量值。volatile保证新值可以立马同步到主内存中，在使用前立即从主内存中刷新。

举例：我的另一篇文章多线程的基本操作(没看的一定要去看看，最全的多线程操作)中通过变量修改去结束线程的操作，就利用了可见性volatile、synchronized、锁(后续文章讲解)

有序性：程序按照代码的先后顺序执行

内存模型图：
内存模型规则

1.我们所有定义的变量(除局部变量)都存放在主内存(Main Memory)
2.每个线程都有自己的工作内存，工作内存中存放需要使用的变量的主内存副本！
3.线程对所有变量的操作都必须在工作内存中进行。不能直接在主内存中操作。
4.不同线程之间的无法直接访问对方工作内存中的变量。线程间变量值的传递需要通过主内存进行传递。

内存间的操作：

lock(锁定)   将主内存中的变量标志为线程独占的状态
unlock(解锁) 把锁定状态的变量释放出来，释放后的变量才可以被其它线程使用
read(读取)   把主内存中的变量传输到线程的工作内存中，以便载入
load(载入)   把read操作从主内存中读取的变量值放入工作内存的变量副本中
use(使用)    把工作内存中的变量值传递给执行引擎。当虚拟机需要使用该变量值时会执行该操作
assign(赋值) 把执行引擎接收的值赋值给工作内存中变量的副本
store(存储)  将工作内存中的变量传递到主内存，方便write
write(写入)  将store操作的变量放入主内存变量

上述操作需要满足的规则：

选择了解一部分规则，帮助我们后续对线程安全的理解。

1.不允许read和load/store和write单独操作。即从主内存中读取后就必须要放入工作内存中...
2.变量在工作内存中赋值后必须同步到主内存中
3.一个新变量只能在主内存中产生，表示不允许工作内存中使用未被初始化的变量
4.一个变量在同一时刻只能有一条线程对其lock,但是lock操作可以被同一线程多次使用
5.对一个变量执行lock操作，会清除工作内存中该变量的值，使用时需要重新load或assign
6.对一个变量执行unlock操作之前，必须先将此变量同步到主内存中(执行store和write)