メインコンテンツ

このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

マルチタスキング

マルチタスキング オプション、エントリ ポイント、クリティカル セクション、排他的タスク

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

Polyspace オプション

すべて展開する

外部マルチタスキング構成外部ファイル定義からマルチタスキング構成の設定を有効化
OIL ファイルの選択 (-osek-multitasking)OIL ファイル定義からのマルチタスキング構成の設定
ARXML ファイルの選択 (-autosar-multitasking)ARXML ファイル定義からマルチタスキング構成を設定
マルチタスクを手動で構成コードがマルチタスキングを対象としていることの考慮
タスク (-entry-points)マルチタスク アプリケーションのタスクとして機能する関数の指定
周期タスク (-cyclic-tasks)周期タスクを表す関数の指定
割り込み (-interrupts)非プリエンプタブル割り込みを表す関数の指定
すべての割り込みを無効にする (-routine-disable-interrupts -routine-enable-interrupts)割り込みを無効にして再度有効にするルーチンの指定
クリティカル セクション詳細 (-critical-section-begin -critical-section-end)クリティカル セクションを開始、終了する関数の指定
時間的に排他なタスク (-temporal-exclusions-file)同時に実行できないエントリ ポイント関数の指定
-disable-concurrency-detectionマルチタスキング関数の自動検出の無効化
-detect-atomic-data-raceアトミック操作でのデータ レース検出の有効化
-preemptable-interruptsプリエンプタブル割り込みを表す関数の指定
-non-preemptable-tasks非プリエンプタブル タスクを表す関数の指定

トピック

関連情報