计算机科学与探索
計算機科學與探索
계산궤과학여탐색
JOURNAL OF FRONTIERS OF COMPUTER SCIENCE & TECHNOLOGY
2012年
3期
257-266
,共10页
并发程序%原型系统%依赖性分析%程序切片
併髮程序%原型繫統%依賴性分析%程序切片
병발정서%원형계통%의뢰성분석%정서절편
并发程序切片是并发程序分析的一种重要手段.针对多线程共享变量通信机制,在通过程序分析工具CodeSurfer获取程序基本信息的基础上构造程序可这图,生成以程序状态和语句二元组为节点的并发程序依赖图,实现了基于程序可达图的并发程序切片原型系统.初步实验结果表明,与传统的切片方法相比,采用基于程序可达图的并发程序切片方法,可有效地解决依赖关系不可传递问题,获得高精度的并发程序切片.
併髮程序切片是併髮程序分析的一種重要手段.針對多線程共享變量通信機製,在通過程序分析工具CodeSurfer穫取程序基本信息的基礎上構造程序可這圖,生成以程序狀態和語句二元組為節點的併髮程序依賴圖,實現瞭基于程序可達圖的併髮程序切片原型繫統.初步實驗結果錶明,與傳統的切片方法相比,採用基于程序可達圖的併髮程序切片方法,可有效地解決依賴關繫不可傳遞問題,穫得高精度的併髮程序切片.
병발정서절편시병발정서분석적일충중요수단.침대다선정공향변량통신궤제,재통과정서분석공구CodeSurfer획취정서기본신식적기출상구조정서가저도,생성이정서상태화어구이원조위절점적병발정서의뢰도,실현료기우정서가체도적병발정서절편원형계통.초보실험결과표명,여전통적절편방법상비,채용기우정서가체도적병발정서절편방법,가유효지해결의뢰관계불가전체문제,획득고정도적병발정서절편.
