全局数组数据流分析技术的研究与实现

目录	第1-6页
表目录	第6-7页
图目录	第7-8页
摘要	第8-9页
ABSTRACT	第9-10页
第一章 绪论	第10-16页
·课题研究的意义	第10页
·课题来源	第10-11页
·研究内容	第11-14页
·国内外发展现状	第14页
·论文的结构安排	第14-16页
第二章 研究背景	第16-20页
·SUIF简介	第16页
·自动并行识别工具	第16-18页
·改进的冗余并行执行模型	第18-19页
·本章小结	第19-20页
第三章 传统数据流分析技术研究	第20-27页
·数据流分析的基本概念	第20-21页
·基本块和控制流图	第20-21页
·数据流方程	第21页
·数据流问题的分类	第21-22页
·结构化程序的数据流分析方法	第22-24页
·数据流方程的迭代求解算法	第24-25页
·本章小结	第25-27页
第四章 全局数组数据流分析技术研究	第27-49页
·基于抽象语法树构建扩展控制流图	第27-34页
·块和扩展控制流图	第27-28页
·SW-KAP中间表示中的抽象语法树	第28-33页
·构建扩展控制流图	第33-34页
·用线性不等式表示数组区域	第34-41页
·凸多面体与线性不等式	第35-37页
·线性不等式的运算及优化	第37-41页
·全局数组数据流分析算法的实现	第41-47页
·数组终写关系分析	第41-44页
·循环中数组暴露集的求解	第44-47页
·全局数组数据流信息的生成	第47页
·本章小结	第47-49页
第五章 测试结果与分析	第49-52页
·测试方法	第49页
·测试结果及分析	第49-50页
·本章小结	第50-52页
结束语	第52-53页
参考文献	第53-56页
作者简历 攻读硕士学位期间完成的主要工作	第56-57页
致谢	第57页