并发编程03-Java内存模型03(双重检查锁定与延迟初始化)

  • 双重检查锁定的由来
  • 问题的根源
  • 基于volatile的解决
  • 基于类初始化的解决方案
    • 类或接口初始化的五个阶段
      • 第一阶段
      • 第二阶段
      • 第三阶段
      • 第四阶段
  • 小结

在Java多线程程序当中,有时候需要采用延迟初始化来降低初始化类和创建对象的开销.双检查锁定是常见的延迟初始化结束,但他是一个错误的用法.

双重检查锁定的由来

在Java程序中,有时候可能需要推迟一些高开销的对象初始化操作,并且只有在使用这些对象时才进行初始化。此时,程序员可能会采用延迟初始化。但要正确实现线程安全的延迟初始化需要一些技巧,否则很容易出现问题。


并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第1张图片

在UnsafeLazyInitialization类中,假设A线程执行代码1的同时,B线程执行代码2。此时,线程A可能会看到instance引用的对象还没有完成初始化.

对于UnsafeLazyInitialization类,我们可以对getInstance()方法做同步处理来实现线程安全的延迟初始化。


并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第2张图片
同步处理

由于对getInstance()方法做了同步处理,synchronized将导致性能开销。如果getInstance()方法被多个线程频繁的调用,将会导致程序执行性能的下降。反之,如果getInstance()方法不会被多个线程频繁的调用,那么这个延迟初始化方案将能提供令人满意的性能。

在早期的JVM中,synchronized(甚至是无竞争的synchronized)存在巨大的性能开销。因此,人们想出了一个“聪明”的技巧:双重检查锁定(Double-Checked Locking)。人们想通过双重检查锁定来降低同步的开销。


并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第3张图片

,如果第一次检查instance不为null,那么就不需要执行下面的加锁和初始化操作。因此,可以大幅降低synchronized带来的性能开销。

  • 多个线程试图在同一时间创建对象时,会通过加锁来保证只有一个线程能创建对象。
  • 在对象创建好之后,执行getInstance()方法将不需要获取锁,直接返回已创建好的对象。

当线程执行到第4行,代码读取到instance不为null时,instance引用的对象有可能还没有完成初始化。也就是可能返回的对象为空


问题的根源

前面的双重检查锁定示例代码的第7行(instance=new Singleton();)创建了一个对象。这一行代码可以分解为如下的3行伪代码。


上面3行伪代码中的2和3之间,可能会被重排序(在一些JIT编译器上,这种重排序是真实发生的).2和3之间重排序之后的执行时时序如下.


第三步进行后instance就不为null了

所有线程在执行Java程序时必须要遵守intra-thread semantics(内部线程语义)。intra-thread semantics保证重排序不会改变单线程内的程序执行结果。换句话说,intra-thread semantics允许那些在单线程内,不会改变单线程程序执行结果的重排序。上面3行伪代码的2和3之间虽然被重排序了,但这个重排序并不会违反intra-thread semantics。这个重排序在没有改变单线程程序执行结果的前提下,可以提高程序的执行性能。

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第4张图片
假设一个线程A在构造对象后,立即访问这个对象
并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第5张图片
多线程执行时序图

由于单线程内要遵守intra-thread semantics,从而能保证A线程的执行结果不会被改变。但是,当线程A和B按上述多线程执行时序图时序执行时,B线程将看到一个还没有被初始化的对象。

DoubleCheckedLocking示例代码的第7行(instance=new Singleton();)如果发生重排序,另一个并发执行的线程B就有可能在第4行判断instance不为null。线程B接下来将访问instance所引用的对象,但此时这个对象可能还没有被A线程初始化!
上述场景具体执行时序

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第6张图片
多线程执行时序表

这里A2和A3虽然重排序了,但Java内存模型的的intra-thread semantics将确保A2一定会排在A4前面执行。因此,线程A的intra-thread semantics没有改变,但A2和A3的重排序,将导致线程B在B1处判断出instance不为空,线程B接下来将访问instance引用的对象。此时,线程B将会访问到一个还未初始化的对象.

针对与上述双重检查延迟锁定存在的问题我们可以使用以下两种方法解决:

  • 不允许3和3进行重排序操作
  • 允许2和3重排序,但不允许其他线程“看到”这个重排序。

基于volatile的解决

对于前面的基于双重检查锁定来实现延迟初始化的方案(指DoubleCheckedLocking示例代码),只需要做一点小的修改(把instance声明为volatile型),就可以实现线程安全的延迟初始化。


并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第7张图片

注意:这个解决方案需要JDK 5或更高版本(因为从JDK 5开始使用新的JSR-133内存模型规范,这个规范增强了volatile的语义)。

picture 3.0

当声明对象为volatile后,上述的3行伪代码中2和3之间的重排序,在多线程环境当中就会被禁止.上面的实例代码就会按照下面的时序图运行.


并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第8张图片

这个方案本质上是通过picture3.0中2和3之间的重排序,来保证线程安全的延迟初始化.


基于类初始化的解决方案

JVM在类的初始化阶段(即在Class被加载后,且被线程使用之前),会执行类的初始化.在执行类的初始化期间,JVM回去获取一个锁.这个锁可以同步多个线程对同一个类的初始化.

基于这个特性,可以实现另一种线程安全的延迟初始化方案--Initialization On Demand Holder idiom

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第9张图片

假设两个线程并发执行getInstance()方法,下面是执行的示意图


并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第10张图片
两个线程并发执行的示意图

这个方案的实质是:允许3.8.2节中的3行伪代码中的2和3重排序,但不允许非构造线程(这里指线程B)“看到”这个重排序。

初始化一个类,包括执行这个类的静态初始化和初始化在这个类中声明的静态字段。根据Java语言规范,在首次发生下列任意一种情况时,一个类或接口类型T将被立即初始化。
1)T是一个类,而且一个T类型的实例被创建。
2)T是一个类,且T中声明的一个静态方法被调用。
3)T中声明的一个静态字段被赋值。
4)T中声明的一个静态字段被使用,而且这个字段不是一个常量字
5)T是一个顶级类(Top Level Class,见Java语言规范的§7.6),而且一个断言语句嵌套在T内部被执行。

在InstanceFactory示例代码中,首次执行getInstance()方法的线程将导致InstanceHolder类被
初始化(符合情况4)。

由于Java语言是多线程的,多个线程可能在同一时间尝试去初始化同一个类或接口(比如这里多个线程可能在同一时刻调用getInstance()方法来初始化InstanceHolder类.因此,在Java中初始化一个类或者接口时,需要做细致的处理.

Java语言规范规定,对于每一个类或接口C都有一个唯一的初始化多LC与之对应.从C到LC的映射,由JVM的具体实现去自由实现.JVM在类初始化期间会获取这个初始化锁,并且每个线程至少获取一次锁来确保这个类已经被初始化过了(事实上Java序言允许JVM的具体实现在这里做一些优化).

对于类或接口的初始化.Java语言规范指制定了精巧而复杂的类初始化过程.Java初始化一个类或接口的处理过程如下.

类或接口初始化的五个阶段

第一阶段

通过Class对象上同步(即获取Class对象的初始化锁),来控制类或接口的初始化.这个获取锁的线程会一直等待,只到当前线程能够获取到这个初始化锁.

假设Class对象当前还没有初始化(初始化状态state,此时被标记为为state=noInitialization),且有两个线程A和B试图同时初始化这个Class对象。


并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第11张图片
类初始化——第1阶段

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第12张图片
类初始化——第1阶段的执行时序表
第二阶段

线程A执行类的初始化,同时线程B在初始化锁对应的condition上等待

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第13张图片
类初始化——第2阶段

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第14张图片
类初始化——第2阶段的执行时序表

第三阶段

线程A设置state=initialized,然后唤醒在condition中等待的所有线程

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第15张图片
类初始化——第3阶段

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第16张图片
类初始化——第3阶段的执行时序表

第四阶段

线程B结束类的初始化处理

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第17张图片
类初始化——第4阶段

类初始化——第4阶段的执行时序表

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第18张图片
多线程执行时序图

线程A在第2阶段的A1执行类的初始化,并在第3阶段的A4释放初始化锁;线程B在第4阶段的B1获取同一个初始化锁,并在第4阶段的B4之后才开始访问这个类。根据Java内存模型规范的锁规则,这里将存在如下的happens-before关系。

这个happens-before关系将保证:线程A执行类的初始化时的写入操作(执行类的静态初始化和初始化类中声明的静态字段),线程B一定能看到。

第五阶段

线程C执行类的初始化的处理。

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第19张图片
类初始化——第5阶段

并发编程03-Java内存模型03(双重检查锁定与延迟初始化)_第20张图片
类初始化——第5阶段的执行时序表

在第3阶段之后,类已经完成了初始化。因此线程C在第5阶段的类初始化处理过程相对简单一些(前面的线程A和B的类初始化处理过程都经历了两次锁获取-锁释放,而线程C的类初始化处理只需要经历一次锁获取-锁释放)。

线程A在第2阶段的A1执行类的初始化,并在第3阶段的A4释放锁;线程C在第5阶段的C1获取同一个锁,并在在第5阶段的C4之后才开始访问这个类。根据Java内存模型规范的锁规则,将存在如下的happens-before关系。

这个happens-before关系将保证:线程A执行类的初始化时的写入操作,线程C一定能看到。

注意:这里的condition和state标记是本文虚构出来的。Java语言规范并没有硬性规定一定要使用condition和state标记。JVM的具体实现只要实现类似功能即可。


小结

通过对比基于volatile的双重检查锁定的方案和基于类初始化的方案,我们会发现基于类初始化的方案的实现代码更简洁。但基于volatile的双重检查锁定的方案有一个额外的优势:除了可以对静态字段实现延迟初始化外,还可以对实例字段实现延迟初始化。

字段延迟初始化降低了初始化类或创建实例的开销,但增加了访问被延迟初始化的字段的开销。在大多数时候,正常的初始化要优于延迟初始化。如果确实需要对实例字段使用线程安全的延迟初始化,请使用上面介绍的基于volatile的延迟初始化的方案;如果确实需要对静态字段使用线程安全的延迟初始化,请使用上面介绍的基于类初始化的方案。

参考书籍:<>

你可能感兴趣的:(并发编程03-Java内存模型03(双重检查锁定与延迟初始化))