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