微电子学与计算机
微電子學與計算機
미전자학여계산궤
MICROELECTRONICS & COMPUTER
2006年
1期
6-10
,共5页
肖健宇%张德运%陈海诠%董皓
肖健宇%張德運%陳海詮%董皓
초건우%장덕운%진해전%동호
静态程序切片%并发程序%程序依赖图%循环-承载数据依赖
靜態程序切片%併髮程序%程序依賴圖%循環-承載數據依賴
정태정서절편%병발정서%정서의뢰도%순배-승재수거의뢰
分析了Krinke切片算法,发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象,原因是Krinke算法的数据结构所定义的线程间数据依赖关系过于粗糙,相应的切片算法对程序执行路径的合法性约束不够严格.提出一种改进的并发程序依赖图,引入踌线程边界循环-承载数据依赖关系.给出了添加跨线程边界循环-承载数据依赖关系的算法.实例分析表明,作用在新的并发程序依赖图上的切片算法克服了Krinke算法的切片不精确现象.
分析瞭Krinke切片算法,髮現噹對程序循環體內嵌套有一箇或多箇線程的結構時會產生切片不精確的現象,原因是Krinke算法的數據結構所定義的線程間數據依賴關繫過于粗糙,相應的切片算法對程序執行路徑的閤法性約束不夠嚴格.提齣一種改進的併髮程序依賴圖,引入躊線程邊界循環-承載數據依賴關繫.給齣瞭添加跨線程邊界循環-承載數據依賴關繫的算法.實例分析錶明,作用在新的併髮程序依賴圖上的切片算法剋服瞭Krinke算法的切片不精確現象.
분석료Krinke절편산법,발현당대정서순배체내감투유일개혹다개선정적결구시회산생절편불정학적현상,원인시Krinke산법적수거결구소정의적선정간수거의뢰관계과우조조,상응적절편산법대정서집행로경적합법성약속불구엄격.제출일충개진적병발정서의뢰도,인입주선정변계순배-승재수거의뢰관계.급출료첨가과선정변계순배-승재수거의뢰관계적산법.실례분석표명,작용재신적병발정서의뢰도상적절편산법극복료Krinke산법적절편불정학현상.