一种改进的用于并发程序静态切片的程序依赖图

• 作者: 张德运 肖健宇 董皓 陈海诠
• 来源期刊: 微电子学与计算机
• 关键词: 静态程序切片 并发程序 程序依赖图 循环-承载数据依赖
• 年，卷（期）: 2006,（1）
• 页码范围: 6-10
• 页数: 5页
• 分类号: TP311.1
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.01.002

摘要

分析了Krinke切片算法,发现当对程序循环体内嵌套有一个或多个线程的结构时会产生切片不精确的现象,原因是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