摘要 | 第3-4页 |
ABSTRACT | 第4-5页 |
第一章 绪论 | 第11-23页 |
1.1 研究背景 | 第11-21页 |
1.1.1 虚拟机技术 | 第12-14页 |
1.1.2 二进制翻译技术 | 第14-15页 |
1.1.3 二进制翻译技术研究现状 | 第15-18页 |
1.1.4 中间语言研究现状 | 第18-21页 |
1.2 研究目标 | 第21-22页 |
1.3 全文结构 | 第22-23页 |
第二章 CROSSBIT 及其中间语言 | 第23-31页 |
2.1 CROSSBIT 系统概述 | 第23-25页 |
2.2 CROSSBIT 的中间语言 | 第25-27页 |
2.2.1 设计思想 | 第25页 |
2.2.2 虚拟寄存器 | 第25-26页 |
2.2.3 寻址模式 | 第26页 |
2.2.4 访存策略 | 第26页 |
2.2.5 颗粒度 | 第26页 |
2.2.6 中间指令集 | 第26-27页 |
2.3 CROSSBIT 中间语言应用举例 | 第27-28页 |
2.4 CROSSBIT 性能评测 | 第28-30页 |
2.5 本章小结 | 第30-31页 |
第三章 基于CROSSBIT 中间代码的静态优化 | 第31-41页 |
3.1 SSA 形式化 | 第31-34页 |
3.2 冗余指令删除 | 第34-38页 |
3.2.1 算法描述 | 第34-36页 |
3.2.2 实验数据 | 第36-38页 |
3.3 死代码删除 | 第38-40页 |
3.3.1 算法描述 | 第38-39页 |
3.3.2 实验数据 | 第39-40页 |
3.4 本章小结 | 第40-41页 |
第四章 基于CROSSBIT 中间代码的全局优化 | 第41-51页 |
4.1 直接跳转(DIRECT BRANCHES) | 第41-43页 |
4.1.1 翻译块链接(Translation Linking) | 第41-43页 |
4.1.2 路径线性化(Trace Linearization) | 第43页 |
4.2 条件跳转(CONDITIONAL BRANCHES) | 第43-45页 |
4.2.1 回填技术(Back Patching) | 第44-45页 |
4.3 间接跳转(INDIRECT BRANCHES) | 第45-47页 |
4.3.1 分支预测(Software indirect jump prediction) | 第45-46页 |
4.3.2 Pin 的改进 | 第46页 |
4.3.3 HDTrans 的改进 | 第46-47页 |
4.4 RETURN 语句 | 第47-48页 |
4.4.1 Return 缓存(Caching) | 第47页 |
4.4.2 克隆(Cloning) | 第47-48页 |
4.5 CROSSBIT 实现 | 第48-50页 |
4.6 本章小结 | 第50-51页 |
第五章 基于CROSSBIT 中间代码的动态优化 | 第51-59页 |
5.1 PROFILE 技术简介 | 第51-52页 |
5.2 热块识别 | 第52-53页 |
5.3 循环识别 | 第53-54页 |
5.4 热路径识别 | 第54页 |
5.5 “二级”TCACHE 的应用 | 第54-55页 |
5.6 VCACHE 的应用 | 第55-58页 |
5.6.1 VCache 工作原理 | 第55-56页 |
5.6.2 Profile 统计表 | 第56-57页 |
5.6.3 内存分配和组织方式 | 第57页 |
5.6.4 实验数据 | 第57-58页 |
5.7 本章小结 | 第58-59页 |
第六章 从中间到后端的寄存器分配 | 第59-74页 |
6.1 常用寄存器分配算法 | 第59-62页 |
6.1.1 特定寄存器分配 | 第59-60页 |
6.1.2 全局寄存器分配 | 第60页 |
6.1.3 图染色法 | 第60-62页 |
6.1.4 基于存活期的寄存器分配 | 第62页 |
6.2 CROSSBIT 中的寄存器分配实现 | 第62-72页 |
6.2.1 最简单的寄存器分配 | 第63-64页 |
6.2.2 一对一的寄存器分配 | 第64-65页 |
6.2.3 全局寄存器分配 | 第65-66页 |
6.2.4 基于next-use 信息的寄存器分配 | 第66-68页 |
6.2.5 图染色法 | 第68-72页 |
6.3 CROSSBIT 中各分配算法比较 | 第72-73页 |
6.4 本章小结 | 第73-74页 |
第七章 结论 | 第74-75页 |
参考文献 | 第75-78页 |
致谢 | 第78-80页 |
参与课题及已发表论文 | 第80-82页 |