一种改进的并发程序静态切片算法

摘要：

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

关键词：静态程序切片、并发程序、切片算法、程序依赖图、执行证据

所属期刊栏目：32

分类号：TP311.1(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划8633010503

在线出版日期：2006-08-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：14-16,45