实时系统任务调度若干关键技术的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第1章 绪论 | 第12-36页 |
| ·研究背景、目的与意义 | 第12-15页 |
| ·实时系统应用背景 | 第12-14页 |
| ·研究目的与意义 | 第14-15页 |
| ·实时系统概述 | 第15-19页 |
| ·实时系统体系结构 | 第15-16页 |
| ·实时系统特征 | 第16-17页 |
| ·实时系统分类 | 第17-18页 |
| ·实时任务分类 | 第18-19页 |
| ·实时任务调度技术现状 | 第19-32页 |
| ·经典调度理论 | 第19-20页 |
| ·实时任务调度理论 | 第20-30页 |
| ·国内外发展与研究现状 | 第30-32页 |
| ·论文主要研究内容 | 第32-35页 |
| ·研究内容 | 第32-34页 |
| ·研究内容相关性 | 第34-35页 |
| ·论文组织结构 | 第35-36页 |
| 第2章 基于抢占时间PETRI网的实时系统建模 | 第36-52页 |
| ·实时系统参考模型 | 第36-41页 |
| ·模型总览 | 第36-40页 |
| ·周期任务模型 | 第40-41页 |
| ·可抢占的时间PETRI网模型 | 第41-45页 |
| ·形式化定义 | 第42-43页 |
| ·行为语义 | 第43-45页 |
| ·状态空间分析 | 第45-46页 |
| ·状态类的语义可达性 | 第45-46页 |
| ·可达性分析 | 第46页 |
| ·任务集建模和检验 | 第46-50页 |
| ·独立任务建模与比较 | 第46-48页 |
| ·多处理器优先约束任务建模与检验 | 第48-50页 |
| ·复杂性分析 | 第50页 |
| ·本章小结 | 第50-52页 |
| 第3章 周期任务可调度性分析方法 | 第52-66页 |
| ·背景和问题描述 | 第52-53页 |
| ·背景 | 第52-53页 |
| ·问题提出及贡献 | 第53页 |
| ·基于时间需求的任务可调度性分析 | 第53-60页 |
| ·时间需求分析 | 第53-57页 |
| ·任务可调度性测试方法 | 第57-59页 |
| ·性能仿真 | 第59-60页 |
| ·改进的基于抢占阈值的任务可调度性分析 | 第60-65页 |
| ·抢占阈值调度假设与过程 | 第60-61页 |
| ·任务集可调度性、属性分配和定量评估 | 第61-62页 |
| ·抢占阈值调度的可调度性分析 | 第62-64页 |
| ·性能比较 | 第64-65页 |
| ·本章小结 | 第65-66页 |
| 第4章 不受控的任务优先级逆转防范方法 | 第66-81页 |
| ·问题描述 | 第67-70页 |
| ·一般优先级逆转 | 第67-68页 |
| ·非受控的优先级逆转 | 第68-70页 |
| ·传统解决方案 | 第70-73页 |
| ·禁用所有硬件中断 | 第70页 |
| ·基本优先级继承协议 | 第70-72页 |
| ·基本优先级限顶协议 | 第72-73页 |
| ·基于抢占阈值模型的方案 | 第73-80页 |
| ·抢占阈值模型 | 第73-75页 |
| ·抢占阈值模型下的优先级逆转 | 第75-79页 |
| ·性能仿真 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 第5章 与或优先约束任务调度算法 | 第81-103页 |
| ·问题描述与相关工作 | 第81-83页 |
| ·非精确计算技术 | 第83-85页 |
| ·与/或网模型描述 | 第85-87页 |
| ·与或优先调度的可行性 | 第87-89页 |
| ·与/或优先约束任务启发式调度算法 | 第89-97页 |
| ·问题的复杂性 | 第90-91页 |
| ·跳跃系统最小完成时间算法 | 第91-97页 |
| ·最早开始调度算法 | 第97-102页 |
| ·ES算法调度可行性及问题描述 | 第98页 |
| ·严格正处理时间下的ES算法 | 第98-100页 |
| ·算法示例与分析 | 第100-102页 |
| ·本章小结 | 第102-103页 |
| 第6章 多处理器任务分配算法选择原则的分析 | 第103-126页 |
| ·调度策略 | 第103-106页 |
| ·多处理器任务调度模型 | 第106页 |
| ·装箱问题的启发式算法 | 第106-109页 |
| ·划分策略下的RM调度方法 | 第109-119页 |
| ·多处理器RM可调度性判定条件 | 第110-113页 |
| ·基于划分方案的启发式RM任务分配算法 | 第113-117页 |
| ·多处理器分配算法利用率界分析 | 第117-119页 |
| ·性能仿真 | 第119-124页 |
| ·处理器集和任务集描述 | 第119-120页 |
| ·性能指标 | 第120页 |
| ·实验结果及分析 | 第120-124页 |
| ·本章小结 | 第124-126页 |
| 结论 | 第126-128页 |
| 参考文献 | 第128-140页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第140-142页 |
| 致谢 | 第142页 |
