国家自然科学基金(69633030)
- 作品数：4 被引量：15H指数：2
- 相关作者：朱传琪臧斌宇陈彤张瑜韦俊银更多>>
- 相关机构：复旦大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 用计算函数模型增强数据流分析被引量：1
- 2000年
- 精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑推理来处理的数据流分析问题转化为空间区域之间覆盖关系的判定问题 .而这个问题在并行化编译的理论和实践中已有比较成熟的解决办法 .
- 胡世亮臧斌宇朱传琪
- 关键词：数据流分析并行化编译器
- 有效的数组私有化方法:相关-覆盖方法被引量：8
- 2000年
- 数组私有化是并行化编译中的重要技术 ,该文针对现有数组私有化方法的不足 ,分析了数组私有化的本质 ,提出了一个新的数组私有化方法 :相关 -覆盖方法 .它将相关性分析技术和数据覆盖技术有机地结合在一起 ,具有了执行效率高、处理能力强。
- 臧斌宇陈彤张瑜朱传琪
- 关键词：并行化编译数据相关
- 非必要内存重用的COMMON变量的识别和处理被引量：2
- 2002年
- 在程序中,公用块的使用有时是为了重复利用某一内存区域,这给数据划分和分布带来了不必要的麻烦。该文提出了数据生Fortran命期的概念,借鉴数组私有化中的相关技术,通过计算子程序公用块中数组的暴露集等方法,对非必要内存重用的变量进行识别COMMON和处理。
- 韦俊银方燕宝李靖朱传琪
- 关键词：数据分布FORTRAN语言
- 数据流分析中的区域覆盖技术被引量：6
- 2000年
- 用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性 ,以得到更精确的数据流信息 .
- 胡世亮臧斌宇凌冰朱传琪
- 关键词：数据流分析数组数据集
