決定論的スケジューリング（けっていろんてきすけじゅーりんぐ）
最終更新：2026/4/27
決定論的スケジューリングは、タスクの実行順序が事前に完全に決定され、実行環境の変化に影響されないスケジューリング手法である。
別名・同義語 確定論的スケジューリング
ポイント
リアルタイムOSなどで用いられ、タスクの応答性を保証するために重要な役割を果たす。優先度逆転問題などの課題も存在する。
決定論的スケジューリングとは
決定論的スケジューリングは、タスクの実行順序が完全に予測可能であり、外部からの割り込みや非決定的な要素の影響を受けないスケジューリング手法です。これは、タスクの実行時間が事前に分かっている場合に特に有効であり、リアルタイムシステムや組み込みシステムなど、時間的な制約が厳しい環境で利用されます。
決定論的スケジューリングの利点
- 予測可能性: タスクの実行タイミングを正確に予測できるため、システムの応答性を保証できます。
- 信頼性: 外部からの影響を受けにくいため、システムの安定性を高めることができます。
- 検証容易性: スケジューリングの動作を事前に検証しやすいため、設計段階でのエラーを減らすことができます。
決定論的スケジューリングの課題
- 柔軟性の欠如: タスクの実行順序が固定されているため、動的な状況の変化に対応しにくい場合があります。
- 優先度逆転問題: 高優先度のタスクが低優先度のタスクによってブロックされると、高優先度のタスクの実行が遅延する可能性があります。
- タスク実行時間の正確な把握: タスクの実行時間が事前に正確に分かっている必要があります。実行時間が変動する場合は、スケジューリングの精度が低下します。
決定論的スケジューリングの具体的な手法
- レートモノトニックスケジューリング (RMS): タスクの周期に基づいて優先度を決定する手法です。
- 最早締め切り優先度 (EDF): タスクの締め切り時間に基づいて優先度を決定する手法です。
- 固定優先度スケジューリング: 各タスクに固定の優先度を割り当て、優先度の高いタスクから順に実行する手法です。
これらの手法は、それぞれ異なる特徴を持ち、システムの要件に応じて適切な手法を選択する必要があります。