计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
3期
54-57,77
,共5页
控制流图%迭代算法%位向量%支配关系
控製流圖%迭代算法%位嚮量%支配關繫
공제류도%질대산법%위향량%지배관계
支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛.采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPEC2000测试集上进行了测试.测试结果表明:控制流图的构建占用了过程内支配关系计算的几乎一半时间;对于不包含goto语句的结构化程序,迭代算法一般只需迭代2次.
支配關繫在數據流分析和靜態單賦值等程序分析和優化中應用很廣汎.採用位嚮量錶示支配結點集閤,描述瞭採用迭代法計算控製流圖上支配結點集閤的算法,在支配結點集閤的基礎上討論瞭對直接支配結點、支配邊界結點的計算方法,併在NPB和SPEC2000測試集上進行瞭測試.測試結果錶明:控製流圖的構建佔用瞭過程內支配關繫計算的幾乎一半時間;對于不包含goto語句的結構化程序,迭代算法一般隻需迭代2次.
지배관계재수거류분석화정태단부치등정서분석화우화중응용흔엄범.채용위향량표시지배결점집합,묘술료채용질대법계산공제류도상지배결점집합적산법,재지배결점집합적기출상토론료대직접지배결점、지배변계결점적계산방법,병재NPB화SPEC2000측시집상진행료측시.측시결과표명:공제류도적구건점용료과정내지배관계계산적궤호일반시간;대우불포함goto어구적결구화정서,질대산법일반지수질대2차.
