マルチタスキング チェックの構成
エントリ ポイント、割り込み、周期タスク、時間的に排他なタスクなど、コードで使用するマルチタスキング構成要素を指定する
同時実行タスクまたはスレッドによるグローバル変数への共有アクセスの検証を有効にするには、オプション [Code Prover の同時実行の自動検出を有効にする] (-enable-concurrency-detection) を指定します。
Polyspace® は特定のマルチタスキング関数のファミリを認識します。これらの関数を使用しない場合は、このカテゴリのオプションを使用して、コード内でエントリ ポイント、周期タスク、または割り込みを示す関数を指定します。また、共有変数の保護メカニズムも指定しなければなりません。
Polyspace オプション
トピック
- Polyspace でのマルチタスキング プログラムの解析
Bug Finder でデータ レースやデッドロックを検出、または Code Prover で共有変数の使用の包括的な解析を確認します。
- マルチタスキング コードでの共有変数の保護
クリティカル セクション、時間的に排他、優先順位、または割り込みの無効を使用して共有変数を保護する。
