このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
マルチタスキング
タスク エントリ ポイント、クリティカル セクション、排他的タスク
同時に実行する複数のタスクまたはスレッドの検証を設定するには、マルチタスキング オプションを使用します。Polyspace® では、マルチタスキング関数の特定のファミリが解釈されます。これらの関数を使用しない場合は、コード内でエントリ ポイント、周期タスク、または割り込みを示す関数を明示的に指定しなければなりません。また、共有変数の保護メカニズムも指定しなければなりません。
Polyspace オプション
Code Prover の同時実行の自動検出を有効にする (-enable-concurrency-detection) | マルチスレッド関数の特定ファミリの自動検出 |
外部マルチタスキング構成 | 外部ファイル定義からマルチタスキング構成の設定を有効化 |
OIL ファイルの選択 (-osek-multitasking) | OIL ファイル定義からのマルチタスキング構成の設定 |
ARXML ファイルの選択 (-autosar-multitasking) | ARXML ファイル定義からマルチタスキング構成を設定 |
マルチタスクを手動で構成 | コードがマルチタスキングを対象としていることの考慮 |
タスク (-entry-points) | マルチタスク アプリケーションのタスクとして機能する関数の指定 |
周期タスク (-cyclic-tasks) | 周期タスクを表す関数の指定 |
割り込み (-interrupts) | 非プリエンプタブル割り込みを表す関数の指定 |
クリティカル セクション詳細 (-critical-section-begin -critical-section-end) | クリティカル セクションを開始、終了する関数の指定 |
時間的に排他なタスク (-temporal-exclusions-file) | 同時に実行できないエントリ ポイント関数の指定 |
トピック
- Polyspace 解析オプションの指定
Polyspace ユーザー インターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
- Polyspace でのマルチタスキング プログラムの解析
Bug Finder でデータ レースやデッドロックを検出、または Code Prover で共有変数の使用の包括的な解析を確認します。
- マルチタスキング コードでの共有変数の保護
クリティカル セクション、時間的に排他、優先順位、または割り込みの無効を使用して共有変数を保護する。
