| 摘要 | 第1-6页 |
| Abstract | 第6-12页 |
| 第1章 引言 | 第12-26页 |
| ·指令级并行与谓词技术 | 第12-21页 |
| ·指令级并行 | 第12-15页 |
| ·VLIW 体系结构 | 第13-14页 |
| ·EPIC 体系结构 | 第14页 |
| ·指令级并行的硬件新特征 | 第14-15页 |
| ·支持谓词技术的硬件特征 | 第15-18页 |
| ·Cydra5 | 第15-16页 |
| ·Arm体系结构 | 第16页 |
| ·HPL-PD 体系结构 | 第16页 |
| ·IMPACT 体系结构模型 | 第16-17页 |
| ·IA-64 体系结构 | 第17页 |
| ·其他系统 | 第17-18页 |
| ·谓词技术 | 第18-21页 |
| ·代码优化与数据布局优化 | 第21-22页 |
| ·术语介绍 | 第22-24页 |
| ·本文的贡献 | 第24页 |
| ·文章的组织 | 第24-26页 |
| 第2章 ORC 编译器研究平台 | 第26-44页 |
| ·ORC 硬件平台——IA64 体系结构 | 第26-27页 |
| ·ORC 开放源码研究编译器 | 第27-44页 |
| ·编译器后端优化设计 | 第30-44页 |
| ·指令调度 | 第31-32页 |
| ·指令投机 | 第32-35页 |
| ·区域编译框架 | 第35-38页 |
| ·机器模型 | 第38-39页 |
| ·轮廓信息插装 | 第39-44页 |
| 第3章 条件转换技术与谓词关系数据库 | 第44-78页 |
| ·条件转换 | 第44-53页 |
| ·介绍 | 第44-46页 |
| ·条件转换框架 | 第46-53页 |
| ·条件转换的整体组织 | 第47-51页 |
| ·条件转换的代价模型 | 第51-53页 |
| ·谓词分析与谓词关系数据库 | 第53-76页 |
| ·介绍 | 第54-55页 |
| ·谓词分析的背景及相关工作 | 第55页 |
| ·谓词分析技术的支持与应用 | 第55-59页 |
| ·谓词分析技术的支持 | 第55-57页 |
| ·谓词分析的应用 | 第57-59页 |
| ·谓词关系数据库——PRDB | 第59-70页 |
| ·PRDB 的外部结构 | 第59-60页 |
| ·PRDB 的内部结构 | 第60-62页 |
| ·谓词关系数据库的建立 | 第62-70页 |
| ·设计的决策 | 第70-71页 |
| ·谓词关系数据库与指令调度 | 第71-72页 |
| ·实验数据与结果分析 | 第72-76页 |
| ·结论 | 第76页 |
| ·总结 | 第76-78页 |
| 第4章 谓词敏感的数据流分析技术 | 第78-88页 |
| ·介绍 | 第78-79页 |
| ·问题描述 | 第79-81页 |
| ·条件执行与常规数据流分析 | 第80-81页 |
| ·谓词敏感的数据流分析技术 | 第81-82页 |
| ·谓词敏感的数据流分析框架 | 第82-86页 |
| ·实验分析 | 第86页 |
| ·结论 | 第86-88页 |
| 第5章 控制流路径敏感的深层代码优化 | 第88-97页 |
| ·引言 | 第88页 |
| ·GCC 通用的函数调用约定 | 第88-90页 |
| ·IA-64 软件规范中的调用约定 | 第90-91页 |
| ·深层代码优化的寄存器种类 | 第91-92页 |
| ·控制流路径敏感的流分析与优化技术 | 第92-94页 |
| ·控制流路径敏感的流分析 | 第92-93页 |
| ·控制流路径敏感的优化 | 第93-94页 |
| ·控制流路径敏感的优化策略与实现 | 第94页 |
| ·实验结果与结论 | 第94-97页 |
| 第6章 适于 EPIC 的程序调用共享连接优化技术 | 第97-111页 |
| ·介绍 | 第97-98页 |
| ·程序调用共享连接技术 | 第98-99页 |
| ·相关述语 | 第98-99页 |
| ·全局函数符号调用的优化技术 | 第99-104页 |
| ·问题描述 | 第99-100页 |
| ·函数符号调用的优化技术 | 第100-101页 |
| ·编译单元进行优化实例 | 第101-102页 |
| ·实验小结 | 第102-104页 |
| ·全局变量访问的优化技术 | 第104-110页 |
| ·IA-64 体系结构下的数据机制 | 第104-106页 |
| ·全局变量的优化技术 | 第106-107页 |
| ·”gp-relative”寻址优化 | 第107-108页 |
| ·实验数据 | 第108-110页 |
| ·总结 | 第110-111页 |
| 第7章 结论与工作展望 | 第111-114页 |
| ·文章总结 | 第111-112页 |
| ·工作展望 | 第112-114页 |
| ·谓词技术支持的研究 | 第112页 |
| ·程序调用共享连接优化技术的研究 | 第112-114页 |
| 参考文献 | 第114-123页 |
| 致谢 | 第123-124页 |
| 作者简历 | 第124页 |