过程繁衍及其实现方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

本文研究得到国家自然科学基金和国家863高科技项目基金资助.


CLONING AND ITS IMPLEMENTATION
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    过程的处理在并行化编译工具中是十分关键的问题,过程嵌入和跨过程信息传播是常用的解决方法.近年来,兼有前二者优点的新技术:过程繁衍(Cloning),逐渐受到人们的重视.而以往的研究中,过程繁衍仅局限于常数值的传播.本文提出了在过程繁衍中进行符号等式约束信息传播的方法,该方法可以增强系统中全局的符号分析(SymbolicAnalysis)能力,并可与一些新技术(如Omega测试)互相配合,从而提高并行化系统的能力.该方法在作者开发的并行化编译工具AFT中得到了实现.对于PerfectBenchmark的测试

    Abstract:

    Interprocedural analysis is one of the critical issues for parallelizing compilers. Traditionally, inline and interprocedural information propagation are the two methods to solve the problem. Recently, a new technique called cloning shows its advantage. Cloning creates specialized copies of procedure body to allow distinct call site inherits an environment context that allows for better code optimization. Previous research focused on constant propagation. This paper presents a method that can propagate the information of symbolic linear equations. The capability of cloning is enhanced by the new method. The authors implemented their scheme in AFT, a parallelizing compiler that they developed. The test result illustrates the effectiveness of this method.

    参考文献
    相似文献
    引证文献
引用本文

丁永华,陈彤,臧斌宇,朱传琪.过程繁衍及其实现方法.软件学报,1996,7(11):662-668

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:
  • 最后修改日期:1995-10-30
  • 录用日期:
  • 在线发布日期:
  • 出版日期:
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号