Java 中的双重检查(Double

在 Effecitve Java 一书的第 48 条中提到了双重检查模式,并指出这种模式在 Java 中通常并不适用。该模式的结构如下所示:

该模式是对下面的代码改进:

这段代码的目的是对 resource 延迟初始化。但是每次访问的时候都需要同步。为了减少同步的开销,于是有了双重检查模式。

在 Java 中双重检查模式无效的原因是在不同步的情况下引用类型不是线程安全的。对于除了 long 和 double 的基本类型,双重检查模式是适用的。比如下面这段代码就是正确的:

上面就是关于java中双重检查模式(double-check idiom)的一般结论。但是事情还没有结束,因为java的内存模式也在改进中。Doug Lea 在他的文章中写道:“根据最新的 JSR133 的 Java 内存模型,如果将引用类型声明为 volatile,双重检查模式就可以工作了”,参见http://gee.cs.oswego.edu/dl/cpj/updates.html。

所以以后要在 Java 中使用双重检查模式,可以使用下面的代码:

当然了,得是在遵循 JSR133 规范的 Java 中。

所以,double-check 在 J2SE 1.4 或早期版本在多线程或者 JVM 调优时由于 out-of-order writes,是不可用的。这个问题在 J2SE 5.0 中已经被修复,可以使用 volatile 关键字来保证多线程下的单例。

推荐方法是Initialization on Demand Holder(IODH),

详见 http://en.wikipedia.org/wiki/Initialization_on_demand_holder_idiom

击败不等于击倒,跌倒了,爬起来,想一想,为什么跌倒了,

Java 中的双重检查(Double

相关文章:

你感兴趣的文章:

标签云: