DCL和happens-before的学习资料-CSDN博客

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之后