一种改进的并发程序静态切片算法 (2006年)

【文件属性】：

文件名称：一种改进的并发程序静态切片算法 (2006年)

文件大小：335KB

文件格式：PDF

更新时间：2024-06-15 04:47:04

工程技术 论文

分析了Krinke切片算法对循环体内嵌套有线程的程序结构会产生切片不精确的现象，认为其原因是该算法对线程间数据依赖的定义过于粗糙，且对程序行为约束不够。该文提出一种新算法，在并发程序内部表示中，增加跨线程边界循环-承载数据依赖，并引入区域化执行证据约束程序行为。实例研究表明，该算法克服了Krinke算法的不精确现象。