Javaマルチスレッドの可視性？

Question

私は、コンパイラの最適化のためにコード実行を並べ替えることで、ReaderThreadを無限ループにすると言っている本を読みました。そんなことがあるものか？

public class NoVisibility { 
private static boolean ready; 
private static int number; 
private static class ReaderThread extends Thread { 
    public void run() { 
     while (!ready) 
      Thread.yield(); 
     System.out.println(number); 
     } 
    } 
    public static void main(String[] args) { 
     new ReaderThread().start(); 
     number = 42; 
     ready = true; 
    } 
} 

Answer 1

これはどのように可能ですか？

Java言語仕様（JLS）が可能であるため、コードの並べ替えは（一般的に）可能です。しかし、並べ替えは（おそらく）ここで問題になることはありません。むしろ、無限ループは、ハードウェアメモリキャッシュの挙動に起因する可能性が高い。この場合

、は子スレッドに見えるようにmain方法で製造された変数にの書き込みが必要であることをJLSには何もありません。技術的な説明は、が起こる前に、チェーンが（後続の）読み取りへの書き込みをリンクする前に起こるということです。重大な問題がなければ、の直前にチェーンが存在することを保証するものではありません。

ここで実際に無限ループが存在するかどうかは、あらゆる種類の要因に依存することに注意してください。要点は、サンプルコードの記述方法を考えれば可能であるということです。

Answer 2

おそらくCPUキャッシュによって発生します。 ReaderThreadは、 "ready"変数の古い値を見るかもしれないので、whileループを壊さないかもしれません。旧式の「準備完了」値は古いデータと呼ばれます。