Java:证明DCL不起作用

Question

我想知道是否可以可靠地证明双重检查锁定已被破坏:

public static Singleton getInstanceDC() {
  if (_instance == null) {                // Single Checked
    synchronized (Singleton.class) {
      if (_instance == null) {        // Double checked
        _instance = new Singleton();
      }
    }
 }
 return _instance;
}

有没有可靠的方法来创建一个测试或程序来表明它不起作用？有正式的验证证明吗？

Answer 1

你见过这个DoubleCheckTest class ？

这是一个测试用例，表明它不起作用。

我通过这个page找到了这个例子。该测试的作者是 Paul Jakubik。