DCL с двумя синхронизированными блоками сломан?

Question

Я не мог понять ниже фрагмент кода от A fix that doesn't work. (Я прочитал объяснение, которое следует на той же странице).

Если у нас есть 2 синхронизированных блока, как эта версия DCL сломана? Или это не применимо после Java5?

// (Still) Broken multithreaded version 
// "Double-Checked Locking" idiom 
class Foo { 
    private Helper helper = null; 
    public Helper getHelper() { 
    if (helper == null) { 
     Helper h; 
     synchronized(this) { 
     h = helper; 
     if (h == null) 
      synchronized (this) { 
       h = new Helper(); 
      } // release inner synchronization lock 
     helper = h; 
     } 
     }  
    return helper; 
    } 
    // other functions and members... 
    } 

Answer 1

Там нет никакой гарантии, что поток, который видит helper не нуль будет в состоянии видеть все операции записи, сделанные new Helper();. Таким образом, вы можете получить доступ к коррумпированной версии синглтона. Вам нужно что-то в нитке, которая видит helper как не null, чтобы гарантировать, что он видит, что послеh = new Helper(); завершает свою работу. Наблюдение за изменением к энергонезависимой переменной не устанавливает такие отношения, и это все, что делает поток.

Облегчение упрощения, так как модель видимости памяти Java - это то, что два потока выполняют что-то, что устанавливает связь «происходит до»/«происходит после» между двумя операциями, выполняемыми двумя потоками. Это может включать операции внутри синхронизированного блока или доступ к изменчивой переменной.

Но с вашим кодом выше, нить может заметить, что helper не null, а затем перейти к объекту, созданному new Helper(). Он не должен иметь доступ к переменной volatile и не должен вводить синхронизированный блок. Таким образом, нет ничего, что могло бы установить требуемое отношение «произойдет после», чтобы убедиться, что оно видит какие-либо изменения, сделанные new Helper().