基于外内核操作系统的调度研究
| 中文摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第一章 绪论 | 第7-15页 |
| 1.1 研究背景 | 第7-10页 |
| 1.1.1 外内核 | 第7-9页 |
| 1.1.2 形式化方法 | 第9-10页 |
| 1.1.3 调度算法 | 第10页 |
| 1.2 国内外研究现状 | 第10-11页 |
| 1.3 研究意义 | 第11-14页 |
| 1.3.1 外内核的研究意义 | 第11-13页 |
| 1.3.2 使用形式化方法的意义 | 第13-14页 |
| 1.4 文章结构 | 第14-15页 |
| 第二章 形式化方法及其工具 | 第15-21页 |
| 2.1 形式化方法的研究内容 | 第15页 |
| 2.2 SPIN工具 | 第15-21页 |
| 2.2.1 SPIN工具的使用 | 第16-17页 |
| 2.2.2 PROMELA语言 | 第17-19页 |
| 2.2.3 线性时序逻辑逻辑 | 第19-21页 |
| 第三章 JOS系统调度算法的设计、验证与实现 | 第21-47页 |
| 3.1 调度算法的应用 | 第21-24页 |
| 3.1.1 调度算法的分类 | 第21-22页 |
| 3.1.2 不同操作系统中的调度算法 | 第22-24页 |
| 3.2 JOS系统调度算法的设计 | 第24-30页 |
| 3.2.1 JOS系统调度算法的设计 | 第24-29页 |
| 3.2.2 JOS系统的调度算法规则 | 第29-30页 |
| 3.3 JOS系统调度算法的验证 | 第30-42页 |
| 3.3.1 算法建模 | 第30-37页 |
| 3.3.2 模拟运行 | 第37-38页 |
| 3.3.3 属性提取 | 第38-40页 |
| 3.3.4 验证结果 | 第40-42页 |
| 3.4 JOS系统调度算法的实现 | 第42-47页 |
| 3.4.1 数据结构 | 第43页 |
| 3.4.2 关键算法 | 第43-47页 |
| 第四章 JOS系统调度算法的测试 | 第47-53页 |
| 4.1 与RR算法的比较 | 第47-51页 |
| 4.2 周期性调度的优势 | 第51-53页 |
| 第五章 总结与展望 | 第53-54页 |
| 5.1 本文总结 | 第53页 |
| 5.2 展望 | 第53-54页 |
| 参考文献 | 第54-57页 |
| 在校期间的研究成果 | 第57-58页 |
| 致谢 | 第58页 |
