Conflict_Check_Policy(衝突検査の方針)

並列の構文やタスクの中で衝突しうる読み書きを、どこまでコンパイル時に禁止するかを決めるAda 2022のプラグマと方針。既定は並列の構文に対してAll_Parallel_Conflict_Checks。

この概念が関わる関係

並列ブロック文(parallel block statement)はConflict_Check_Policy(衝突検査の方針)で確認できます。既定の方針All_Parallel_Conflict_Checksでは、並列ブロックの中から外側の変数を読み書きすることを、同期オブジェクトでない限りコンパイル時に禁止する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
並列ループ(parallel loop)はConflict_Check_Policy(衝突検査の方針)で確認できます。既定の方針All_Parallel_Conflict_Checksでは、並列ループの中から外側の変数を読み書きすることを禁止する。例外は同期オブジェクトと、ループの変数を添字にした配列の要素。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
Conflict_Check_Policy(衝突検査の方針)はデータ競合(data race)を防ぎます。衝突検査の方針は、並列の構文の中で衝突しうる読み書きをコンパイル時に禁止し、データ競合を避ける。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典

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