| 摘要 | 第1-10页 |
| 图目录 | 第10-13页 |
| 表目录 | 第13-14页 |
| 第1章 引言 | 第14-18页 |
| ·背景知识 | 第14-15页 |
| ·本文的贡献 | 第15-16页 |
| ·论文的组织 | 第16-18页 |
| 第2章 背景知识 | 第18-24页 |
| ·高性能并行体系结构 | 第18页 |
| ·程序设计模型 | 第18-20页 |
| ·并行化编译 | 第20-21页 |
| ·自动数据和计算分解 | 第21-22页 |
| ·整数线性规划 | 第22-24页 |
| 第3章 自动数据分布 | 第24-38页 |
| ·对准和分布模型 | 第25页 |
| ·HPF的数据映射支持 | 第25-26页 |
| ·相关工作 | 第26-38页 |
| ·M.G upta | 第26-27页 |
| ·Anderson and Lam | 第27-28页 |
| ·Palermo and Bannerjee | 第28-29页 |
| ·Ulrich Kremer and Ken Kennedy | 第29-32页 |
| ·Garcia, Ayguadéand Labarta | 第32-34页 |
| ·A.N avaro, E. Zapata and D. Padua | 第34-35页 |
| ·Pei-Zong Li | 第35-36页 |
| ·A utopar | 第36-38页 |
| 第4章 一种高实用性的自动数据分布方法 | 第38-74页 |
| ·基本概念 | 第39-47页 |
| ·流水并行性 | 第39-42页 |
| ·多分割(Multi-partitioning) | 第42-44页 |
| ·数据重分布 | 第44-46页 |
| ·编译器的单节点局部性优化 | 第46-47页 |
| ·整体框架概述 | 第47页 |
| ·树形程序分解 | 第47-55页 |
| ·并行性表示 | 第48-51页 |
| ·程序分解图的构造 | 第51-54页 |
| ·实例说明 | 第54-55页 |
| ·候选方案产生 | 第55-59页 |
| ·初步数据分布候选产生 | 第56-58页 |
| ·数据分布参数的统一化 | 第58-59页 |
| ·数据分布候选的剪裁 | 第59页 |
| ·数据分布图的产生 | 第59-62页 |
| ·性能评估 | 第62-63页 |
| ·问题的线性规划描述的和求解 | 第63-64页 |
| ·数据分布顶点变量和相关约束 | 第63页 |
| ·通信相关变量和约束 | 第63-64页 |
| ·问题的目标函数 | 第64页 |
| ·系统实现 | 第64-65页 |
| ·具体实现中若干问题 | 第65页 |
| ·实验结果 | 第65-72页 |
| ·复杂度结果 | 第67-68页 |
| ·论据性能结果 | 第68-72页 |
| ·将来的研究工作和展望 | 第72-74页 |
| 第5章 部分重复计算划分 | 第74-80页 |
| ·部分重复计算划分 | 第74页 |
| ·无通信冗余计算分割 | 第74-77页 |
| ·dHPF的部分重复计算划分方法 | 第77-79页 |
| ·本章小结 | 第79-80页 |
| 第6章 全局的自动部分重复计算划分优化 | 第80-102页 |
| ·研究动机 | 第80-84页 |
| ·层次式求解方法 | 第84-85页 |
| ·相对部分重复计算划分问题的形式化描述 | 第85-86页 |
| ·线性性能模型 | 第86-87页 |
| ·启发式方法 | 第87-90页 |
| ·局部算法 | 第88-89页 |
| ·全局算法 | 第89-90页 |
| ·一个说明实例 | 第90-93页 |
| ·整数线性规划求解 | 第93-95页 |
| ·局部算法(整数线性规划方法) | 第93-95页 |
| ·全局算法 | 第95页 |
| ·实验结果和评估 | 第95-100页 |
| ·总结和展望 | 第100-102页 |
| 第7章 结论和未来的工作 | 第102-104页 |
| ·本文工作总结 | 第102-103页 |
| ·下一步研究方向 | 第103-104页 |
| 参考文献 | 第104-109页 |
| 致谢 | 第109-110页 |
| 作者简历 | 第110页 |
