学习volatile时对双重校验锁有几个好奇点,调查结果记录一下。
public class SingleInstance{
private volatile static SingleInstance instance;// new 禁止指令重排
private SingleInstance(){// 反射可以直接调用构造方法,绕过private的限制
if(instance != null){throw new RuntimeException("single instance existed");}
}
public SingaleInstance getInstance(){
// 减少锁竞争,避免过多的线程进入同步队列,进入 blocking 状态
if(instance == null){
// 保证只有一个线程可以实例化对象,其他线程进入同步队列blocking
synchronized(SingleInstance.class){
if(instance == null){// 等待线程会进来,避免重复创建对象
instance = new SingleInstance();
}
}
}
return instance;
}
}
为什么两层if判断
外层保证效率,里层保证单例
锁前后非空判断,锁前if非空为了避免加锁多个线程等待,锁是只有一个创建,锁后if就是等待线程会进来,不重复创建
为什么加volatile
不加vol可用性99.99%,因为指令重排
因为new分三步分配堆空间、对象初始化、地址赋给instance。二三步可能重排,导致还没初始化就有生成实例,导致生成的实例执行方法时出现异常,下一个线程生成时外层非空就有值不会生成实例了
为什么有synchronized还需要加volatile
保证禁止指令重排
虽然都保证有序性,但是两个保证有序性的方式不一样。
syn保证有序性(锁块与锁块之间有序)不保证指令重排;vol有序性是保证指令重排,原理:读写操作前后插入内存屏障
相关参考连接:https://blog.csdn.net/weixin_44730681/article/details/115014920