一种基于程序可达图的并发程序依赖性分析方法

• 作者: 周晓宇 徐宝文 戚晓芳
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 并发程序 可达性分析 依赖性分析 程序切片
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 学术论文
• 页码范围: 287-291
• 页数: 5页
• 分类号: TP311
• 字数: 6397字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2007.02.022

摘要

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示-线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐宝文	东南大学计算机科学与工程学院	118	3034	31.0	51.0
5	周晓宇	东南大学计算机科学与工程学院	22	678	12.0	22.0
9	戚晓芳	东南大学计算机科学与工程学院	11	136	6.0	11.0