データ競合(data race)

複数のタスクが同じメモリ位置に同時アクセスし、少なくとも一方が書き込みであるために結果が未定義になる状態である。

概念URI

https://comcomponent.com/knowledge/data-race/

別名・表記

Data Race

下位概念

途中状態の読み取り

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 保護オブジェクト(protected object)はデータ競合(data race)を防ぎます。保護オブジェクトは共有データへの排他アクセスを保証し、データ競合を防ぐ / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• データ競合(data race)は誤った実行(erroneous execution)の原因になることがあります。保護されない共有変数への同時読み書きは、Ada規格上の誤った実行(erroneous execution)に該当し、規格は動作について何も保証しなくなる / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• WaitOnAddress APIはデータ競合(data race)の原因になることがあります。WaitOnAddressで待つ変数を素の型のまま両スレッドから読み書きすると、C++ではデータ競合(未定義動作)になり、最適化ビルドでは更新が見えないまま止まり続けることがある / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Adaにおける安全な並行処理 ── タスクと保護オブジェクトの実践ガイド(言及)
• WindowsでSleep(1)よりイベント待機を優先すべき理由(言及)

一次資料

• https://www.adaic.org/ada-resources/standards/ada22/

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