ダブルチェック付きのJavaシングルトン

Question

われわれが知っているように、シンプルなダブルチェックには、JVMが使用するコマンドのために問題があります。

class MyClass { 

    private String Name; 

    private static Object o = new Object(); 
    private static MyClass Instance=null; 

    private MyClass(){ 
     //Thread.sleep(1000); 
     Name="test case"; 
    } 
    public static MyClass GetInstance(){ 
     if(Instance==null){ 
      synchronized(o){ 
       if(Instance==null){ 
        Instance = new MyClass(); 
        //MyClass obj = new MyClass(); 
        //Instance = obj; 
       } 
      } 
     } 
     return Instance; 
    } 
} 

私がInstance = new MyClass();をコメント行に置き換えた場合。これは機能しますか？

Answer 1

これは機能しません。スレッドAとスレッドBを考えてください。スレッドAはInstanceがnullであるとみなし、MyClassのインスタンスを作成するためにsynchronizedブロックに入り、フィールドInstanceに割り当てます。

Javaメモリモデルの規則のため、再順序付けが行われ、部分的に初期化されたオブジェクトまたは初期化されていないオブジェクトMyClassをInstanceに割り当てることができます。今度はスレッドBが同じGetInstanceメソッドに入り、Instanceがヌルではないことを確認し、スレッドAと同じモニターに同期ブロックを入力してから、完全に初期化されていないオブジェクトを返します。

初期化を2行のコードに分割するか1行にするかどうかは、この問題の意味がありません。どちらの場合でも並べ替えが発生する可能性があります。 Javaコンパイラは、両方のバージョンのコードを同じバイトコードに合法的にコンパイルすることができます（ただし、現在のコンパイラでは使用できません）。