基于控制流的多線程程序的靜態切片算法
2003-04-29 15:31:05張晶金成植
吉林大學學報(理學版) 2003年4期
張 晶 金成植
提要：介紹一種基于控制流的多線程程序的靜態切片算法，該算法的主要思想是在構造多線程程序依賴圖的同時保留程序的控制流信息，利用這些信息能夠判斷出程序中的多線程可實現路徑，從而提高多線程程序靜態切片的精度和效率．最后給出一個多線程切片的實例，
關鍵詞：多線程程序；程序依賴圖；程序切片；切片算法
中圖分類號：TP312
文獻標識碼：A
文章編號：167l—5489(2003)04—048l—06
