優先順位逆転の解決:優先順位継承プロトコル (PIP) の説明

Priority Inheritance Protocol (PIP) は、優先順位逆転問題を解決するためにリアルタイム オペレーティング システムで使用される同期メカニズムです。優先度の逆転は、共有リソースを保持する優先度の高いタスクが優先度の低いタスクによってブロックされた場合に発生し、システムの遅延が発生し、期限に間に合わない可能性があります。

優先度逆転問題

高 (H)、中 (M)、低 (L) の異なる優先順位を持つ 3 つのタスクを考えてみましょう。タスク M の実行中にタスク L がタスク H が必要とするリソースを取得した場合、タスク H は M と L の両方が完了するまで待機する必要があります。これは、優先順位に基づいたスケジュールの原則に違反します。

優先度反転の問題 高 (H) 中 (M) 低 (L) L が保持するリソースを待機中ブロックされています 実行中 (L をプリエンプトします) リソースを保持し、M によってブロックされています 優先順位反転

優先順位継承プロトコルの仕組み

PIP は、ブロックされた最も優先度の高いタスクの優先度を、リソースを保持しているタスクに一時的に継承することで、優先度の逆転を解決します。これにより、リソース所有者は迅速に完了してリソースを解放できるようになります。

PIP アルゴリズムの手順

<オル>

優先度の高いタスクが優先度の低いタスクが保持しているリソースを要求すると、優先度の低いタスクは優先度の高いタスクの優先度を継承します。

リソース保持タスクは、リソースを解放するまで、継承されたより高い優先度で実行されます。

リソースが解放されると、タスクの優先度は元のレベルに戻ります。

これで、優先度の高いタスクがリソースを取得して続行できるようになります。

動作中の PIP の例

優先順位継承プロトコルのタイムライン 時間:0 1 2 3 4 5 高:ブロックされている 実行中 中:実行中 (通常の場合) 低:R を保持 継承された優先順位の凡例:R =リソース PIP なし:H は M と L を待つ PIP あり:L は H の優先順位を継承します。

他の手法との比較

テクニック アプローチ 利点 欠点 優先順位の継承動的優先順位ブーストシンプル、デッドロックなしチェーンブロック可能優先順位の上限固定上限優先順位デッドロックを防止不要なブロックを引き起こす可能性があるバイナリ セマフォ相互排他のみ簡単な実装デッドロックが発生しやすい

PIP の利点

• シンプルさ 最小限のオーバーヘッドで実装が簡単

• 透明性タスクは優先度の変更を認識しません

• 効率 無関係なタスクを不必要にブロックしない

• 移植性 さまざまなハードウェア プラットフォームで動作します

現実世界のアプリケーション

PIP はミッションクリティカルなシステムで広く使用されています。

• 航空宇宙システム アビオニクスにおける飛行制御ソフトウェア

• 医療機器 患者監視および生命維持システム

• 産業オートメーションのロボット制御と製造プロセス

• 自動車エンジン制御ユニットと安全システム

VxWorks、QNX、FreeRTOS などのリアルタイム オペレーティング システムは、標準の同期メカニズムとして PIP を実装しています。

制限事項

• チェーン ブロック 複数の継承チェーンによっても遅延が発生する可能性があります

• 予測できないタイミングの継承期間はクリティカル セクションの長さに依存します

• デッドロック防止なし 循環待機状態を本質的に防止しません

結論

優先順位継承プロトコルは、リソースを保持するタスクの優先順位を一時的に高めることで、リアルタイム システムにおける優先順位の逆転に効果的に対処します。そのシンプルさと効率性により、予測可能なタスク実行が重要な組み込みアプリケーションやリアルタイム アプリケーションに最適です。