计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
14期
14-16,45
,共4页
肖健宇%张德运%陈海诠%董皓
肖健宇%張德運%陳海詮%董皓
초건우%장덕운%진해전%동호
静态程序切片%并发程序%切片算法%程序依赖图%执行证据
靜態程序切片%併髮程序%切片算法%程序依賴圖%執行證據
정태정서절편%병발정서%절편산법%정서의뢰도%집행증거
分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象,认为其原因是该算法对线程间数据依赖的定义过于粗糙,且对程序行为约束不够.该文提出一种新算法,在并发程序内部表示中,增加跨线程边界循环-承载数据依赖,并引入区域化执行证据约束程序行为.实例研究表明,该算法克服了Krinke算法的不精确现象.
分析瞭Krinke切片算法對循環體內嵌套有線程的程序結構會產生切片不精確的現象,認為其原因是該算法對線程間數據依賴的定義過于粗糙,且對程序行為約束不夠.該文提齣一種新算法,在併髮程序內部錶示中,增加跨線程邊界循環-承載數據依賴,併引入區域化執行證據約束程序行為.實例研究錶明,該算法剋服瞭Krinke算法的不精確現象.
분석료Krinke절편산법대순배체내감투유선정적정서결구회산생절편불정학적현상,인위기원인시해산법대선정간수거의뢰적정의과우조조,차대정서행위약속불구.해문제출일충신산법,재병발정서내부표시중,증가과선정변계순배-승재수거의뢰,병인입구역화집행증거약속정서행위.실례연구표명,해산법극복료Krinke산법적불정학현상.
