DCL和happens-before的学习资料

最新推荐文章于 2025-07-21 22:40:14 发布

最新推荐文章于 2025-07-21 22:40:14 发布 · 148 阅读

文章标签：

#IBM #thread #J# #HTML

本文探讨了Java中使用双重检查锁定实现懒汉式单例模式时遇到的内存可见性和线程安全性问题。通过分析happens-before原则，解释了如何确保线程间变量更新的正确传播。

Lucas Lee的修正(这里是原帖)：

Java代码

public class LazySingleton { private int someField; private static LazySingleton instance; private static int hasInitialized = 0; private LazySingleton() { this.someField = new Random().nextInt(200)+1; // (1) } public static LazySingleton getInstance() { if (hasInitialized == 0) { // (4) synchronized(LazySingleton.class) { // (5) if (instance == null) { // (6) instance = new LazySingleton(); // (7) hasInitialized = 1; // (B1) } } } return instance; // (8) } public int getSomeField() { return this.someField; // (9) } }

我认为这个修正是可以的，假设A线程在B线程之前进入同步块，B线程会看到hasInitialized =0 或者=1这两种情况，=0时是没问题的，就不多说了，当B线程看到hasInitialized =1时的情况分析

A:LazySingleton.getInstance();

B:LazySingleton.getInstance().getSomeField();

1. 根据happens-before的单线程原则，在A线程中，(1)->(7)->(B1)

2. B线程看到hasInitialized =1时，此时A线程的(B1)->B线程的(4)，而在B线程中的getSomeField是在getInstance之后，也有getInstance->getSomeField这个偏序关系

3. 根据happens-before的传递性，(1)->(7)->(B1)>B线程的(4)->B线程的getSomeField

不知道我这么分析是不是对的？

主要问题就在于，线程A在内存中若能观察到hasInitialized=1是不是意味着线程A在内存中能观察到构造完全的instance实例，因为在JLS中提到

• If x and y are actions of the same thread and x comes before y in program

order, then hb(x, y).

如果上面的假设成立，线程A观察到hasInitialized=1时，instance就已经完全构造好了

而且线程B要想观察到hasInitialized=1，应该也是在线程A观察到hasInitialized=1之后