マルチタスキング
マルチタスキング オプション、エントリ ポイント、クリティカル セクション、排他的タスク
同時に実行する複数のタスクまたはスレッドの検証を設定するには、マルチタスキング オプションを使用します。Polyspace® では、マルチタスキング関数の特定のファミリが自動的に検出および解釈されます。これらの関数を使用しない場合は、コード内でエントリ ポイント、周期タスク、または割り込みを示す関数を明示的に指定しなければなりません。また、共有変数の保護メカニズムも指定しなければなりません。Bug Finder は、これらの指定を使用してデータ レース、デッドロック、ダブル ロック、およびその他の同時実行の問題を検出します。
Polyspace オプション
トピック
- Polyspace 解析オプションの指定
Polyspace ユーザー インターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
- Polyspace でのマルチタスキング プログラムの解析
Bug Finder でデータ レースやデッドロックを検出、または Code Prover で共有変数の使用の包括的な解析を確認します。
- マルチタスキング コードでの共有変数の保護
クリティカル セクション、時間的に排他、優先順位、または割り込みの無効を使用して共有変数を保護する。
