Come rompere bloccaggio ricontrollato senza volatili

Question

so che doppia chiusura assegno senza variabile volatile non è sicuro in base a questo link http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckedLocking.html

class Foo { 
    private Helper helper = null; 
    public Helper getHelper() { 
     if (helper == null) { 
      synchronized(this) { 
       if (helper == null) { 
        helper = new Helper(); 
       } 
      } 
     } 
     return helper; 
    } 
} 

voglio simulare questa situazione a mio computer di casa. Ho standard jdk1.7 e processore multicore. Ma non sono in grado di simulare il comportamento rotto. Sto usando questo test http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckTest.java che dovrebbe simulare questo. Creo anche alcuni dei miei test, ma senza successo. Hai qualche idea su come simulare la situazione quando si rompe questo idioma a doppio controllo senza volatile? Quindi restituisce classe Helper parzialmente creata.

Answer 1

su x86, si richiede sia una classe con grande quantità di campi, in modo che i negozi di inizializzazione traboccare pubblicazione, in questo modo: http://cs.oswego.edu/pipermail/concurrency-interest/2015-January/013861.html

Oppure, bisogna munge compilatore di randomizzare istruzioni di pianificazione. Su architetture non-TSO come ARM questo può essere dimostrato senza trucchi, vedere: http://shipilev.net/blog/2014/safe-public-construction/#_correctness