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

更新时间：2025-07-16

- An Approach to Analyzing Dependence of Concurrent Programs Based on Program Reachability Graphs
- Acta Electronica Sinica Vol. 35, Issue 2, Pages: 287-291(2007)
- 作者机构：
  
  1. 东南大学计算机科学与工程学院,江苏,南京,210096
  2. 江苏省软件质量研究所,江苏,南京,210096
  3. 东南大学计算机科学与工程学院江苏南京,210096
  4. 江苏省软件质量研究所江苏南京,210096
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published：2007
- 稿件说明：
移动端阅览
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：

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

Views

1683

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

P-Slicer: A Program Slicing Approach Based on Learning Path Representations

Formal Analysis of Security Protocols Using Petri Nets

Related Author

LIU Tian-yang

SHI Jian-jun

YE Jia-wei

JI Wei-xing

LIU Dao-bin

Guo Li

BAI Shuo

Related Institution

School of Computer Science and Technology, Beijing Institute of Technology

School of Artificial Intelligence, Beijing Normal University

Institute of Computing Technology,Chinese Academy of Sciences

⁰