程序自动并行化中的数组终写关系分析
分布式系统环境中高昂的通信代价使得最小化数据通信成为并行编译器必须考虑的问题,而利用数组最后写关系在并行编译器后端生成的数据收集代码可以最小化并行计算后的通信量。本文提出基于线性不等式的数组终写关系分析方法求解数组最后写关系,其基本思想是首先使用自干扰分析方法求解写引用的非自干扰迭代空间,然后采用LWT(Last write tree)算法和傅立叶消元算法求得写引用的单向输出依赖迭代空间;根据以上两部分结果得到写引用的终写迭代空间。初步实验结果证明了数组终写关系分析的正确性和高效性。
程序自动并行化 数据收集代码 自干扰分析 线性不等式 数据通信 并行编译器
罗勇 张平 龚雪容
信息工程大学信息工程学院,计算机科学与技术系,郑州,450002
国内会议
深圳
中文
1-6
2007-10-26（万方平台首次上网日期，不代表论文的发表时间）