丁锐
- 作品数：22 被引量：48H指数：4
- 供职机构：解放军信息工程大学更多>>
- 发文基金：国家科技重大专项国家高技术研究发展计划国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于Define-Use图的MPI通信求解算法
- 2012年
- 针对分布存储计算机系统并行编译过程中,为维持数据一致性而产生冗余通信的问题,提出一种优化的通信求解算法。该算法基于依赖关系分析和过程间数据流分析,通过遍历Define-Use图,获得更精确的通信数据,消除过程调用时产生的冗余通信。实验结果表明,将算法所得结果作为后端生成MPI通信代码的依据,可以有效减少通信量,加速比接近手工MPI并行程序。
- 赵捷赵荣彩丁锐陈达智
- 关键词：冗余通信MPI协议
- 分布存储结构的通信代码自动生成与优化
- 并行化编译技术是通过多种技术手段自动识别串行程序中潜在的并行性,并采用等价变换技术将串行程序转变为等价的高效并行程序的翻译技术。在并行化编译器中,代码生成属于编译器的后端,任务是根据并行识别和变换后的中间表示结果,自动生...
- 丁锐
- 关键词：代码生成通信优化
- 基于二次规划模型的非线性下标表达式的依赖测试方法
- 本发明涉及一种分析程序指令之间依赖关系的方法，属于高性能计算中并行化编译优化技术领域，特别是涉及一种基于二次规划模型的非线性下标表达式的依赖测试方法，本发明针对传统依赖测试方法对非线性依赖测试的不足，通过对循环索引边界约...
- 单征庞建民姚远赵捷丁锐刘晓娴
- 程序并行化中基于暴露集生成数据分布代码
- 2009年
- 在并行化编译中,代码生成属于编译器的后端,决定着并行程序的执行效率。数据划分将计算循环中被重定义或没被读引用的数据映射到处理器,按照数据划分生成通信代码会产生冗余通信。提出了利用数组数据流分析求解暴露集,并建立计算划分、循环迭代以及暴露集的不等式限制系统,最后通过FME(fourier Motzkin elimination)消元生成数据分布代码的优化算法。测试结果表明该算法对数据分布的优化效果明显。
- 丁锐赵荣彩韩林
- 关键词：代码生成通信优化
- 基于重排序变换和循环分布的通信优化算法被引量：1
- 2012年
- 针对现有通信优化算法无法使MPI自动并行化编译器生成加速比理想的消息传递程序问题,提出了一种基于重排序变换和循环分布的通信优化算法。该算法根据给出的过程间副作用集合和基于mpi_wait/mpi_irecv移动的重排序变换规则,有序地采用重排序变换和循环分布,尽可能安全地扩大点到点非阻塞通信中通信与计算的重叠窗口,使MPI自动并行化编译器生成具有更多计算重叠通信的消息传递代码。实验结果表明,该算法能够隐藏更多的点到点非阻塞通信开销,并且明显提升消息传递程序的加速比。
- 陈达智赵荣彩韩林丁锐赵捷
- 关键词：通信优化并行化编译
- 一种面向划分的数组数据流分析方法
- 2014年
- 传统数组数据流分析方法主要针对精确依赖测试、数组私有化等研究,无法为划分提供数组在循环间详细的定义-引用信息.本文提出了一种面向划分的数组数据流分析方法,通过定义-引用图来表示数组的数据流信息.首先根据嵌套循环的并行性和结构特点,建立定义-引用图的结点集.然后基于活跃-引用和精确数据流分析,在循环内求出数组的定义、引用等数组区域.最后根据数据流方程和过程间分析添加定义-引用边.通过对矩阵求逆等七个实际用例的实验结果表明,定义-引用图的引用能够使划分算法对并行收益做出准确的评估,并减少了生成代码的通信冗余,提升了并行程序的加速比.
- 丁锐赵荣彩赵捷
- 关键词：自动并行化
- 基于二次规划模型的非线性下标表达式的依赖测试方法
- 本发明涉及一种分析程序指令之间依赖关系的方法，属于高性能计算中并行化编译优化技术领域，特别是涉及一种基于二次规划模型的非线性下标表达式的依赖测试方法，本发明针对传统依赖测试方法对非线性依赖测试的不足，通过对循环索引边界约...
- 单征庞建民姚远赵捷丁锐刘晓娴
- 基于主导值的计算和数据自动划分算法被引量：5
- 2012年
- 计算和数据自动划分是并行化编译中一种自动分配计算和数据到各个处理机的优化技术,划分的结果直接影响程序并行的性能。数组是划分处理的主要对象之一,一些数组分布后的收益不高,但带来的并行约束却能对其它数组的划分产生干扰,导致大量数据重分布通信的产生。现有的划分算法中没有约定数组分布的优先次序,因此无法限制这些数组并行约束的传播,降低了优化编译器后端自动生成并行代码的性能。提出了一种基于主导值的计算和数据自动划分算法:将划分过程中数组对程序并行性的影响量化为主导值,并依据主导值的大小约定数组分布的优先次序,限制干扰数组并行约束的传播速度,提高划分结果的合理性。实验结果表明,算法能够获得良好的划分效果。
- 丁锐赵荣彩韩林
- 关键词：自动并行化数据分布
- 基于主导值的计算和数据自动划分算法
- 计算和数据自动划分是并行化编译中一种自动分配计算和数据到各个处理机的优化技术，划分的结果直接影响到程序并行的性能。数组是划分处理的主要对象之一，一些数组分布后的收益不高，但带来的并行约束却能对其它数组的划分产生干扰，导致...
- 丁锐赵荣彩韩林
- 关键词：数据分布并行化编译
- 面向分布存储结构的数据分布分布及代码生成技术研究
- 当今世界上主流的高性能计算机系统大多提供了丰富的并行机制，其中分布存储结构、共享存储结构及SIMD短向量功能部件等可支持不同级别的并行程序运行，如何在并行化编译系统中自动发掘应用程序中蕴含的不同层次、不同粒度的并行性已成...
- 丁锐
- 关键词：并行化编译数据分布代码生成
