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

Automatic Generation of Interprocedural Data—Flow Analyzers and Optimizers

原文传递
导出
摘要 Interprocedural analysis and optimization are very important for compilers toexploit parallelism of modern high-performance computer systems. But it is very complicated,easy to make mistakes and difficult to maintain and port. To solve the problem, we construct anautomatic generator of interprocedural analyzers and optimizers - IGEN. In IGEN, first a newmodel to describe the interprocedural data-flow problem is designed. It is fit for all traditionaldata-flow problems and can be used in context-sensitive algorithms. Then, the structure andthe working environment of IGEN are described in detail. Finally, the implementation of IGENand our experimental result are given.
作者 连瑞奇 张兆庆 乔如良
机构地区 Institute of Computing Technology
出处 《Journal of Computer Science & Technology》 SCIE EI CSCD 2002年第6期708-717,共10页 计算机科学技术学报（英文版）
基金 国家自然科学基金
分类号 TP338.6 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献15

  • 1KildM1 G A. A unified approach to global program optimization. In Proceedings of the 1st Annual A CM Symposium on Principles of Programming Languages, 1973, pp.194-206.
  • 2Muchnick S S. Advanced Compiler Design and Implementation. Morgan Kaufmann Publishers, San Francisco,California, 1997.
  • 3Emami M, Ghiya R, Hendren L J. Context-sensitive interprocedureM point-to analysis in the presence of function pointers. In Proceedings of the A CM SIGPLA N'94 Conference on Programming Language Design and Implementation, June, 1994, pp.242-256.
  • 4Liu Qiang. Study on interprocedural analysis techniques in the presence of pointer aliasing [Dissertation]. Institute of Computing Technology, the Chinese Academy of Sciences, 1998.
  • 5Wilson R P, Lam M S_ Efficient context-sensitive pointer analysis for C programs. In Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementations, 1995, pp.1-12.
  • 6Hall M W, Seema Hiranandani, Ken Kennedy, Chaw-Wen Tseng. Interprocedure compilation on Fortran D. Journal of Parallel and Distributed Computing, 1996, 38(2): 114-129.
  • 7Callahan D. The program summary graph and flow-sensitive interprocedural data flow analysis. In Proceedings of PLDI'88, June, 1988, 23(7): 47-56.
  • 8Landi W, Ryder B G, Zhang S. Interprocedural modification side effect analysis with pointer aliasing. In SIGPLAN 93 Symposium on Programming Language Design and Implementation, June, 1993, 28(6): 56-67.
  • 9Pande H D, William Landi. Interprocedural De-f-Use associations in C program. In Proceedings of Symposium on Testing, Analysis and Verification, 1991, pp.139-153.
  • 10Hall M W. FIAT: A framework for interprocedural analysis and transformation. In Proceedings of the 6th International Workshop of Languages and Compilers for Parallel Computing, Oregon, USA, August, 1993, pp.522-545,LNCS 768.
Journal of Computer Science & Technology
2002年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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