基于虚拟机的多核系统确定执行技术研究
| 摘要 | 第1-12页 |
| ABSTRACT | 第12-14页 |
| 第一章 绪论 | 第14-20页 |
| ·引言 | 第14-16页 |
| ·主要研究工作和创新点 | 第16-18页 |
| ·主要研究工作 | 第16-17页 |
| ·课题创新点 | 第17-18页 |
| ·本文的组织结构 | 第18-20页 |
| 第二章 国内外相关研究 | 第20-34页 |
| ·虚拟机技术简介 | 第20-26页 |
| ·虚拟化技术简介 | 第20-23页 |
| ·内存虚拟化 | 第23-26页 |
| ·确定执行基本概念 | 第26-27页 |
| ·确定执行概念 | 第26页 |
| ·确定执行特点 | 第26-27页 |
| ·纯硬件实现的确定执行技术 | 第27-29页 |
| ·纯软件实现的确定执行技术 | 第29-32页 |
| ·基于操作系统的状态确定执行技术 | 第29-31页 |
| ·基于虚拟机的系统运行记录与重放技术 | 第31-32页 |
| ·软硬件结合实现的确定执行技术 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 第三章 基于KVM 的单核虚拟机记录与重现技术 | 第34-44页 |
| ·KVM 实现的基本原理 | 第34-39页 |
| ·KVM 运行结构 | 第35-37页 |
| ·KVM 内存虚拟化 | 第37-38页 |
| ·KVM 的I/O 虚拟化 | 第38-39页 |
| ·基于KVM 的单核虚拟机确定执行技术 | 第39-43页 |
| ·初始快照 | 第39页 |
| ·运行过程的日志记录 | 第39-42页 |
| ·运行过程的重现 | 第42-43页 |
| ·本章小结 | 第43-44页 |
| 第四章 基于记录与重现的多核系统确定执行技术 | 第44-57页 |
| ·确定并发状态机 | 第44-47页 |
| ·确定并发状态机的概念 | 第45页 |
| ·确定并发状态机的组成 | 第45-47页 |
| ·虚拟私有内存模型 | 第47-49页 |
| ·虚拟私有内存模型的框架 | 第47-48页 |
| ·虚拟私有内存模型的组成 | 第48-49页 |
| ·基于VPM 的严格确定执行机制 | 第49-52页 |
| ·基于VPM 的严格确定执行算法 | 第49-51页 |
| ·严格确定执行的记录与重现 | 第51-52页 |
| ·基于VPM 的松弛确定执行机制 | 第52-56页 |
| ·基于VPM 的松弛确定执行算法 | 第52-55页 |
| ·松弛确定执行的记录与重现 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第五章 基于确定并发状态机的多核系统可逆调试技术 | 第57-68页 |
| ·基于确定并发状态机的并行单步状态点 | 第57-61页 |
| ·传统单步调试 | 第58-60页 |
| ·并行单步状态点 | 第60-61页 |
| ·多检查点的可逆支持 | 第61-64页 |
| ·多检查点的设计 | 第61-63页 |
| ·多检查点的管理 | 第63-64页 |
| ·与GDB 结合的多核系统可逆调试设计 | 第64-67页 |
| ·GDB 实现原理 | 第65-66页 |
| ·与GDB 组合的多核系统可逆调试 | 第66-67页 |
| ·多核系统可逆调试的对象 | 第67页 |
| ·本章小结 | 第67-68页 |
| 第六章 系统实现与实验分析 | 第68-81页 |
| ·原型系统实现 | 第68-76页 |
| ·系统整体架构 | 第68-69页 |
| ·各层之间交互接口实现 | 第69-71页 |
| ·客户机内存透明控制层实现 | 第71-72页 |
| ·vcpu 运行维护控制功能实现 | 第72-74页 |
| ·运行日志记录与重现功能实现 | 第74-75页 |
| ·与GDB 调试工具结合的实现 | 第75-76页 |
| ·实现测试与分析 | 第76-80页 |
| ·记录与重现过程的性能损耗 | 第77-79页 |
| ·调试技术支持的性能损耗 | 第79-80页 |
| ·本章小结 | 第80-81页 |
| 第七章 结束语 | 第81-83页 |
| ·工作总结 | 第81-82页 |
| ·研究展望 | 第82-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-88页 |
| 作者在学期间取得的学术成果 | 第88页 |
