| 研究概要 |
本年度は、前年度における成果と今年度における成果を統合し、全体をプリランタイムスケジューリング手法としてまとめた。さらに、本手法と既存の手法との比較研究とシミュレーションによる評価によってその有効性を示した。さらに、動的スケジューリング手法として、予約に基づく手法を考案し、それをリアルタイムトランザクションのスケジューリングに適用し、その有効性も示した。これらの成果は、以下の2点に要約されるが、これらを学会の論文誌において発表した。
1. end-to-endのタイミング制約が課せられた分散実時間システムのためのスケジューリング手法
本研究では、ジッタ制約やend-to-endのタイミング制約を含む様々な制約が課せられた分散実時間システムのためのスケジューリング手法について検討した。さらに、シミュレーションによる評価によって、本手法が高いスケジューリング能力を備えつつ、効率的にスケジューリングが行えることを示した。
2. 予約に基づくリアルタイム同期プロトコルとスケジューリング手法
本研究では、リアルタイムトランザクションのための時刻印方式に基づく動的な同期プロトコルとスケジューリング手法について検討した。本研究では、まず、トランザクションがアクセスする共有資源に対して予約操作を行うことにより、トランザクションのアボートを防止する同期プロトコルを考案した。次に,トランザクションの時刻印と優先度の両方を考慮した動的スケジューリング手法を考案した。本手法は、資源待ちによる時間制約の違反を低減することができる。本研究では、さらに、考案した2つの手法と他の手法をシミュレーションにより比較し、その有効性を示した。
|
