印刷ビューの終了
データの競合とデッドロックを同時に検出するには、データの競合を検出するための使用モデルで説明した 3 つの手順に従いデータの競合を検出し、r race,deadlock フラグを付けた –collect コマンドでアプリケーションを実行します。これで競合検出とデッドロック検出の両方のデータが実験結果に含まれます。