著者

千代 浩之 武田 瑛 船岡 健司 山崎 信行

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.52, no.8, pp.2365-2377, 2011-08-15

---

本論文では,低ジッタと高スケジュール可能性を達成するために,準固定優先度スケジューリングを提案する.準固定優先度スケジューリングは,終端部分という第2の必須部分を有する拡張インプリサイスタスクの各々の部分を固定優先度でスケジュールする.また,本論文では,Rate Monotonic(RM)を基調とした準固定優先度スケジューリングアルゴリズムRate Monotonic with Wind-upPart(RMWP)とRMWP++を提案する.スケジュール可能性解析では,RMWPはRMでスケジュール可能なタスクセットは必ずスケジュール可能であることを証明する.さらに,RMWP++は,タスクの実際実行時間に依存せず,最短周期タスクのジッタを0に抑制可能であることを証明する.シミュレーションによる評価結果では,準固定優先度スケジューリングは固定優先度スケジューリングと同程度のスケジュール成功率を発揮するだけでなく,従来のスケジューリングよりジッタを抑制したことを示した.This paper proposes semi-fixed-priority scheduling to achieve both low-jitter and high schedulability. Semi-fixed-priority scheduling schedules the part of each extended imprecise task, which has a wind-up part as a second mandatory part, by fixed-priority. This paper also proposes two novel semi-fixed-priority scheduling algorithms based on Rate Monotonic (RM), called Rate Monotonic with Wind-up Part (RMWP) and RMWP++. The schedulability analysis proves that one task set is feasible by RMWP if the task set is feasible by RM. In addition, we prove that the shortest period task in RMWP++ has zero-jitter, regardless of its actual case execution time. Simulation results show that semi-fixed-priority scheduling has approximately the same success ratio as fixed-priority scheduling and lower jitter than existing scheduling.