| 表目录 | 第1-8页 |
| 图目录 | 第8-10页 |
| 摘要 | 第10-12页 |
| ABSTRACT | 第12-14页 |
| 第一章 绪论 | 第14-24页 |
| ·并行化编译研究的背景和现状 | 第14-18页 |
| ·并行计算机的发展 | 第14-15页 |
| ·两种主流的并行计算机 | 第15-16页 |
| ·并行编程模型 | 第16-17页 |
| ·并行化编译的发展 | 第17-18页 |
| ·课题来源 | 第18页 |
| ·相关研究 | 第18-19页 |
| ·研究内容 | 第19-21页 |
| ·本文的组织结构 | 第21-22页 |
| ·文中所用基本概念和术语 | 第22-24页 |
| 第二章 线性不等式与依赖关系分析 | 第24-39页 |
| ·线性不等式与符号系数不等式 | 第24-31页 |
| ·线性不等式系统 | 第24-28页 |
| ·线性不等式组系统的消元 | 第28-29页 |
| ·符号系数不等式组系统 | 第29-31页 |
| ·并行性分析 | 第31-37页 |
| ·数据依赖分析及相关概念 | 第31-33页 |
| ·传统的数据依赖分析 | 第33-35页 |
| ·精确的数组数据流分析 | 第35-37页 |
| ·相关研究 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 第三章 分布存储体系结构下的数据和计算的一致性划分 | 第39-71页 |
| ·引言 | 第39-41页 |
| ·基础知识 | 第41-47页 |
| ·所涉及的数学知识 | 第41-43页 |
| ·分析的循环的类型 | 第43页 |
| ·三个向量空间 | 第43-44页 |
| ·基于向量空间的三种映射关系 | 第44-45页 |
| ·两级映射模型 | 第45-46页 |
| ·双向干涉图G_i=(V_c,V_d,E) | 第46-47页 |
| ·过程内具有一致性数据分布的划分算法 | 第47-59页 |
| ·基本线性分解等式 | 第48-49页 |
| ·偏移量的计算 | 第49页 |
| ·算法的局限性 | 第49-59页 |
| ·改进的数据一致性划分算法 | 第59-67页 |
| ·扩展的双向干涉图G_(ie)=(V_c,V_d,E_r,E_w,F_r,F_w) | 第59-61页 |
| ·算法思想的描述 | 第61-63页 |
| ·数据和计算划分的约束条件 | 第63-64页 |
| ·算法实现 | 第64-66页 |
| ·算法正确性证明 | 第66-67页 |
| ·虚拟处理器空间维数的确定 | 第67页 |
| ·测试结果 | 第67-68页 |
| ·相关研究 | 第68-69页 |
| ·本章小结 | 第69-71页 |
| 第四章 虚拟处理器到物理处理器的映射方式 | 第71-96页 |
| ·引言 | 第71-72页 |
| ·BLOCK、CYCLIC、BLOCK_CYCLIC(b)映射 | 第72-78页 |
| ·BLOCK、CYCLIC、BLOCK_CYCLIC(b)映射方式的选取原则 | 第72-76页 |
| ·映射方式选取的算法实现 | 第76-78页 |
| ·建立统一的BLOCK、CYCLIC、BLOCK_CYCLIC(b)映射方式的数学模型 | 第78-84页 |
| ·BLOCK映射方式的数学表示 | 第78-80页 |
| ·CYCLIC映射方式的数学表示 | 第80-82页 |
| ·BLOCK_CYCLIC(b)映射方式的数学表示 | 第82-84页 |
| ·基于符号系数不等式实现的BLOCK、CYCLIC映射方式 | 第84-91页 |
| ·BLOCK映射方式的符号系数不等式表示法与代码生成 | 第84-87页 |
| ·CYCLIC映射方式的符号系数不等式表示法与代码生成 | 第87-89页 |
| ·算法实现 | 第89-91页 |
| ·测试结果 | 第91-94页 |
| ·测试平台 | 第92-93页 |
| ·测试用例简介 | 第93页 |
| ·BLOCK、CYCLIC映射方式测试 | 第93-94页 |
| ·相关研究 | 第94-95页 |
| ·本章小结 | 第95-96页 |
| 第五章 分布存储体系结构下的数据和计算划分优化 | 第96-116页 |
| ·引言 | 第96-97页 |
| ·具有DOALL和DOACROSS的嵌套循环的数据和计算划分 | 第97-102页 |
| ·具有DOALL和DOACROSS类型的循环的数据和计算划分算法 | 第99-100页 |
| ·基于精确数据流分析实现的读写对不齐通信 | 第100-102页 |
| ·只读数组的数据和计算划分 | 第102-106页 |
| ·全局只读数组的数据和计算划分 | 第102页 |
| ·非全局只读数组的数据和计算划分 | 第102-106页 |
| ·允许重分布的数据和计算划分算法 | 第106-112页 |
| ·通信图G=(V,E) | 第108-110页 |
| ·扩展的通信图 | 第110页 |
| ·允许重分布的数据和计算划分算法 | 第110-112页 |
| ·测试结果 | 第112-113页 |
| ·测试用例简介 | 第112页 |
| ·边界冗余优化测试 | 第112-113页 |
| ·相关研究 | 第113-114页 |
| ·本章小结 | 第114-116页 |
| 结束语 | 第116-118页 |
| 一、本文工作总结 | 第116-117页 |
| 二、下一步工作展望 | 第117-118页 |
| 参考文献 | 第118-125页 |
| 作者简历 攻读博士学位期间完成的主要工作 | 第125-126页 |
| 致谢 | 第126页 |
