Wie ohne flüchtige

Question

doppelt geprüft Verriegelung brechen Ich weiß, dass doppelte Kontrolle Verriegelung ohne volatile Variable nicht sicher ist, basierend auf diesem 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; 
    } 
} 

ich diese Situation auf meinem Computer zu Hause simulieren will. Ich habe Standard jdk1.7 und Multicore-Prozessor. Aber ich kann das gebrochene Verhalten nicht simulieren. Ich verwende diesen Test http://www.cs.umd.edu/~pugh/java/memoryModel/DoubleCheckTest.java, der dies simulieren sollte. Ich erstelle auch einige meiner Tests, aber ohne Erfolg. Haben Sie eine Idee, wie Sie die Situation simulieren können, wenn dieses Doppelprüfungs-Idiom ohne Volatilität gebrochen ist? So gibt es teilweise erstellte Helper-Klasse zurück.

Answer 1

Auf x86, bedarf es entweder eine Klasse mit einer großen Anzahl von Feldern, so dass die Initialisierung speichert über Veröffentlichung verschütten, wie folgt aus: http://cs.oswego.edu/pipermail/concurrency-interest/2015-January/013861.html

Oder Sie haben Compiler munge Anweisung Scheduler randomisieren. Auf Nicht-TSO-Architekturen wie ARM kann dies ohne Tricks demonstriert werden, siehe: http://shipilev.net/blog/2014/safe-public-construction/#_correctness