指令级并行编译的关键技术研究
| 第1章 绪论 | 第1-24页 |
| ·指令级并行处理 | 第9-10页 |
| ·指令级并行度 | 第10-11页 |
| ·指令级并行体系结构 | 第11-14页 |
| ·指令级并行体系结构的分类 | 第11-13页 |
| ·各类指令级并行体系结构的特点 | 第13-14页 |
| ·指令级并行编译 | 第14-17页 |
| ·指令级并行编译的关键技术 | 第14-15页 |
| ·指令级并行编译的研究现状及发展 | 第15-17页 |
| ·本文工作的研究背景 | 第17-22页 |
| ·M-Machine体系结构 | 第17-19页 |
| ·MCC总体结构 | 第19-22页 |
| ·本文内容组织 | 第22-24页 |
| 第2章 多视图中间表示 | 第24-40页 |
| ·中间表示 | 第24-26页 |
| ·中间表示的设计原则 | 第24-25页 |
| ·传统中间表示分析 | 第25-26页 |
| ·代数数据类型与模式匹配 | 第26-28页 |
| ·代数数据类型 | 第26-27页 |
| ·模式匹配 | 第27-28页 |
| ·多视图中间表示 | 第28-31页 |
| ·视图 | 第28-29页 |
| ·多视图中间表示 | 第29-31页 |
| ·MCC的中间表示设计 | 第31-38页 |
| ·总体结构 | 第31-33页 |
| ·物理视图 | 第33-35页 |
| ·高层视图与低层视图 | 第35-36页 |
| ·标准操作视图与体系操作视图 | 第36-38页 |
| ·小结 | 第38-40页 |
| 第3章 依赖分析 | 第40-54页 |
| ·依赖分析的基本概念 | 第40-43页 |
| ·依赖测试问题的形式化描述 | 第43-45页 |
| ·依赖分析的基本方法 | 第45-46页 |
| ·依赖关系的分类测试 | 第46-50页 |
| ·可分性测试 | 第46-47页 |
| ·GCD测试 | 第47-48页 |
| ·Banerjee不等式 | 第48-50页 |
| ·依赖测试的过程 | 第50-53页 |
| ·方向向量集的归并 | 第50-51页 |
| ·数组下标线性化 | 第51-52页 |
| ·分层依赖测试 | 第52-53页 |
| ·小结 | 第53-54页 |
| 第4章 全局寄存器分配 | 第54-71页 |
| ·基本概念与问题 | 第54-58页 |
| ·寄存器分配 | 第54-55页 |
| ·活跃区间与干涉 | 第55-57页 |
| ·图的着色与寄存器分配 | 第57-58页 |
| ·寄存器文件结构 | 第58-62页 |
| ·分组的寄存器文件 | 第59-60页 |
| ·通路约束 | 第60页 |
| ·层次着色的寄存器分配 | 第60-62页 |
| ·软件旁路 | 第62-66页 |
| ·结果寄存器 | 第62-63页 |
| ·问题的提出 | 第63-64页 |
| ·求解策略 | 第64-65页 |
| ·软件旁路算法 | 第65-66页 |
| ·层次着色寄存器分配方法的实现 | 第66-70页 |
| ·算法框架结构 | 第66-67页 |
| ·求级小化活跃区间 | 第67页 |
| ·建干涉图 | 第67-69页 |
| ·层次化的着色过程 | 第69-70页 |
| ·小结 | 第70-71页 |
| 第5章 协作式全局指令调度 | 第71-91页 |
| ·指令调度 | 第72-77页 |
| ·基本概念与问题 | 第72-73页 |
| ·传统指令调度方法分析 | 第73-77页 |
| ·机器特性对指令调度的影响 | 第77-80页 |
| ·指令的发出与处理器状态 | 第78页 |
| ·原子操作结构与非原子操作结构 | 第78-79页 |
| ·非原子操作结构对调度的影响 | 第79-80页 |
| ·指令调度与寄存器分配的时序 | 第80-81页 |
| ·先作指令调度 | 第80-81页 |
| ·先作寄存器分配 | 第81页 |
| ·协作式全局指令调度 | 第81-89页 |
| ·集成指令调度与寄存器分配 | 第81-83页 |
| ·值的存储映射及其变迁 | 第83-85页 |
| ·危险值的保存 | 第85-86页 |
| ·最优操作的选取 | 第86-87页 |
| ·补偿代码插入与寄存器换名 | 第87-88页 |
| ·协作式全局指令调度的效果 | 第88-89页 |
| ·相关工作 | 第89-90页 |
| ·小结 | 第90-91页 |
| 第6章 软件流水 | 第91-107页 |
| ·基本概念 | 第91-94页 |
| ·软件流水的基本概念 | 第91-92页 |
| ·最小启动间隔 | 第92-94页 |
| ·软件流水的主要方法 | 第94-98页 |
| ·模调度 | 第94-96页 |
| ·核心识别 | 第96页 |
| ·EPS | 第96-98页 |
| ·协作式指令调度与软件流水 | 第98-103页 |
| ·相关概念 | 第99-100页 |
| ·解决方案 | 第100-103页 |
| ·MCC中软件流水算法的实现 | 第103-106页 |
| ·软件流水算法框架 | 第103页 |
| ·危险操作的分析算法 | 第103-104页 |
| ·实例分析 | 第104-106页 |
| ·小结 | 第106-107页 |
| 第7章 系统实现与实验结果 | 第107-115页 |
| ·系统环境 | 第107-108页 |
| ·编译器性能的评价 | 第108-110页 |
| ·测试结果及分析 | 第110-115页 |
| ·测试用例与测试结果 | 第110-113页 |
| ·编译对硬件设计的反馈 | 第113-115页 |
| 第8章 结论与进一步的工作 | 第115-117页 |
| ·结论 | 第115-116页 |
| ·进一步的工作 | 第116-117页 |
| 参考文献 | 第117-122页 |
| 博士期间发表的论文 | 第122-123页 |
| 致谢 | 第123-124页 |
| 作者简介 | 第124页 |
