が十分

Question

class StopIt 
{ 
    private bool stop; 

    void Loop() 
    { 
    while (!stop) 
    { 
     // work 
    } 
    } 

    void Stop() 
    { 
    stop = true; 
    } 
} 

アトミック操作です基本的には、ループの方法は1つのスレッドで実行されていると停止が他から呼び出された場合の動作は正常に停止しますか？私はboolの読み書きが原子的であることを理解しています。しかし、これで十分ですか？スレッドループがすぐに停止しない場合は、問題があります。私はストップ揮発性をマークする必要がありますか？

Answer 1

はい、間違いなくstopを揮発性としてマークする必要があります。

アトミシティでは十分ではありません。あるスレッドが別のスレッドによって加えられた変更を「参照」することを保証するものではありません。

volatileの私の理解は、現在、いくつかの手術を受けている間、することができますおおよそのような揮発性変数への書き込みの考える「他の人がこれをすぐに見ることができることを確認してください！」 「最新の値を見たい！」という揮発性変数からの読み込みです。

stopを揮発性にすることなく、Stop()が別のスレッドで呼び出されたとしても、そのループは永遠に続く可能性があります。基本的には、JITは変数をレジスタに読み込み、レジスタから永遠に読み込むことができます。

事実、「インラインではない」メソッドを呼び出すことを含む場合、JITは現在でも揮発性の読み取りを強制されていると信じていますが、それは現実的な制限です... の理論それは揮発性にする必要があります。