OpenMP指导语句全局嵌套类型的静态分析及应用.pdfVIP

1000-9825/2005/16(02)0194 ©2005 Journal of Software 软 件 学 报 Vol.16, No.2 ∗ OpenMP 指导语句全局嵌套类型的静态分析及应用 + 陈永健, 舒继武, 李建江, 王鼎兴 (清华大学 计算机科学与技术系 高性能计算研究所,北京 100084) Static Analysis of OpenMP Directive Nesting Types and Its Application + CHEN Yong-Jian , SHU Ji-Wu, LI Jian-Jiang, WANG Ding-Xing (Institute of High Performance Computation, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China) + Corresponding author: Phn: +86- 10ext 1950, Fax: +86-10 E-mail: chenyj 99@ Received 2003-12-18; Accepted 2004-07-21 Chen YJ, Shu JW, Li JJ, Wang DX. Static analysis of OpenMP directive nesting types and its application. Journal of Software, 2005,16(2):194−204. /1000-9825/16/194.htm Abstract: 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 compi