朱传琪
- 作品数:48 被引量:149H指数:6
- 供职机构:复旦大学软件学院并行处理研究所更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 结构化方法及其在并行编译系统中的应用
- 周诚彪朱传琪
- 关键词:并行处理结构化程序设计
- 用于含过程调用DO循环的循环嵌入方法
- 1997年
- 循环是程序中蕴含并行性最为丰富的一种结构,因此成为并行化编译最主要的对象.但循环内的过程调用严重妨碍了循环的数据相关性分析,使得循环语句潜在的大量并行性得不到开发.本文提出的循环嵌入方法使部分含过程调用循环语句的并行化成为可能,对部分用其它过程间分析技术也能开发其并行性的这一类循环语句采用循环嵌入方法,并行化开销低,并且分析更精确.采用循环嵌入方法还可降低程序由于多次过程调用带来的调度开销.这一方法在作者开发的自动并行化编译系统AFT(automaticPortrantransformer)中得到了实现,对Spec92测试程序包的试验结果表明了本文提出的方法是行之有效的.
- 原庆能丁永华臧斌宇朱传琪
- 关键词:并行编译系统
- 一类不规则问题的自动并行性识别
- 2002年
- 传统的数据相关性分析主要针对线性数组下标表达式,并不适用于不规则计算中的循环并行性识别.利用间接数组特征分析和基于严格数组私有化定义的运行时动态测试技术来解决包含间接数组下标引用的循环并行性判断问题,给出性能估测,并与相关工作进行了比较.
- 李靖臧斌宇朱传琪
- 关键词:数组
- 程序潜在最大并行程度分析方法及其实现
- 1997年
- 现有的并行编译器不能充分地识别和开发程序潜在的并行性。此文提出了一种新的程序最大并行度分析方法,这一方法可开发程序循环一级的并行性。它首先识别出所有的可完全并行执行的循环;为指导用户改写程序,再对任一指定可并行化循环给出所需私有化的变量的信息。目前这一方法已在并行程序交互式开发环境中实现,在对应用程序测试中实现。
- 施武朱传琪
- 关键词:并行处理并行计算机
- 用计算函数模型增强数据流分析被引量:1
- 2000年
- 精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题 .而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法 .
- 胡世亮臧斌宇朱传琪
- 关键词:数据流分析并行化编译器
- 测试任一嵌套DO循环置换合法性的阻碍矩阵算法
- 1996年
- 对程序进行并行变换是提高程序并行性的有效手段。许多并行变换都要寻找一种最优的循环置换。在寻找过程中,如果对每一个被考察的置换都重新进行相关性测试,那么整个寻找过程将极费时间。本文给出了一个测试嵌套循环任一置换的阻碍矩阵测试算法。它将测试任一循环置换的合法性转化为测试一组向前置换的合法性,并且仅需对嵌套循环做一遍相关性测试。利用该算法可以简便迅速地检查任一循环置换的合法性。从而使许多并行变换变得实际可行。
- 林源朱传琪
- 程序自动并行化系统中IR的面向对象设计被引量:3
- 1999年
- 从构造一个高性能的程序自动并行化系统的需求出发,介绍了程序自动并行化系统AGASSIZ中IR(IntermediateRepresentation)的设计原则与设计方法,阐明了此种IR的设计给整个程序自动并行化系统的设计所带来的便利。
- 张瑜黄波朱传琪
- 关键词:程序自动并行化IR面向对象
- 数组生命期分析的区域延拓方法
- 2006年
- 数据划分是大规模并行处理中最重要的技术,我们可以用换名、数组扩张、循环交换、循环拆分等方法来增加程序的并行性,从而有可能取得数据的一致划分。数组的生命期信息则是应用这些方法的依据。利用数据流属性的区域延拓方法,我们设计出自动分析工具来得到比较准确的数组生命期信息,使数据可能取得最佳的划分。
- 邵良黄骏伟臧斌宇朱传琪
- 关键词:数据划分大规模并行处理生命期数据流
- 有效的数组私有化方法:相关-覆盖方法被引量:8
- 2000年
- 数组私有化是并行化编译中的重要技术 ,该文针对现有数组私有化方法的不足 ,分析了数组私有化的本质 ,提出了一个新的数组私有化方法 :相关 -覆盖方法 .它将相关性分析技术和数据覆盖技术有机地结合在一起 ,具有了执行效率高、处理能力强。
- 臧斌宇陈彤张瑜朱传琪
- 关键词:并行化编译数据相关
- 指针数组的过程内别名分析被引量:8
- 1999年
- 指针别名分析在C语言的并行优化中占有重要的地位,但已有的指针别名分析只能处理指针标量的情况.文章在介绍已有指针别名信息表示法的不足的基础上,提出了一种能够表示指针数组别名信息的表示方法,它可以更加准确地表示指针别名信息.在此表示法的基础上,提出了指针数组的过程内别名分析算法.此算法完全包含了指针标量的别名分析,对现有的指针别名分析算法所不能解决的一些问题能进行有效地处理.
- 黄波臧斌宇俞一峻朱传琪
- 关键词:指针别名指针数组