[論文レビュー] Evaluate and Compare Two Utilization-Based Schedulability-Test Frameworks for Real-Time Systems

Jian-Jia Chen, von der Brüggen, Georg+2 more|arXiv (Cornell University)|May 8, 2015

Real-Time Systems Scheduling参考文献 17被引用数 3

ひとこと要約

本稿は、リアルタイムシステムにおける2つの多項式時間スケジューラビリティテストフレームワーク、k2U と k2Q を評価・比較する。k2U フレームワークはタスクの優先順位に基づく双曲的利用度上限を用いるが、k2Q は利用度と実行時間の両方を組み込んだ2次形式を用いる。主な貢献は、適用可能な状況では k2U がよりタイトな上限を与えるが、k2Q は複雑なまたは指数時間のテストに対してもより汎用的であり、ユニプロセッサおよびマルチプロセッサシステムにおいても、速度向上係数と利用度上限が保証された効率的な解析を可能にすることを示している。

ABSTRACT

In this paper, we take a careful look at speedup factors, utilization bounds, and capacity augmentation bounds. These three metrics have been widely adopted in real-time scheduling research as the de facto standard theoretical tools for assessing scheduling algorithms and schedulability tests. Despite that, it is not always clear how researchers and designers should interpret or use these metrics. In studying this area, we found a number of surprising results, and related to them, ways in which the metrics may be misinterpreted or misunderstood. In this paper, we provide a perspective on the use of these metrics, guiding researchers on their meaning and interpretation, and helping to avoid pitfalls in their use. Finally, we propose and demonstrate the use of parametric augmentation functions as a means of providing nuanced information that may be more relevant in practical settings.

研究の動機と目的

• リアルタイムシステムにおける2つの汎用的スケジューラビリティテストフレームワーク、k2U と k2Q の詳細な評価と比較を提供すること。
• ユニプロセッサおよびマルチプロセッサスケジューリングにおける k2U と k2Q の、明確な用途、数学的基盤、およびパフォーマンスのトレードオフを明確にすること。
• k2U は適用可能な状況でよりタイトな利用度上限を提供するが、k2Q は指数時間のスケジューラビリティテストに対しても多項式時間の解析を可能にすることを示すこと。
• 両フレームワークは必要不可欠であり、補完的である。k2U は正確性に優れ、k2Q は複雑なモデルに対して汎用性と頑健性に優れている。

提案手法

• k2U フレームワークは、タスクの利用度と優先順位順序に基づく双曲的上限を用いて、十分なスケジューラビリティ条件を導出する。
• k2Q フレームワークは、タスクの利用度と最悪実行時間の両方を組み込んだ2次形式を用いて、応答時間の上限を制限し、スケジューラビリティを保証する。
• 両フレームワークは、k 点テスト戦略を用いて、擬似多項式時間または指数時間のスケジューラビリティテストを多項式時間のテストに変換する。
• フレームワークは、ユニプロセッサおよびマルチプロセッサグローバルスケジューリング環境下での固定優先度スケジューリングにおける従来のスパorアスティックタスクモデルに適用される。
• 強制的前進および制限付き持ち越し解析技術を用いて理論的結果を導出し、利用度と速度向上係数のタイトな上限を計算する。
• 評価には、解析的比較と合成タスクセットを用いた実験的テストが含まれ、異なるテストバリアントにおける受容率とパフォーマンスを測定する。

実験結果

リサーチクエスチョン

• RQ1 k2U と k2Q フレームワークは、その数学的定式化と前提条件においてどのように異なるか？
• RQ2 スケジューラビリティテストの精度と計算効率の観点から、どのような状況で k2U が k2Q よりも効果的であり、逆に k2Q が k2U よりも優れているか？
• RQ3 k2U が失敗または性能を発揮できない状況において、k2Q は指数時間のスケジューラビリティテストを多項式時間のテストに効果的に変換できるか？
• RQ4 インプリシットデッドラインを想定したマルチプロセッサグローバルスケジューリングに k2U と k2Q を適用した場合、得られる速度向上係数と利用度上限は何か？
• RQ5 異なる定式化（例：制限付き持ち越し vs. 強制的前進）は、得られるテストのパフォーマンスと受容率にどのように影響するか？

主な発見

• k2U フレームワークは、インプリシットデッドラインを想定したマルチプロセッサ上のグローバル RM に対して、約 2.823 の容量増幅係数を達成し、最高の既知の擬似多項式結果と一致する。
• k2Q フレームワーク、特に QB-FF2 は、評価において最高の受容率を達成し、すべてのテスト設定で他の線形時間テストを上回る。
• k2U を基にしたテスト、例えば HP-BC-EP と HP-BC2 は、BAK や BCL よりも優れたパフォーマンスを示し、HP-BC-EP は QB-BC とほぼ同等の性能を発揮する。
• QB-FF は、タスク利用度が 1/2.84306 を超えると、Uk を U_max_k に置き換えることで過剰に楽観的になるため、QB-BC よりも性能が劣る。
• k2Q フレームワークは、先行研究で示されたように、指数時間のスケジューラビリティテストに対しても多項式時間の解析を可能にし、k2U よりも広く適用可能である。
• 両フレームワークは不可欠である：k2U は適用可能な状況でよりタイトな上限を提供するが、k2Q は k2U が失敗するような複雑または曖昧なタスクモデルにおいても実行可能性とパフォーマンスを保証する。