循环携带反依赖的MPI自动并行化研究  

Loop-carried Anti-dependence MPI Auto-parallelization Research

作　　者：赵捷[1] 赵荣彩[1] 韩林[1] 许瑾晨[1] 

机构地区：[1]解放军信息工程大学信息工程学院,郑州450002

出　　处：《计算机科学》2012年第6期297-300,共4页Computer Science

基　　金："核高基"重大专项(2009ZX01036-001-001-2)资助

摘　　要：传统的面向MPI的自动并行化使用的依赖测试技术,只能确定代码中是否含有循环携带依赖,而不对循环携带依赖的类型进行判定。经研究发现,当循环携带的是反依赖时,代码仍然可以在一定条件下实现面向MPI的自动并行化。基于依赖测试方法和数据流信息,通过创建合理的依赖数据副本,提出了一种循环携带反依赖的MPI自动并行方法。实验结果表明,所提出的方法能够有效识别存在循环携带反依赖的并行循环,将其作为后端生成MPI代码的依据可有效提高MPI程序的效率。Traditional MPI auto-parallelization dependence testing methods can only detect whether there are loop-carried dependences,but not their types.It was proved that auto-parallelization with loop-carried anti-dependence can be achieved under certain conditions.By creating reasonable copies of dependence data,a MPI auto-parallelization method with loop-carried anti-dependence was proposed based on the dependence testing methods and the data-flow information.The experimental results show that the proposed method can effectively recognize the parallel loops with loop-carried anti-dependence.Using the results of the method to generate MPI codes can efficiently improve the efficiency of MPI programs.

关 键 词：自动并行化 依赖测试 MPI协议 反依赖 循环携带 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]