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

• 作者: 张德运 肖健宇 董皓 陈海诠
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 静态程序切片 并发程序 切片算法 程序依赖图 执行证据
• 年，卷（期）: 2006,（14）
• 所属期刊栏目: 博士论文
• 页码范围: 14-16,45
• 页数: 4页
• 分类号: TP311.1
• 字数: 4093字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.14.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张德运	西安交通大学电子与信息工程学院	184	2190	23.0	37.0
2	肖健宇	西安交通大学电子与信息工程学院	13	83	6.0	8.0
4	陈海诠	西安交通大学电子与信息工程学院	8	67	5.0	8.0
5	董皓	西安交通大学电子与信息工程学院	12	83	6.0	9.0