基于SUIF2的C程序循环特征分析技术研究与实现
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-18页 |
| ·程序分析对计算机软硬件设计的影响 | 第11-13页 |
| ·程序分析对计算机系统结构设计的影响 | 第11-12页 |
| ·程序分析对编译器设计的影响 | 第12-13页 |
| ·课题研究的背景及意义 | 第13-14页 |
| ·研究现状及面临的主要技术挑战 | 第14-15页 |
| ·课题的研究目标及内容 | 第15-17页 |
| ·论文结构 | 第17页 |
| ·论文研究成果 | 第17-18页 |
| 第二章 方案设计与平台研究 | 第18-31页 |
| ·方案设计 | 第18-20页 |
| ·程序分析策略 | 第18-19页 |
| ·设计思想 | 第19-20页 |
| ·设计平台选择与研究 | 第20-30页 |
| ·设计平台的选择 | 第20-23页 |
| ·设计平台研究 | 第23-30页 |
| ·小结 | 第30-31页 |
| 第三章 CLA 总体设计 | 第31-35页 |
| ·CLA 的设计思想 | 第31-32页 |
| ·CLA 框架设计 | 第32-34页 |
| ·小结 | 第34-35页 |
| 第四章 CLA 循环结构特征分析设计与实现 | 第35-52页 |
| ·基本循环形态 | 第35-37页 |
| ·循环抽象和建模 | 第37-42页 |
| ·循环的抽象 | 第37-39页 |
| ·循环模型研究 | 第39页 |
| ·循环的表示 | 第39-42页 |
| ·循环结构特征的提取和分析 | 第42-50页 |
| ·循环基本信息提取 | 第42-44页 |
| ·循环层次特征分析 | 第44-46页 |
| ·简单循环的识别 | 第46-47页 |
| ·单层循环运算特征分析 | 第47-49页 |
| ·单层循环库函数调用情况分析 | 第49-50页 |
| ·基于结构特征的循环分类 | 第50-51页 |
| ·小结 | 第51-52页 |
| 第五章 CLA 数据依赖分析设计与实现 | 第52-68页 |
| ·数据依赖 | 第52-60页 |
| ·数据依赖类型 | 第52-55页 |
| ·数据依赖分析概述 | 第55-56页 |
| ·典型数据依赖算法 | 第56-60页 |
| ·数据变量在SUIF2 中的表示 | 第60-61页 |
| ·CLA 数据依赖分析实现 | 第61-67页 |
| ·依赖信息提取 | 第61-64页 |
| ·依赖关系分析 | 第64-66页 |
| ·数据依赖分析示例 | 第66-67页 |
| ·小结 | 第67-68页 |
| 第六章 CLA 测试与应用 | 第68-78页 |
| ·测试方案 | 第68-69页 |
| ·测试及结果分析 | 第69-74页 |
| ·测试案例一：循环结构特征分析 | 第69-72页 |
| ·测试案例二：数据依赖分析 | 第72-74页 |
| ·应用CLA 分析SPEC2000 | 第74-77页 |
| ·小结 | 第77-78页 |
| 第七章 结束语 | 第78-80页 |
| ·全文总结 | 第78-79页 |
| ·展望 | 第79-80页 |
| 致谢 | 第80-81页 |
| 参考文献 | 第81-84页 |
| 作者在学期间取得的学术成果 | 第84页 |
