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

第35卷 第ll期 计 算 机 工 程 2009年6月 Vo1．35 No．1l ComputerEngineering June2009 · 软件技术与数据库 · 文章编号：l0oo_-3428(20o9)11—oo35—o3 文献标识码：A 中圈分类号：TP314 消除冗余通信的暴露集求解算法 刘晓娴，赵荣彩 ，粱 玲 (解放军信息工程大学信息工程学院，郑州 450002) 摘 要：针对分布存储结构计算机系统在并行编译过程中存在的问题，提出一种消除冗余通信的暴露集求解算法，分另4采用数组数据流分 析和自干扰分析技术对嵌套循环中的流依赖和输入依赖进行分析，从而得到暴露集空问。仿真实验结果表明，将该算法所得结果作为后端 生成数据分布通信代码的依据，可有效消除冗余通信，提高系统整体性能。 关健诃：并行编译；冗余通信；暴露集 Exposed-setCalculatingAlgorithm for EliminatingRedundantCommunication LIUXiao-xian，ZHAO Rong-cai，LIANG Ling (InstituteofInformationEngineering，PLAInformationEngineeringUniversity,Zhengzhou450002) [Abstract]Aimingatproblemsexistedinprocessofparallelcompilationfordistributionofstoragestructureincomputersystem，anexposed—set calculating algorithm tOeliminateredundantcommunication isproposed，which findsexposed—setby analyzing flow dependencesna d input dependenceswithraraydata·flow analysisaodself-interfereanalysistechnologies．Simulationexperimentalresultsshow thatusingtheresultsofhte algorihtmtogeneratedatadistributioncommunicationcodecaneliminatehteredundantcommunicationeffectively，nadimprovehteperformanceof thewholesystem ． [Keywords]praallelcompilation；redundantcommunication；exposed—set 1 概述 维变量的上下界范围。线性不等式系统 消去第n维变量v 传统的依赖关系识别只能确定需要通信的位置，不能确 就等价于投影凸多面体 到变量 v所代表的坐标轴，而投影 定所需通信数组空间的范围，因此，在进行数据分布时只能 操作可以通过傅里叶消元(Fourier-Motzkin—Elimination)来完 保守地分布整个数组，称为全数组分布。这样做的优点是不 成，因此，通过傅里叶消元就可以实现线性不等式系统的消 会漏掉任何数据，保证正确性，但全数组空间庞大而数组的 元，从而得到每一维变量的上下界范围，这就可以进行并行 实际访问空间较小，使用其生成的通信循环会产生大量冗余 化分析和优化。 通信。文献i1】使用计算划分信息与计算循环结合所得迭代空 (2)白干扰分析 间加上循环中数组读访问函数来生成数据分布循环，只分布 自干