混合关键级调度的若干关键问题研究
| 摘要 | 第5-7页 |
| Abstract | 第7-9页 |
| 第1章 绪论 | 第16-27页 |
| 1.1 安全关键分级的实时系统 | 第16-17页 |
| 1.2 混合关键级系统概述 | 第17-22页 |
| 1.2.1 混合关键级的提出 | 第18-19页 |
| 1.2.2 混合关键级系统模型 | 第19-21页 |
| 1.2.3 混合关键级系统研究现状 | 第21-22页 |
| 1.3 研究内容 | 第22-24页 |
| 1.4 本文研究成果 | 第24-25页 |
| 1.5 论文的组织 | 第25-27页 |
| 第2章 相关研究 | 第27-36页 |
| 2.1 关键级与优先级对任务调度的不同影响 | 第27-28页 |
| 2.2 单处理器平台混合关键级任务调度 | 第28-30页 |
| 2.2.1 混合关键级调度研究目标 | 第28-29页 |
| 2.2.2 基于固定优先级调度混合关键级任务 | 第29-30页 |
| 2.2.3 基于动态优先级调度混合关键级任务 | 第30页 |
| 2.2.4 关键参数是周期的混合关键级调度 | 第30页 |
| 2.3 多处理器平台混合关键级任务调度 | 第30-32页 |
| 2.3.1 局部调度混合关键级任务 | 第31-32页 |
| 2.3.2 全局调度混合关键级任务 | 第32页 |
| 2.4 低关键级任务处理 | 第32-33页 |
| 2.4.1 处理关键级提升后的低关键级任务 | 第32-33页 |
| 2.4.2 回落系统关键级 | 第33页 |
| 2.5 其它相关研究 | 第33-34页 |
| 2.6 本章小结 | 第34-36页 |
| 第3章 事件触发关键级提升时的可调度性分析 | 第36-52页 |
| 3.1 混合关键级系统的关键级提升诱因 | 第36页 |
| 3.2 以执行时间为关键参数的混合关键级任务模型 | 第36-37页 |
| 3.3 关键级提升时刻对系统的影响 | 第37-38页 |
| 3.4 关键级提升期的响应时间分析 | 第38-43页 |
| 3.4.1 响应时间分析 | 第38-39页 |
| 3.4.2 混合关键级的响应时间分析 | 第39-42页 |
| 3.4.3 高关键级任务的可调度性判定 | 第42页 |
| 3.4.4 扩展至多关键级 | 第42-43页 |
| 3.5 优先级可交换的判定 | 第43-46页 |
| 3.5.1 动机示例 | 第43-44页 |
| 3.5.2 交换优先级的条件 | 第44-46页 |
| 3.6 实验与结果分析 | 第46-51页 |
| 3.6.1 测试任务集的生成 | 第47页 |
| 3.6.2 可调度性测试 | 第47-49页 |
| 3.6.3 优先交换算法的有效性测试 | 第49-51页 |
| 3.7 本章小结 | 第51-52页 |
| 第4章 截止时限为关键参数的混合关键级调度 | 第52-64页 |
| 4.1 截止时限 | 第52页 |
| 4.2 截止时限与关键级 | 第52-54页 |
| 4.2.1 截止时限为关键级的系统模型 | 第53-54页 |
| 4.3 受限截止时限高关键级任务的可调度性 | 第54-59页 |
| 4.3.1 低关键级任务的干扰 | 第55页 |
| 4.3.2 预先提升关键级 | 第55-58页 |
| 4.3.3 扩展至多关键级 | 第58-59页 |
| 4.4 实验与结果分析 | 第59-62页 |
| 4.4.1 生成测试任务集 | 第59-60页 |
| 4.4.2 结果分析 | 第60-62页 |
| 4.5 任意截止时限高关键级任务的可调度性 | 第62-63页 |
| 4.6 受影响的低关键级任务 | 第63页 |
| 4.7 本章小结 | 第63-64页 |
| 第5章 半局部调度混合关键级任务 | 第64-76页 |
| 5.1 半局部调度 | 第64-65页 |
| 5.1.1 典型半局部调度固定优先级任务SPA | 第64-65页 |
| 5.1.2 典型半局部调度动态优先级EKG | 第65页 |
| 5.2 半局部调度混合关键级任务 | 第65-72页 |
| 5.2.1 任务到处理器的分配 | 第66-70页 |
| 5.2.2 各处理器上任务的调度执行 | 第70-72页 |
| 5.3 实验与结果分析 | 第72-75页 |
| 5.3.1 测试任务集参数设定 | 第72-73页 |
| 5.3.2 实验结果分析 | 第73-75页 |
| 5.4 本章小结 | 第75-76页 |
| 第6章 积极调度低关键级任务 | 第76-87页 |
| 6.1 低关键级任务 | 第76页 |
| 6.2 空闲时段 | 第76-77页 |
| 6.3 低关键任务对空闲时段的再分配 | 第77-83页 |
| 6.3.1 模型与动机示例 | 第77-79页 |
| 6.3.2 积极调度低关键级任务算法描述 | 第79-82页 |
| 6.3.3 MC-DQ算法的再讨论 | 第82-83页 |
| 6.4 实验与结果分析 | 第83-86页 |
| 6.5 本章小结 | 第86-87页 |
| 第7章 安全降低系统关键级 | 第87-99页 |
| 7.1 嵌入式系统的自适应闭环特性 | 第87-88页 |
| 7.2 基于反馈的实时调度 | 第88页 |
| 7.3 系统关键级的安全降低 | 第88-90页 |
| 7.3.1 关键级模式 | 第89-90页 |
| 7.3.2 性能评估标准 | 第90页 |
| 7.4 单处理器平台上的自适应关键级回落 | 第90-98页 |
| 7.4.1 系统模型 | 第91-92页 |
| 7.4.2 关键级回落机制 | 第92-94页 |
| 7.4.3 混合关键级任务实际执行时间分布 | 第94-95页 |
| 7.4.4 取消仅有双关键级的限制 | 第95-96页 |
| 7.4.5 实验与结果分析 | 第96-98页 |
| 7.5 本章小结 | 第98-99页 |
| 结论 | 第99-102页 |
| 参考文献 | 第102-112页 |
| 致谢 | 第112-113页 |
| 附录A 攻读学位期间完成的论文 | 第113-115页 |
| 附录B 攻读学位期间参与的项目 | 第115页 |
