| 摘要 | 第1-6页 |
| Abstract | 第6-10页 |
| 插图索引 | 第10-11页 |
| 附表索引 | 第11-12页 |
| 第1章 绪论 | 第12-19页 |
| ·课题背景及意义 | 第12-15页 |
| ·研究现状 | 第15-16页 |
| ·研究内容 | 第16-17页 |
| ·论文组织结构 | 第17-19页 |
| 第2章 动态二进制翻译系统与优化技术 | 第19-32页 |
| ·动态二进制翻译系统 | 第19-24页 |
| ·动态二进制翻译系统框架 | 第19-20页 |
| ·国内外两种典型的二进制翻译系统 | 第20-23页 |
| ·虚拟机技术 | 第23-24页 |
| ·动态优化系统 | 第24-25页 |
| ·动态优化技术 | 第25-31页 |
| ·热路径识别技术 | 第26-28页 |
| ·基于基本块的优化技术 | 第28-30页 |
| ·基于热路径的优化技术 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第3章 SkyEye中的动态二进制翻译 | 第32-43页 |
| ·SkyEye总体介绍 | 第32-33页 |
| ·SkyEye的系统框架 | 第33页 |
| ·SkyEye的配置文件选项及参数 | 第33-34页 |
| ·SkyEye的动态二进制翻译模块 | 第34-42页 |
| ·指令模拟 | 第35-37页 |
| ·翻译块(TB) | 第37-39页 |
| ·翻译执行过程 | 第39-42页 |
| ·本章小结 | 第42-43页 |
| 第4章 基于隐马尔科夫模型的热路径预测算法 | 第43-52页 |
| ·引言 | 第43页 |
| ·总体思路 | 第43-46页 |
| ·隐马尔科夫模型介绍 | 第44页 |
| ·基于代码块的程序图解 | 第44-45页 |
| ·基于代码块的程序图解扩展 | 第45-46页 |
| ·基于HMM的建模 | 第46-47页 |
| ·算法及复杂度分析 | 第47-48页 |
| ·实验结果与分析 | 第48-51页 |
| ·本章小结 | 第51-52页 |
| 第5章 DBCT中的条件分支跳转优化 | 第52-60页 |
| ·引言 | 第52页 |
| ·分支预测 | 第52-55页 |
| ·直接跳转处理技术 | 第53-54页 |
| ·条件分支处理技术 | 第54-55页 |
| ·DBCT中的跳转实现及TB搜索分析 | 第55-56页 |
| ·DBCT中的自适应代码块链接(ABL)技术分析 | 第56-57页 |
| ·基于DynamoRIO中条件分支跳转处理的优化 | 第57-58页 |
| ·实验结果及分析 | 第58-59页 |
| ·本章小结 | 第59-60页 |
| 结论 | 第60-62页 |
| 参考文献 | 第62-67页 |
| 附录A 攻读学位期间所发表的学术论文及参与的科研项目 | 第67-68页 |
| 致谢 | 第68页 |