深入浅出JAVA并发相关的内存模型（JMM）

---

1.可见性问题

当程序反复读取主存中某个数据时，JIT（即时编译器）会将这个数据存于缓存中以提高访问效率，但是当改变这个数据时，只是改变了主存中的数据，但是读取还是读取的缓存中那个没改变的数据率，造成可见性问题
解决方案：用volatile关键字修饰变量，就能保证对这个数据的读取永远都是从主存中读取。

2.原子性

一行代码可能由几行字节执行码组成，在JVM中，不一定是在一段时间内只执行这几行字节码，多线程的情况下是交错执行字节码的。
所以一行代码能够保证其所有字节码都能一次性执行完而不被其他字节码打断或者穿插，这就是原子性。
Synchronized既能保证原子性也能保证可见性

3. 有序性

在多线程情况下，为了CPU的效率，JVM会执行指令重排的优化。
为了实现指令级的并行效果，以流水线的方式来优化吞吐量如图所示

那么在多线程执行指令时，可以把第二个线程的IF排序到第一个线程执行ID是执行。
那么在JAVA中出现的问题就是，举个例子（指令重排可以被禁止）：

int num=0;
boolean ready=false;
//线程1 执行此方法
public void actor1(I_Result r){
	if(ready){
		r.r1=num+num;
	}else{
		r.r1=1;
	}
}
//线程2执行此方法
public void actor2(I Result r){
	num=2;
	ready=true;
}

若两个线程分别执行actor1和2方法，那么就只着眼于actor2方法，将num=2和ready=true重排调换执行顺序好像没啥问题，但是这会造成actor1方法算出的r1多出一种结果（本来只有两个结果：1、ready还没来得及true，r1只能等于12、ready=true了，r1可以等于4，现在出现第三种结果，ready=true了，但num还没来得及等于2，那么r1就可能等于0）

4.volatile

volatile可以保证可见性和有序性。

4.1 对原子性和有序性的保证（都只能保证本线程内不被重排）

1、 写屏障
写屏障写于被volatile修饰的变量进行赋值操作之后，该屏障保证了这个赋值操作之前的所有写操作都能被写入主存，包括其他没被volatile修饰的写入操作，也能保证这之前所有的操作不会出现在这个赋值操作的后面。
2、 读屏障
读屏障写于被volatile修饰的读取操作之前，该屏障保证从这个读取操作开始之后的所有读操作都是读取主存的数据，并能保证之后所有的代码不能出现在读取操作的前面。

5. Double checked locking（双重锁定问题）

public final class Singleton{
	private Singleton(){}
	private static Singleton INSTANCE=null;
	public static Singleton getInstance(){
		synchronized(Singleton.class){
			if(INSTACNE==null){
				INSTANCE=new Singleton();
			}
		}
	} 
	return INSTANCE;
}

在单例模式创建instance的过程中，这样的双重检查能够避免每一次想要创建实例时，都需要去获得锁，这样消耗很大，只需要第一次创建实例后，后面只需要根据第一个if的判断就能跳过获取锁的步骤，但是这个if并没有受到synchronized的保护。

Synchronized不能保证临界区代码不会进行指令重排，因为进入临界区时，相当于多线程变为单线程了，单线程内的适当指令重排不会影响到正常运行，那么synchronized就不会管，但是if在synchronized之外，内部的重排序可能会对外面的if造成影响，synchronized管不到。所以在instance =new Instance()这样的操作中，字节码执行顺序可能被重排为先赋值再调用构造方法，但是那个if中需要获取instance的值，且不受synchronized保护，那么它无论什么时候都能获取这个instance值，在上图中就出现了这样的情况，再还没调用构造方法的情况下，获取了instance的值不为null，直接跳过初始化这个单例的代码获得了这个不为null的但不是想要的值。
解决方法：用volatile修饰这个instance这个成员变量，加入了写屏障后，pustatic这个赋值操作就是写屏障，那么构造方法就不能排到这个赋值操作的后面。