非同期コード、シェア変数、スレッドプールスレッド、スレッドセーフ

async / awaitを使用して非同期コードを作成するとき、通常ConfigureAwait(false)はコンテキストのキャプチャを回避するために、コードがスレッドプールスレッドから次のスレッドプールスレッドにジャンプしていawaitます。これにより、スレッドの安全性に関する懸念が生じます。このコードは安全ですか？

static async Task Main()
{
    int count = 0;
    for (int i = 0; i < 1_000_000; i++)
    {
        Interlocked.Increment(ref count);
        await Task.Yield();
    }
    Console.WriteLine(count == 1_000_000 ? "OK" : "Error");
}

変数iは保護されておらず、複数のスレッドプールスレッド*によってアクセスされます。アクセスのパターンは非並行ですが、理論的には各スレッドがローカルにキャッシュされた値をインクリメントiして、1,000,000回を超える反復が可能になるはずです。しかし、実際にはこのシナリオを作成することはできません。上記のコードは、私のマシンでは常にOKを印刷します。これは、コードがスレッドセーフであることを意味しますか？またはi、lock？を使用して変数へのアクセスを同期する必要があります。

（*私のテストによれば、スレッドの切り替えは平均して2回の反復ごとに発生します）

スレッドセーフティの問題は、メモリの読み取り/書き込みに関するものです。これが別のスレッドで続行できる場合でも、ここでは何も並行して実行されません。

スティーブントウブによるこの記事は、これについていくつかの光を当てることができると思います。特に、これはコンテキスト切り替え中に何が起こるかについての関連する文章です：

コードが、まだ完了していないと待機者が言う（つまり、待機者のIsCompletedがfalseを返す）awaitableを待機するときはいつでも、メソッドは一時停止する必要があり、待機者の継続を介して再開します。これは、前に参照した非同期ポイントの1つなので、ExecutionContextは、待機を発行するコードから継続デリゲートの実行まで流れる必要があります。これはフレームワークによって自動的に処理されます。asyncメソッドが中断しようとしているとき、インフラストラクチャはExecutionContextをキャプチャします。アウェイターに渡されるデリゲートは、このExecutionContextインスタンスへの参照を持ち、メソッドを再開するときにそれを使用します。これにより、ExecutionContextによって表される重要な「環境」情報が、待機中にフローできるようになります。

YieldAwaitableによって返されるはTask.Yield()常にを返すことに注意してくださいfalse。