设计模式之单例模式二(懒汉式double check)

上一篇文章中的懒汉式单例模式采用同步方法保证了线程安全,但是开销很大,每次执行该方法都会检查锁。下面采用double check的方式进行改写,下面这种实现看似可行,实则有缺陷,具体缺陷在后文分析:

注意上面第二幅图中对lazyDoubleCheckSingleton对象创建时的解析,该创建过程实际上是分为三个步骤的,一、分配内存;二、初始化内存;三、将lazyDoubleCheckSingleton指向该内存。一旦lazyDoubleCheckSingleton指向了一篇内存,就会判断不为空,这看似很合理,但是这三步的执行顺序可能会被编译器重排序,第二步与第三步交换顺序,假如lazyDoubleCheckSingleton先指向了一片内存,但是该内存还没有被初始化,但是该线程已经被调度,此时执行的另一个线程判断lazyDoubleCheckSingleton不为空,就会使用该对象,但是该对象还没被初始化,这样就会导致错误,下面采用volatile阻止局部重排序:

猜你喜欢

转载自blog.csdn.net/Wenlong_L/article/details/82764796