キャンセルと実行が競合するレース

対象のCancellationTokenがキャンセルされる経路と、投稿済みデリゲートが実行される経路が、どちらも「1回ぶんの完了」を確定させようとして競合する状態。キャンセル済みかを確認してから動く実装では、確認した直後にもう一方が割り込む隙間が残る。

概念URI

https://comcomponent.com/knowledge/cancel-execute-race/

別名・表記

キャンセル後の古いデリゲート実行 / check-then-actの隙間

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 再入防止ガード(Interlocked.Exchange等)はキャンセルと実行が競合するレースを防ぎます。「キャンセル済みか確認してからaction()を呼ぶ」という判定と実行を分けた実装だと、確認直後にキャンセルが割り込む一瞬が残り、キューに残っていた古いデリゲートが後から実行されて新しい表示を上書きしてしまう。Interlocked.Exchangeで権利そのものを奪い合わせ、取れなかった側は必ず何もせずに帰るようにすることでこの競合を防ぐ。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• WPF/WinFormsのasyncとUIスレッドを一枚で整理(言及)

一次資料

• https://learn.microsoft.com/en-us/dotnet/api/system.threading.interlocked.exchange

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。