JMM内存模型

Java内存模型(JMM):描述共享变量在并发场景下的访问规则(happens-before)

主内存和工作内存:
JMM主要是定义程序中各个变量的访问规则,变量(共享变量)包括字段,静态字段以及构成数组的元素.

JMM规定所有共享变量都存储在主内存中(堆,方法区),每个线程还有自己的工作内存(虚拟机栈),线程的工作内存保存了该线程使用的变量的主内存副本,线程对变量的所有操作(读取,赋值)等都必须在工作内存中进行,不能直接在主内存读写.线程间变量的传递均需要通过主内存来完成.

JMM内存模型三大特性

-原子性
原子性是指一个操作是不可中断的,即使是在多线程环境下,一个操作一旦开始就不会被其他线程影响,基本数据类型的访问,读写是具备原子性的,如若需要更大范围的原子性,需要synchronized关键字约束.

• 可见性
  当一个线程修改了某个共享变量的值,其他线程能够立即得知之隔修改后,volatile,synchronized,final可以实现可见性.

• 有序性
  如果在本线程中观察,所有操作都是有序的,如果在线程中观察另一个线程,所有操作都是无序的.
  前半句指的是线程内表现为串行,后半句指的是指令重排以及工作内存与主内存同步延迟现象.

JMM具备如下先天的"有序性",无需任何手段就能保证有序性,happens-before原则,如果两个操作的执行顺序无法通过happens-before推断出来,那么JVM可以随意的对它们进行重排序.
happens-before原则:

• 程序次序原则 : 一个线程内,按照代码顺序执行(逻辑上而非时钟上)

• 锁定规则 : 一个unlock操作先行发生于后面的对同一个锁的lock操作

• volatile规则 : 对一个volatile变量的写操作发生在读操作之前.

• 传递规则 : A优先于B,B优先于C,则A优先于C.

• 线程启动规则 : 如果线程A在执行线程B的start方法之前修改了共享变量的值,那么当线程B执行start方法时,线程A对共享变量的修改对线程B可见

• 线程中断规则 : 对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生,可以通过Thread.interrupt()方法检测线程是否中断.

• 线程终止规则 : 线程的所有操作先于线程的终结,Thread.join()方法的作用是等待当前执行的线程终止,假设在线程B终止之前,修改了共享变量,线程A从线程B的join 方法成功返回后,线程B对共享变量的修改对线程A可见.

• 对象终结规则 : 对象的构造函数的执行,结束先于finalize()方法.