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

戚晓芳; 徐宝文; 周晓宇

您当前的位置：

首页 >

文章列表页 >

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

论文 | 更新时间：2025-07-16

- 一种基于程序可达图的并发程序依赖性分析方法
- An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs
- 电子学报 2007年35卷第2期页码：287-291
- 作者机构：
  
  1. 东南大学计算机科学与工程学院,江苏,南京,210096
  2. 江苏省软件质量研究所,江苏,南京,210096
  3. 东南大学计算机科学与工程学院江苏南京,210096
  4. 江苏省软件质量研究所江苏南京,210096
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.60373066,No.60425206)
- DOI：
  中图分类号： TP311
- 纸质出版：2007
- 稿件说明：
移动端阅览
戚晓芳, 徐宝文, 周晓宇. 一种基于程序可达图的并发程序依赖性分析方法[J]. 电子学报, 2007,35(2):287-291.

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.
戚晓芳, 徐宝文, 周晓宇. 一种基于程序可达图的并发程序依赖性分析方法[J]. 电子学报, 2007,35(2):287-291. DOI：

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. DOI：

摘要

依赖性分析是一种重要的程序分析手段.针对多线程共享变量通信机制

本文在提出一种新的并发程序表示—线程交互可达图(tIRG)的基础上

从全局分析并发程序的依赖关系

构建了以程序状态和语句二元组为节点的并发程序依赖图(MSDG).与传统的以语句为节点的并发程序依赖图相比

MSDG图中依赖关系不仅精确

且具有可传递性

对其遍历可获得高精度的并发程序切片

精度和效率较其它高精度切片方法有显著提高.

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

references

浏览量

1683

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

P-Slicer：面向路径表示学习的程序切片方法

基于Petri网的安全协议形式化分析