记个笔记-解释一下双重校验锁实现单例模式的原理
代码如下
主要解释一下为什么需要里面的二次判断,假设现在有两个线程A,B。线程A和B同时进入到第一层判断里面,此时A拿到锁进到第二层判断创建了对象,然后释放锁。此时B就可以拿到锁可以进入同步代码块,如果没有第二个判断,就会创建多个对象。
总结:第一个判断是为了减少锁判断,提升效率。第二个是为了保证只创建一个实例对象。
另外,需要注意 uniqueInstance
采用 volatile
关键字修饰也是很有必要。
uniqueInstance
采用 volatile
关键字修饰也是很有必要的, uniqueInstance = new Singleton();
这段代码其实是分为三步执行:
- 为
uniqueInstance
分配内存空间 - 初始化
uniqueInstance
- 将
uniqueInstance
指向分配的内存地址
但是由于 JVM 具有指令重排的特性,执行顺序有可能变成 1->3->2。指令重排在单线程环境下不会出现问题,但是在多线程环境下会导致一个线程获得还没有初始化的实例。例如,线程 T1 执行了 1 和 3,此时 T2 调用 getUniqueInstance
() 后发现 uniqueInstance
不为空,因此返回 uniqueInstance
,但此时 uniqueInstance
还未被初始化。
使用 volatile
可以禁止 JVM 的指令重排,保证在多线程环境下也能正常运行。