1.4.3 データの競合およびデッドロックを検出するための使用モデル

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