データ競合(data race)
Java講座 用語集
索引へ戻る
Java講座のページ
データ競合(data race)
プログラム中に、先行発生の関係によって順序付けられていない二つの競合する
アクセス
が行われること。プログラムにデータ競合がない場合、プログラムにおけるすべての実行は順序の整合性があることになる。
配列長の読み込み、チェック済みキャストの実行、仮想メソッドの起動などの、インタースレッド動作以外の操作のセマンティックスが、データ競合によって直接影響を受けることはない。
□
索引へ戻る