java双重检查锁定的实现代码
在java程序中,有时候可能需要推迟一些高开销的对象初始化操作,并且只有在使用这些对象时才进行初始化 。这称为延迟初始化或懒加载
看一个不安全的延迟初始化:
a线程执行1后,发现对象instance为null,准备对其new,而b线程却先new了,这造成了错误
我们可以利用同步锁,保证正确:
但是对整个方法进行同步开销太大,人们想出了双重检查锁定:
最小范围所用同步锁,利用双重检查看似实现了目的,但这出现了一个问题:当a线程4执行时,线程b的7还未执行完成,而线程a判定instance != null. 线程b的7还未执行完成,为什么会出现这种情况?
看一下new instance()的底层关键实现:
其实是先执行1分配内存,然后再初始化对象和设置instance.然后这里存在重排,2和3的顺序可能被调换:
所以当b还执行完7时,a在4判定instance对象已经完成初始化了,如果在ctorinstance(memory)之前去调用instance就会出错。
解决办法有两个:
1.将instance对象声明为volatile,它会禁止2,3的重排
2.利用基于类初始化的解决方案 :jvm在类的初始化阶段(即在class被加载后,且被线程使用之前),会执行类的初始化。在
执行类的初始化期间,jvm会去获取一个锁。这个锁可以同步多个线程对同一个类的初始化
我们会发现基于类初始化的方案的实现代码更简洁。但基于volatile的双重检查锁定的方案有一个额外的优势:除了可以对静态字段实现延迟初始化外,还可以对实例字段实现延迟初始化。字段延迟初始化降低了初始化类或创建实例的开 销,但增加了访问被延迟初始化的字段的开销。在大多数时候,正常的初始化要优于延迟初始化。如果确实需要对实例字段使用线程安全的延迟初始化,请使用上面介绍的基于volatile的延迟初始化的方案;如果确实需要对静态字段使用线程安全的延迟初始化,请使用上面介绍的基于类初始化的方案。
总结
以上所述是小编给大家介绍的java双重检查锁定的实现代码,希望对大家有所帮助