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

几天后，看了些资料，加深了对reorder和happens-before的理解

继续上面的分析，线程A在内存中若能观察到hasInitialized=1意味着线程A在内存中能观察到构造完全的instance实例，

但是，我理解的，happens-before规则只有涉及到对同一内存数据的读写才有意义，象线程A中的(B1)和(7)是没有这个关系才对

例如：在下面程序中，假设a、b都没有同步

a = 3;

b = 4;

那么，编译器就可能将这两句重新排序，因为compilers are allowed to reorder the instructions in either thread,

when this does not affect the execution of that thread in isolation.（JSL）happens-before关系对于这两句根本没有意义

用happen-before规则重新审视DCL:http://www.javaeye.com/topic/260515

http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html

http://www.ibm.com/developerworks/java/library/j-dcl.html

http://www.ibm.com/developerworks/java/library/j-threads1.html

http://www.ibm.com/developerworks/java/library/j-threads2.html

http://www.ibm.com/developerworks/java/library/j-threads3.html