EDF算法中任务对带宽转让问题的研究
| 摘要 | 第3-5页 |
| ABSTRACT | 第5-7页 |
| 1.绪论 | 第10-14页 |
| 1.1 引言 | 第10-12页 |
| 1.2 本文的主要工作 | 第12页 |
| 1.3 论文结构 | 第12-14页 |
| 2.实时系统调度模型 | 第14-21页 |
| 2.1 实时系统概述 | 第14页 |
| 2.2 实时调度 | 第14-16页 |
| 2.3 实时系统中的调度算法 | 第16-20页 |
| 2.3.1 RM调度算法 | 第16-17页 |
| 2.3.2 EDF调度算法 | 第17-20页 |
| 2.4 本章小结 | 第20-21页 |
| 3.基于EDF的带宽转让及新任务插入的可行时刻 | 第21-35页 |
| 3.1 弹性任务调度模型和带宽转让 | 第21-24页 |
| 3.1.1 弹性任务调度模型简介 | 第21-22页 |
| 3.1.2 弹性调度机制中出现的问题 | 第22-24页 |
| 3.2 任务压缩与带宽转让 | 第24-27页 |
| 3.3 新任务插入的可行时刻 | 第27-34页 |
| 3.3.1 处理器需求 | 第27-28页 |
| 3.3.2 作业截止期准则 | 第28-32页 |
| 3.3.3 作业截止期准则的证明过程 | 第32-34页 |
| 3.4 本章小结 | 第34-35页 |
| 4.任务对带宽转让问题探讨 | 第35-43页 |
| 4.1 最早可行时刻的判定条件 | 第35-38页 |
| 4.1.1 一个重要推论(推论 1) | 第35-36页 |
| 4.1.2 推论1的证明 | 第36-38页 |
| 4.2 考虑其他任务抢占的调度 | 第38-42页 |
| 4.3 本章小结 | 第42-43页 |
| 5.任务对最早带宽转让时刻的求取 | 第43-56页 |
| 5.1 新任务插入的最早可行时刻（定理 2） | 第43-44页 |
| 5.2 定理2的证明过程 | 第44-47页 |
| 5.3 仿真模拟 | 第47-55页 |
| 5.3.1 定理2求取最早可行时刻的算法流程 | 第48页 |
| 5.3.2 仿真模拟软件中定理2的实现 | 第48-52页 |
| 5.3.3 仿真实例 | 第52-55页 |
| 5.4 本章小结 | 第55-56页 |
| 结语 | 第56-59页 |
| 参考文献 | 第59-62页 |
| 附录 攻读学位期间发表的论文 | 第62-63页 |
| 致谢 | 第63页 |
