程序并行化中基于暴露集生成数据分布代码

在并行化编译中,代码生成属于编译器的后端,决定着并行程序的执行效率。数据划分将计算循环中被重定义或没被读引用的数据映射到处理器,按照数据划分生成通信代码会产生冗余通信。提出了利用数组数据流分析求解暴露集,并建立计算划分、循环迭代以及暴露集的不等式限制系统,最后通过FME(fourier Motzkin elimination)消元生成数据分布代码的优化算法。测试结果表明该算法对数据分布的优化效果明显。

消除冗余通信的暴露集求解算法

针对分布存储结构计算机系统在并行编译过程中存在的问题,提出一种消除冗余通信的暴露集求解算法,分别采用数组数据流分析和自干扰分析技术对嵌套循环中的流依赖和输入依赖进行分析,从而得到暴露集空间。仿真实验结果表明,将该算法所得结果作为后端生成数据分布通信代码的依据,可有效消除冗余通信,提高系统整体性能。

紧－凸性与紧－光滑性

本文首先通过暴露集和暴露泛函的概念引入了闭凸集的紧－严格凸、紧－强凸、紧－一致凸及紧－非常凸等概念。并用对偶映射给出了Ｂａｎａｃｈ空间的两种新光滑性—紧－一致光滑与紧－非常光滑。然后特别研究了Ｂａｎａｃｈ空间的紧－非常凸与紧－非常光滑。此外还得到关于对偶映射的两个新结果。