主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
陈永健,舒继武,李建江,王鼎兴.OpenMP指导语句全局嵌套类型的静态分析及应用.软件学报,2005,16(2):194-204
OpenMP指导语句全局嵌套类型的静态分析及应用
Static Analysis of OpenMP Directive Nesting Types and Its Application
投稿时间:2003-09-18  修订日期:2004-07-21
DOI:
中文关键词:  OpenMP  编译  过程间分析  全局嵌套类型  OpenMP翻译
英文关键词:OpenMP  compiler  interprocedural analysis  global nesting type  OpenMP translation
基金项目:Supported by the National Natural Science Foundation of China under Grant No.69933020 (国家自然科学基金)
作者单位
陈永健 清华大学,计算机科学与技术系,高性能计算研究所,北京,100084 
舒继武 清华大学,计算机科学与技术系,高性能计算研究所,北京,100084 
李建江 清华大学,计算机科学与技术系,高性能计算研究所,北京,100084 
王鼎兴 清华大学,计算机科学与技术系,高性能计算研究所,北京,100084 
摘要点击次数: 3365
全文下载次数: 3455
中文摘要:
      由于指导语句动态嵌套与绑定规则的存在,OpenMP程序中线程的一些上下文只能在运行时刻才能完全确定.然而,通过编译时刻的静态分析可以部分确定指导语句的嵌套类型,这些信息可以用于指导后续的编译与优化.由于函数调用的存在,嵌套与绑定常常会跨越过程边界,除了通常的局部和全局分析之外,还需要过程间分析的支持.通过在通常的过程间分析的基础上附加信息,可以使得嵌套类型信息在过程调用图中进行传播.将这些全局信息与过程内的局部信息结合起来,就可以在编译时刻确定语句的嵌套类型.结果表明,编译时刻的嵌套类型分析可以有效地确定通常的科学与工程计算程序中指导语句的嵌套类型,基于嵌套类型的翻译与优化可以同时减少运行时开销和目标代码长度.
英文摘要:
      Because of the rules of dynamic directive nesting and binding, some of the thread context in OpenMP programs can only be totally determined at runtime. However, by compiling time static analysis, nesting type can be partly determined and this information can be passed to other compiling phases to guide later translation and optimizations. Since the binding and nesting may span the procedure boundaries through calls, local and global analyses are not enough. It is the interprocedural analysis that provides the most required ability. By integrating information into traditional interprocedural analysis, the nesting type information of procedures is propagated along call graphs. And later translation and optimization phases can bind this global information with local information inside the procedure to determine the nesting types at compiling time. The results demonstrate that in typical science and engineering workload the nesting type is highly determinable at compiling time, and the application of this information may achieve less runtime overhead and the reduced code size.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利