（コールバッククロージャを使用して）スレッド間でローカル変数を共有するのは安全ですか？

Question

私は次のようなことをしたい - 基本的に別のスレッドでコールバックを呼び出す非同期操作を呼び出していて、インラインで完了するのを待っていたい。私の心配は、スレッド間で共有される変数の変更（bar &イベント）は、たとえばレジスタに格納されているために同期されない可能性があるということです。メンバー変数であれば、それらを揮発性にすることはできますが、スタック上に作成されたローカル変数にはvolatileを使用できません。私はメンバ変数を使用することができますが、私はそのクリーナーはすべてのローカルを維持することでクラスを混乱させないと思います。

Bar bar = null; 
ManualResetEvent event = new ManualResetEvent(false); 

foo.AsyncOperation(new Action(()=>{  
    // This delegate will be called in another thread 
    bar = ... 
    event.Set(); 
})); 

event.WaitOne(timeout); 
// use bar 

Answer 1

はい、正しく動作します。ここ

http://www.albahari.com/threading/part4.aspx

The following implicitly generate full fences:Setting and waiting on a signaling construct

読み、シグナリングにManualResetEventが含まれて構築します。

あなたはfull fenceが同じページで、何であるかを知りたい場合は、次の

フルメモリバリアの最も簡単な命令の並べ替えのいずれかの種類を防ぎ、完全なメモリ バリア（フルフェンス）ですフェンス またはそのフェンスの周囲にキャッシュする。 Thread.MemoryBarrierを呼び出すと フルフェンスが生成されます。

Answer 2

私はあなたのコードが動作すると思います - 閉鎖は、彼らはちょうど（ManualReseetEventは確かではありません）、変数、スタックされた場合でも、ヒープに続い持ち上げます。

しかし、なぜなら、あなたはevent.WaitOne（）の後ろにあるすべてのものを（event.Setが呼び出されたブロックである）継続の中に入れないのですか？私はこれがこの種の状況を処理するための推奨された方法であるべきだと思います。あなたはこのようにトラブルに遭遇することはありません（あなたは外側のブロックにBarを必要とせず、依然としてMREを使って確認できます）。

これをTaskオブジェクトを使用してOperationsにすることを検討します。これは、このすべてを一度に解決します（たとえば、AsyncOperationからTaskを返すなど）。

var task = foo.AsyncOperation(Taks.Factory.StartNew(() => { /* create and return a bar */ })); 
var theBar = task.Result; // <- this will wait for the task to finish 
// use your bar 

がPS：閉鎖は基本的にはクラスにそれらをラップするあなたは、[タスクの結果を待って、返されたバーを使用して...

class Foo 
{ 
// ... 
private Task<Bar> AsyncOperation(Task<Bar> initializeBar) 
{ 
    return initializeBar 
      .ContinueWith(
      bar => { 
        /* do your work with bar and return some new or same bar */ 
        return bar; 
        }); 
} 
} 

をし、このようにそれを使用することができます-OBject;） PPS：AsyncOperationを使わずにこのコードをテストするのは難しいですが、間違ったスペルや入力によってモジュロ構文エラーが発生するでしょう