同時実行の欠陥
マルチタスキング コードに関連する欠陥
これらのチェッカーは、複数のタスクが 1 つの非保護変数に作用するデータ レースや、クリティカル セクションがデッドロックに関与するロックの欠陥など、マルチタスキング コードに関連した問題をチェックします。Polyspace でコード内のスレッドとクリティカル セクションを検出するか、Polyspace コンフィギュレーションでスレッドとクリティカル セクションを手動で定義できます。
Polyspace 結果
トピック
- Bug Finder 欠陥グループ
Bug Finder の欠陥チェッカーは、データ フロー、同時実行、数値などのグループに分類されています。
- Polyspace でのマルチタスキング プログラムの解析
Bug Finder でデータ レースやデッドロックを検出、または Code Prover で共有変数の使用の包括的な解析を確認します。
- マルチタスキング コードでの共有変数の保護
クリティカル セクション、時間的に排他、優先順位、または割り込みの無効を使用して共有変数を保護する。