SUIF2平台下MOD分析算法的设计与实现  

Design and Implementation of a MOD Analysis Algorithm in the SUIF2 Compiler Infrastructure

作　　者：马晓东[1] 徐厚峰[1] 王戟[1] 

机构地区：[1]并行与分布处理国家重点实验室,湖南长沙410073

出　　处：《计算机工程与科学》2009年第1期81-84,共4页Computer Engineering & Science

基　　金：国家自然科学基金资助项目(60725206;60673118;90612009);国家863计划资助项目(2006AA01Z429);国家973计划资助项目(2005CB321802);新世纪优秀人才计划资助项目(NCET-04-0996)

摘　　要：MOD问题是指在进行过程调用时哪些信息可能在被调用的过程中被修改。针对C语言,本文提出了一种基于流敏感、上下文敏感指针分析结果的MOD分析算法。该算法通过计算表达式在指向图中的左值,得到所有可能被修改的内存位置,从而计算出所有可能在被调用过程中被修改的表达式。我们在SUIF2平台下实现了该算法,得到了预期的实验结果。MOD（modification side-effects） denotes what is modified as a side effect of calling the target procedure. This paper proposes a MOD analysis algorithm for the C programs. It is based on the results of a flow- and context- sensitive pointer analysis. Through computing the l-value of an expression in the points-to graph, we get all the modified memory locations. Thus we can get all the expressions that may be modified in the called procedure We have implemented our algorithm in the SUIF2 compiler infrastructure and obtained the expected experimental results.

关 键 词：MOD分析 指向图 指针分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]