期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

一个过程间数据流分析的框架 被引量：2

A FRAMEWORK FOR INTERPROCEDURAL DATA-FLOW ANALYSIS
下载PDF
导出
摘要 本文提出一个过程间数据流分析的框架．它将层次式任务图HTG（hierarchical-taskgraph）用于程序功能并行性的表示与挖掘．在框架中定义了过程表ProcTable和二叉树形式的过程调用图BCG（binary-call－graph），以使算法的时空代价最小． IPA(interprocedural analysis) is the key for parallelization of the serial pro-grams. This paper discusses a framework for IPA. A HTG(hierarchical-task graph) isused to find the functional parallelism. Based on two new data structures, calledProcTable and Binary-Call-Graph, the IPA algorithm reduces cost both in time and spacecompared with other techniques.
作者 郁卫江 朱根江 谢立
机构地区 南京大学计算机科学系 南京大学计算机软件新技术国家重点实验室
出处 《软件学报》 EI CSCD 北大核心 1997年第9期653-662,共10页 Journal of Software
基金 国家863高科技项目
关键词 并行编译 数据流分析 程序并行性 Parallelizing compilers, interprocedural data-flow analysis, procedure call,hierarchical-task graph, data-flow analysis, data-dependence analysis
分类号 TP314 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献3

二级参考文献3

  • 1谢立，1992年
  • 2Wu Y，1990年
  • 3Li Z，1988年

同被引文献18

  • 1徐良华,孙玉龙,高丰,朱鲁华.基于逆向工程的软件漏洞挖掘技术[J].微计算机信息,2006,22(08X):259-261. 被引量：10
  • 2刘磊,叶晓煜.过程间的数据流分析技术[J].计算机研究与发展,1997,34(4):303-306. 被引量：2
  • 3Ernst Michael D. Dynamically Discovering Likely Program lnvariants[ D ]. Ph.D. Dissertation : University of Washington Department of Computer Science and Engineering, Seattle, Washington, 2000.
  • 4Ernst Michael D, Cockrell Jake, Griswold William G, et al. Dynamically discovering likely program invariants to support program evolution [ J ]. IEEE Transactions on Software Engineering,2001,27(2) :99-123.
  • 5Cousot P, Cousot T. Abstract interpretation based program testing[ C]//Proceedings of the SSGRR 2000 Computer & Business Conference. L' Aquila, Italy,2000.
  • 6Cousot P, Cousot R. Basic concepts of abstract interpretation[ C]//Building the Information Society. Kluwer Academic Publishers,2004:359-366.
  • 7Denmat Tristan, Goflieb Arnaud. Proving or disproving likely invariants with constraint reasoning[ C]//Proceedings of the 15th Workshop on Logic-based Methods in Programming Environments ( WLPE' 05 ). 2005.
  • 8Mitchell Richard, Mckim .Jim. Design by Contract原则与实践[M].孟岩译.北京:人民邮电出版社,2003.
  • 9Ernst M D, Adam Czeisler, Griswold W G, et al. Quickly detecting relevant program invariants[ C ]//Proceedings of the 22nd International Conference on Software Engineering ( ICSE 2000 ). Limerick, Ireland ,2000 :449-458.
  • 10M W Hall, J Mellor-Crummey, A Carle, et al. FIAT: A Framework for Inter-Procedural Analysis and Transformation[A]. Proe of the 6th Workshop on Languages and Compilers for Parallel Computing[C]. 1993.

引证文献2

二级引证文献2

软件学报
1997年 第9期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部