JMM

Java内存模型

Java内存模型是通过各种操作来定义的，包括对变量的读写操作，监视器的加锁和释放操作，以及线程的启动和合并操作。

1、工作内存和主内存的交互规则

（1）lock: 作用于主内存的变量，一个变量在同一时间只能一个线程锁定，该操作表示这条线成独占这个变量

（2）unlock: 作用于主内存的变量，表示这个变量的状态由处于锁定状态被释放，这样其他线程才能对该变量进行锁定

（3）read: 作用于主内存变量，表示把一个主内存变量的值传输到线程的工作内存，以便随后的load操作使用

（4）load: 作用于线程的工作内存的变量，表示把read操作从主内存中读取的变量的值放到工作内存的变量副本中

（5）use: 作用于线程的工作内存中的变量，表示把工作内存中的一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用变量的值

的字节码指令时就会执行该操作

（6）assign: 作用于线程的工作内存的变量，表示把执行引擎返回的结果赋值给工作内存中的变量，每当虚拟机遇到一个给变量赋值的字

节码指令时就会执行该操作

（7）store: 作用于线程的工作内存中的变量，把工作内存中的一个变量的值传递给主内存，以便随后的write操作使用

（8）write: 作用于主内存的变量，把store操作从工作内存中得到的变量的值放入主内存的变量中

2、volatile修饰的变量的访问规则

​ 只有当线程T对变量V执行的前一个动作是load，线程T对变量V才能执行use动作；同时只有当线程T对变量V执行的后一个动作是use的时候线程T对变量V才能执行load操作。

​ 只有当线程T对变量V执行的前一个动作是assign的时候，线程T对变量V才能执行store动作；同时只有当线程T对变量V执行的后一个动作是store的时候，线程T对变量V才能执行assign动作。

​ 假定动作A是线程T对变量V实施的use或assign动作，动作F是和动作A相关联的load或store动作，动作P是和动作F相对应的对变量V的read或write动作；类似的，假定动作B是线程T对变量W实施的use或assign动作，动作G是和动作B相关联的load或store动作，动作Q是和动作G相对应的对变量W的read或write动作。如果动作A先于B，那么P先于Q。

​ 也就是说在同一个线程内部，被volatile修饰的变量不会被指令重排序，保证代码的执行顺序和程序的顺序相同。volatile类型的变量保证对所有线程的可见性，volatile类型的变量禁止指令重排序优化。

happens-before原则
（1）程序次序规则：一个线程内,按照代码书写顺序,书写在前面的操作先发生于书写在后面的操作

（2）锁定规则：一个unLock操作先行发生于后面对同一个锁的unLock操作volatile变量规则：对volatile 修饰的变量的写操作先行发生于

后面对这个变量的读操作

（3）传递规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以得出操作A先行发生于操作C

（4）线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作

（5）线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生

（6）线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值

手段检测到线程已经终止执行

（7）对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始

3、double check的弊端

private static Singleton instance = null;
public static Singleton getInstance() {
	if (null == instance) {//1
		synchronized (Singleton.class) {//2
			if (null == instance) {//3
				instance = new Singleton();//4
			}
		}
	}
	return instance;//5
}

instance=new Singleton() 相当于是：

（1）memory=allocate(); //1 申请内存

（2）ctorInstance(memory); //2 初始化内存

（3）instance=memory; // 3指针指向内存

​ 123指令可能发生指令重排序132，线程a完成了1,3也就是instance已经指向了一块没被初始化的内存，线程b此时走到1，发现instance不是null，导致线程b拿到一个不完整的对象（没初始化完成），如果用volatile修饰instance就可以防止指令重排序，避免这种情况。