基于多核处理器架构的嵌入式微内核操作系统的研究与设计
| 摘要 | 第1-6页 |
| Abstract | 第6-14页 |
| 第1章 绪论 | 第14-22页 |
| ·背景介绍 | 第14-16页 |
| ·现有研究成果 | 第16-17页 |
| ·设计目标 | 第17-19页 |
| ·研究内容 | 第19-20页 |
| ·软硬件平台 | 第20页 |
| ·论文结构 | 第20-22页 |
| 第2章 多核架构和微内核操作系统介绍 | 第22-30页 |
| ·多处理器架构和多核架构的比较 | 第22-23页 |
| ·微内核操作系统 | 第23-26页 |
| ·微内核操作系统架构 | 第23-24页 |
| ·微内核操作系统优点 | 第24-26页 |
| ·L4 规范 | 第26-27页 |
| ·Fiasco | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第3章 总体架构设计 | 第30-39页 |
| ·L4 系统架构 | 第30-33页 |
| ·L4 内核功能 | 第30-31页 |
| ·L4 的系统调用 | 第31-33页 |
| ·全局模型 | 第33-34页 |
| ·分离模型 | 第34-38页 |
| ·离散模型架构 | 第34-38页 |
| ·分离模型应用场景 | 第38页 |
| ·本章小结 | 第38-39页 |
| 第4章 线程间通信 | 第39-49页 |
| ·L4 的IPC 机制 | 第39-43页 |
| ·IPC 分类 | 第39-41页 |
| ·IPC 流程 | 第41-43页 |
| ·多核间IPC | 第43-44页 |
| ·邮箱系统 | 第44-47页 |
| ·本章小结 | 第47-49页 |
| 第5章 系统功能设计 | 第49-62页 |
| ·内存管理 | 第49-52页 |
| ·L4 的内存管理 | 第49-51页 |
| ·跨核地址空间共享 | 第51-52页 |
| ·线程调度 | 第52-55页 |
| ·L4 调度策略 | 第52-53页 |
| ·核间调度 | 第53-55页 |
| ·锁和同步机制 | 第55-57页 |
| ·L4 的同步机制 | 第55-56页 |
| ·多核间同步 | 第56-57页 |
| ·服务应用程序 | 第57-61页 |
| ·独立模式 | 第57-58页 |
| ·主从模式 | 第58-59页 |
| ·分布式模式 | 第59-61页 |
| ·本章小结 | 第61-62页 |
| 第6章 系统功能实现 | 第62-70页 |
| ·环境、设备及方法 | 第62页 |
| ·邮箱系统功能实现 | 第62-65页 |
| ·邮箱系统性能分析 | 第65-66页 |
| ·系统性能测试 | 第66-69页 |
| ·本章小结 | 第69-70页 |
| 第7章 总结与展望 | 第70-73页 |
| ·主要结论 | 第70-71页 |
| ·研究展望 | 第71-73页 |
| 参考文献 | 第73-75页 |
| 致谢 | 第75-76页 |
| 攻读学位期间发表的学术论文 | 第76-77页 |
| 上海交通大学学位论文答辩决议书 | 第77页 |
