| 摘要 | 第5-6页 |
| abstract | 第6-7页 |
| 第一章 绪论 | 第11-16页 |
| 1.1 研究背景 | 第11-12页 |
| 1.2 国内外研究现状 | 第12-15页 |
| 1.3 本文的研究内容和主要工作 | 第15页 |
| 1.4 论文组织结构 | 第15-16页 |
| 第二章 嵌入式实时操作系统DeltaSVM | 第16-33页 |
| 2.1 DeltaSVM操作系统概述 | 第16-17页 |
| 2.2 DeltaSVM的组成 | 第17-18页 |
| 2.3 DeltaSVM的配置 | 第18-19页 |
| 2.4 安全虚拟机内核(SVMK) | 第19-25页 |
| 2.4.1 初始化 | 第19-20页 |
| 2.4.2 分区管理 | 第20-24页 |
| 2.4.3 虚拟中断 | 第24-25页 |
| 2.5 核心级板级支持包(KBSP) | 第25-30页 |
| 2.5.1 中断异常处理 | 第26-29页 |
| 2.5.2 外部设备驱动 | 第29-30页 |
| 2.6 分区级板级支持包(VBSP) | 第30-32页 |
| 2.6.1 虚拟中断 | 第30-31页 |
| 2.6.2 系统调用 | 第31-32页 |
| 2.7 本章小结 | 第32-33页 |
| 第三章 ARM体系结构与编程模型 | 第33-52页 |
| 3.1 概述 | 第33-34页 |
| 3.1.1 ARM体系结构版本 | 第33页 |
| 3.1.2 ARM926EJ-S内核 | 第33-34页 |
| 3.2 运行模式 | 第34-35页 |
| 3.3 寄存器集 | 第35-39页 |
| 3.3.1 通用寄存器 | 第36-37页 |
| 3.3.2 程序状态寄存器 | 第37-38页 |
| 3.3.3 ARMABI | 第38-39页 |
| 3.4 CP15协处理器 | 第39-43页 |
| 3.4.1 C1控制寄存器 | 第41-42页 |
| 3.4.2 C2地址转换表基址寄存器 | 第42页 |
| 3.4.3 C3域访问控制寄存器 | 第42-43页 |
| 3.5 MMU | 第43-48页 |
| 3.5.1 地址转换 | 第43-47页 |
| 3.5.2 权限控制 | 第47-48页 |
| 3.6 中断异常 | 第48-49页 |
| 3.7 SOPC处理器 | 第49-51页 |
| 3.8 本章总结 | 第51-52页 |
| 第四章 DeltaSVM在ARM体系结构上的设计与实现 | 第52-73页 |
| 4.1 处理器启动与初始化 | 第52-59页 |
| 4.1.1 中断异常向量表 | 第53-54页 |
| 4.1.2 CPU、SDRAM与执行环境初始化 | 第54-59页 |
| 4.2 MMU驱动 | 第59-62页 |
| 4.2.1 核心分区空间映射 | 第60-62页 |
| 4.2.2 应用分区空间映射 | 第62页 |
| 4.2.3 MMU使能 | 第62页 |
| 4.3 中断处理的实现 | 第62-69页 |
| 4.3.1 原始中断异常向量表初始化 | 第63-64页 |
| 4.3.2 TA中的中断处理 | 第64-65页 |
| 4.3.3 系统中的中断处理 | 第65-68页 |
| 4.3.4 应用分区中的中断处理 | 第68-69页 |
| 4.4 系统调用的实现 | 第69-72页 |
| 4.4.1 系统调用接口的实现 | 第69页 |
| 4.4.2 TA中的系统调用处理 | 第69-71页 |
| 4.4.3 系统中的系统调用处理 | 第71-72页 |
| 4.5 本章总结 | 第72-73页 |
| 第五章 操作系统测试与验证 | 第73-82页 |
| 5.1 测试平台 | 第73-75页 |
| 5.2 MMU测试 | 第75-77页 |
| 5.2.1 访问未映射的地址 | 第75-76页 |
| 5.2.2 访问无权限的地址 | 第76页 |
| 5.2.3 共享内存 | 第76-77页 |
| 5.3 中断与系统调用测试 | 第77-80页 |
| 5.3.1 虚拟外部中断 | 第77-78页 |
| 5.3.2 服务中断与系统调用 | 第78-80页 |
| 5.4 中断响应性能测试 | 第80-81页 |
| 5.4.1 核心分区中断响应时间 | 第80页 |
| 5.4.2 应用分区中断响应时间 | 第80-81页 |
| 5.5 稳定性测试 | 第81页 |
| 5.6 本章总结 | 第81-82页 |
| 第六章 全文总结 | 第82-83页 |
| 6.1 本文工作总结 | 第82页 |
| 6.2 不足与展望 | 第82-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-85页 |