揮発性：なぜコンパイラのリオーダコードを防止するのですか

Question

私の知る限り、揮発性変数はスレッドをメインCPU（各スレッドのキャッシュではない）に直接読み書きさせるので、他のスレッドにその変更を可視化します。

私が知らないことは：だから、なぜこの作業（揮発性の）がコードのコンパイラ/ CPU並べ替えのステートメントを防ぐことができますか。

感謝:)

Answer 1

は、並べ替えの禁止は、（hereから取られた）に対処することを目的としている問題を説明するための非常に良い例です。この例では

class VolatileExample { 
    int x = 0; 
    volatile boolean v = false; 
    public void writer() { 
     x = 42; 
     v = true; 
    } 
    public void reader() { 
     if (v == true) { 
      //uses x - guaranteed to see 42. 
     } 
    } 
} 

、vは揮発性であるが、xではありません。ライターとリーダーが同時に実行され、リーダーががtrueに設定されていると見ると、xは42であることが保証されます。 Java-5以前は、コンパイラはxとvに書き直しを自由にしていたので、の後にxが表示され、の後にtrueに設定されています。これは混乱し、微妙なエラーにつながりました。 Java-5メモリモデルは、同期とほぼ同等の揮発性書き込みを行うことで、この問題に対処しました。

Answer 2

言語が定義されているだけの方法です。非形式的には、変数volatileをJavaでマークすると、コンパイラは、別のスレッドでその値が同時に変更される可能性があるため、その前後のステートメントを並べ替えたり、その値を最適化したりするべきではないことをコンパイラーに通知します。この場合、JVMの特定の実装は、このvolatile修飾子を尊重し、プログラムを誤って最適化しないように適切な予防策を講じる責任があります。

volatileが正しく機能することを保証する言語レベルの保証について詳しくは、the Java Language Specification's description of the Java memory modelを参照してください。これはスレッドの動作を規定する抽象的なルールを定義しています。また、volatileがこれらのルールとどのように対話するかについても説明します。

希望すると便利です。ここで