具有可适应性的程序分析技术
| 独创性声明 | 第1页 |
| 关于论文使用授权的说明 | 第2-3页 |
| 摘要 | 第3-4页 |
| ABSTRACT | 第4-10页 |
| 第一章 引言 | 第10-16页 |
| ·问题的提出 | 第10-12页 |
| ·公共编译基础设施——CCI | 第12-13页 |
| ·CCI的具体开发目标 | 第13-14页 |
| ·本文的组织和贡献 | 第14-16页 |
| 第二章 高性能计算机与编译技术 | 第16-30页 |
| ·编译器对并行处理的支持 | 第16-23页 |
| ·编译器对指令级并行的支持 | 第17-20页 |
| ·编译器对循环级并行的支持 | 第20-21页 |
| ·编译器对任务级并行的支持 | 第21-22页 |
| ·编译器对显式并行语言的支持 | 第22-23页 |
| ·程序优化和并行化的基础：程序分析 | 第23-25页 |
| ·程序分析的研究现状和存在的问题 | 第25-28页 |
| ·程序分析的研究现状 | 第25-26页 |
| ·程序分析中的热点问题 | 第26-28页 |
| ·程序分析可适应性研究的必要性 | 第28-30页 |
| 第三章 程序分析可适应性的相关概念及解决途径 | 第30-56页 |
| ·程序分析的若干相关概念 | 第30-42页 |
| ·控制流分析 | 第30-31页 |
| ·数据流分析 | 第31-41页 |
| ·数据流分析的描述 | 第31-33页 |
| ·数据流分析问题的扩展 | 第33-35页 |
| ·迭代法 | 第35页 |
| ·消去法 | 第35-38页 |
| ·静态单赋值表示 | 第38-40页 |
| ·过程间的数据流分析 | 第40-41页 |
| ·依赖分析 | 第41-42页 |
| ·程序分析适应能力的目标 | 第42-47页 |
| ·软件重用的相关概念 | 第47-52页 |
| ·软件重用方案的要素 | 第48-49页 |
| ·软件重用方案的评价方法 | 第49-50页 |
| ·常用的软件重用技术 | 第50-52页 |
| ·程序分析可适应性问题的主要解决途径 | 第52-56页 |
| ·多视图的编程范式 | 第52-53页 |
| ·分析优化程序自动生成器 | 第53-54页 |
| ·简单综合 | 第54-55页 |
| ·增量式数据流分析 | 第55-56页 |
| 第四章 基于视图的程序分析高层抽象技术 | 第56-76页 |
| ·视图和多视图编程范式 | 第56-58页 |
| ·程序分析基于视图的抽象方式 | 第58-68页 |
| ·视图和算法的统一设计 | 第58-60页 |
| ·视图和算法抽象层次的确定 | 第58-59页 |
| ·视图大小的确定和算法模块的划分 | 第59-60页 |
| ·视图的结构和定义 | 第60-65页 |
| ·控制流分析的视图结构和定义 | 第60-62页 |
| ·数据流分析的视图结构和定义 | 第62-64页 |
| ·依赖分析的视图结构和定义 | 第64-65页 |
| ·高层抽象算法的编写 | 第65-68页 |
| ·分块编写抽象程序 | 第65-67页 |
| ·视图转换的编写 | 第67-68页 |
| ·适应性方面的考虑 | 第68-74页 |
| ·对IR变化和不同IR的适应 | 第68-70页 |
| ·对不同语言的适应 | 第70-72页 |
| ·对不同需求的适应 | 第72-74页 |
| ·相关工作 | 第74-75页 |
| ·小结 | 第75-76页 |
| 第五章 过程间分析优化程序的自动生成 | 第76-96页 |
| ·过程间问题的模型 | 第76-82页 |
| ·过程间问题描述的现状 | 第77-78页 |
| ·IGEN中的过程间问题模型 | 第78-82页 |
| ·模式的描述 | 第79-81页 |
| ·映射函数和逆映射函数 | 第81-82页 |
| ·IGEN中问题模型的特点 | 第82页 |
| ·IGEN的工作环境和结构 | 第82-84页 |
| ·IGEN的过程内分析部分的实现 | 第84-87页 |
| ·过程内分析部分的描述方式 | 第84-86页 |
| ·过程内分析部分的算法框架 | 第86-87页 |
| ·IGEN的过程间分析部分的实现 | 第87-90页 |
| ·过程间分析部分的描述方式 | 第87-90页 |
| ·过程间分析部分的算法框架 | 第90页 |
| ·通过自动生成的方法提高可适应性 | 第90-94页 |
| ·IGEN对适应新问题的支持 | 第91-93页 |
| ·IGEN对适应显式并行语言的支持 | 第93-94页 |
| ·IGEN对适应不同目标机的支持 | 第94页 |
| ·相关工作 | 第94-95页 |
| ·小结 | 第95-96页 |
| 第六章 增量式数据流分析方法 | 第96-108页 |
| ·基本概念和路径简化算法 | 第96-98页 |
| ·基本概念 | 第96-97页 |
| ·路径简化算法 | 第97-98页 |
| ·增量式路径简化算法 | 第98-103页 |
| ·增量式维护信息的方法 | 第103-106页 |
| ·相关工作 | 第106-107页 |
| ·小结 | 第107-108页 |
| 第七章 系统实现和实验结果 | 第108-120页 |
| ·实验系统环境 | 第108-112页 |
| ·VCC系统 | 第108-109页 |
| ·MCC系统 | 第109-111页 |
| ·autopar系统 | 第111-112页 |
| ·系统的实现 | 第112-113页 |
| ·评价策略 | 第113-114页 |
| ·实验结果 | 第114-120页 |
| ·功能验证和效率验证 | 第114-116页 |
| ·适应能力的验证 | 第116-120页 |
| 第八章 结论和进一步的工作 | 第120-124页 |
| ·本文工作的总结 | 第120-121页 |
| ·进一步的工作 | 第121-124页 |
| 参考文献 | 第124-130页 |
| 致谢 | 第130-131页 |
| 作者简介 | 第131-132页 |
| 发表和完成的文章目录 | 第132页 |
