| 一种基于程序可达图的并发程序依赖性分析方法 |
| |
| 引用本文： | 戚晓芳,徐宝文,周晓宇.一种基于程序可达图的并发程序依赖性分析方法[J].电子学报,2007,35(2):287-291. |
| |
| 作者姓名： | 戚晓芳 徐宝文 周晓宇 |
| |
| 作者单位： | 东南大学计算机科学与工程学院,江苏南京,210096;东南大学计算机科学与工程学院,江苏南京,210096;江苏省软件质量研究所,江苏南京,210096 |
| |
| 摘 要： | 依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制,本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上,从全局分析并发程序的依赖关系,构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比,MSDG图中依赖关系不仅精确,且具有可传递性,对其遍历可获得高精度的并发程序切片,精度和效率较其它高精度切片方法有显著提高.
|
| 关 键 词： | 并发程序 可达性分析 依赖性分析 程序切片 |
| 文章编号： | 0372-2112（2007）02-0287-05 |
| 收稿时间： | 2006-01-04 |
| 修稿时间： | 2006-01-042006-10-19 |
An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs |
| |
| QI Xiao-fang,XU Bao-wen,ZHOU Xiao-yu.An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs[J].Acta Electronica Sinica,2007,35(2):287-291. |
| |
| Authors: | QI Xiao-fang XU Bao-wen ZHOU Xiao-yu |
| |
| Institution: | 1. College of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2. Jiangsu Institute of Software Quality,Nanjing,Jiangsu 210096,China |
| |
| Abstract: | Dependence analysis is an important technique to analyze programs.This paper proposes a novel representation for multi-threaded programs with shared variables,which is called thread interaction reachability graph(tIRG).Based on tIRG,dependences in concurrent programs are analyzed globally and a new dependence graph called MSDG,which vertex is a 2-tuple composed of program state and statement,is constructed.Compared with traditional concurrent program dependence graph which vertex is statement,dependence relation in MSDG is precise and transitive.In contrast to other high-precision slicing methods,more precise slice will be obtained efficiently by traversing MSDG. |
| |
| Keywords: | concurrent programs reachability analysis dependence analysis program slicing |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子学报》浏览原始摘要信息 |
| 点击此处可从《电子学报》下载免费的PDF全文 |
|
