基于控制流的多线程程序的静态切片算法

• 作者: 张晶 金成植
• 来源期刊: 吉林大学学报(理学版)
• 学科: 工学
• 关键词: 多线程程序 程序依赖图 程序切片 切片算法
• 年，卷（期）: 2003,（4）
• 页码范围: 481-486
• 页数: 6页
• 分类号: TP312
• 字数: 5273字
• 语种: 中文
• DOI: 10.3321/j.issn:1671-5489.2003.04.013

摘要

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晶	吉林大学计算机科学与技术学院	162	516	10.0	15.0
2	金成植	吉林大学计算机科学与技术学院	27	94	4.0	8.0