Java的内存模型JMM（描述并发程序的逻辑模型）

Java的内存模型JMM（描述并发程序的逻辑模型）

java的内存模型主要是定义JVM如何将变量存储到内存中，又如何将内存中的变量取回等细节。
变量（线程共享）：类中的实例属性，静态属性及数组元素。
线程私有：局部变量，方法参数

1. 规定所有变量必须存储在主内存中。
2. 每个线程还有自己的工作内存，工作内存中保存了该线程使用到的变量的主内存拷贝副本。
3. 线程对于变量的所有操作（读取，赋值等）必须在工作内存中进行，而不能直接操作主内存。不同线程间也无法访问彼此的工作内存中的变量，线程间变量值的传递均通过主内存来进行。

• 线程，主内存，工作内存之间的交互关系：
  
• 实际上，java虚拟机的实现和硬件物理机是类似的：
  处理器，高速缓存，主内存之间的交互关系：
  

内存模型的三大特性

并发程序同时满足以下三个特性才是线程安全的，任意一个不满足都不是线程安全。

1. 原子性

一个或一组操作要么全部发生，要么全都不发生。
基本数据类型的访问读写属于原子性操作，如若需要更大范围的原子性操作（运算等），需要使用synchronized或lock来保证原子性。

2. 可见性

当一个线程修改了共享变量的值，其他的线程能够立即得知此修改。
synchronized/final/volatile可以保证可见性。
同步块的可见性是指：对一个变量执行unlock之前，必须先将此变量同步到主内存中。
final的可见性是指：被final修饰的字段在构造器中一旦初始化完成，并且构造器没有将this的引用传递出去，呢在其他线程中就可以看到final的字段。

3. 有序性

如果在本线程内观察，所有线程都是有序的—线程内表现为串行。
如果在线程中观察另一个线程，所有的操作都是无序的–指令重排序，工作内存和主内存同步延迟现象。

• happens-before原则（先行发生原则）：
  • 程序次序规则：一个线程内，按照代码顺序（控制流顺序），书写在前面的操作先行发生于书写在后面的操作。
  • 锁定规则：一个unLock操作先行发生于后面对同一个锁的lock操作。
  • volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作。
  • 传递规则：操作A先操作B发生，操作B先操作C发生，则操作A先操作C发生。
  • 线程启动规则：Thread对象的start（）方法先行发生于此线程的每一个动作。
  • 线程中断规则：对线程interrupt（）方法的调用先行发生于被中断线程的代码检测到中断事件发生，可以通过Thread.interrupted()方法检测到是否有中断发生。
  • 线程终止规则：线程中所有的操作方法先行发生于对此线程的终止检测，可以通过Thread.join()方法结束，Thread.isAlive()的返回值等手段检测到线程已经终止执行。
  • 对象终结规则：一个对象的初始化完成（构造函数执行完毕）先行发生于他的finalize()方法的开始。

java内存模型为volatile变量制定的特殊访问规则：

1. volatile变量具备可见性。当一个线程修改了这个变量的值，其他线程能够立即得知此修改。
2. 被volatile修饰的变量是禁止指令重排序优化的（jdk1.5以后）。

volatile变量的应用场景：

1. 运算结果不依赖当前变量的值（没有自增自减等非原子性操作）。
2. 变量不需要与其他变量共同参与运算。（eg: int j = i + 1;）
3. 使用volatile变量可以禁止CPU进行指令重排。（双重加锁单例模式）
   1. 当程序执行到volatile的读或写时，在其前面的操作一定全部进行完毕，并且结果对后面操作可见，后面的操作也还没有发生。
   2. 指令重排时，不能将volatile的语句提前或滞后。