OpenMP到MPI转换中的数据流分析技术

摘要

本文对OpenMP到MPI转换中的数据流分析技术进行了研究。文章描述了一种为取得全局一致数据划分的数据流分析方法的研究成果，较之AFT系统中的SMP并行分析方法，它在两方面得到增强：一、利用数组生命期分析的方法给并行变换模块提供比较精确的和更多的相关性信息；二、利用过程间相干的测试方法给公用块复制提供依据。在复旦大学AFT04系统中，该算法得以实现，通过对SPEC95、SPEC2000等benchmark中部分程序的测试得出比较满意的结果。

目录

第一章引言

1.1并行编译研究的历史和现状

1.2OpenMp到MPI转换的关键技术

第二章数组的数据流分析的经典技术

2.1相关性测试的经典方法

2.2过程间分析技术

2.3暴露集方法的应用

第三章数组生命期分析

3.1数组的UD/DU链

3.1.1粗糙分析

3.1.2重定值链

3.1.3净化

3.2过程间分析

3.2.1数据流属性

3.2.2过程的UD/DU链和暴露集的计算

3.2.3属性延拓

3.2.4别名分析

第四章公用块复制技术

4.1区域与区域间相干

4.2区域的数据流属性

4.3属性的区域延拓方法

4.4过程相干图分析

4.5附录(定理证明)

第五章 基于AFT的OpenMP to MPI数据流分析的实现

5.1AFT系统简介

5.2AFT04系统的数据流分析算法

5.3AFT04系统上的实验结果

结束语

参考文献

致谢

论文独创性声明及使用授权声明