An approach to analyzing dependency of concurrent programs

被引：9

作者：

Chen, ZQ ^{[1
]}

Xu, BW ^{[1
]}

Liu, KC ^{[1
]}

Yang, HJ ^{[1
]}

Zhang, JP ^{[1
]}

机构：

[1] Southeast Univ, Nanjing, Peoples R China

来源：

FIRST ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS | 2000年

关键词：

concurrent program flow graph; concurrent program dependency graph; synchronal dependency;

D O I：

10.1109/APAQ.2000.883776

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Dependency analysis is an important approach to resting, understanding, maintaining and transforming concurrent programs. However because the execution process of concurrent programs is unpredictable, there are many problems to be solved when carrying out dependency analysis. In this paper Mie propose some models for constructing concurrent program flow graph and concurrent program dependency graph for Ada programs, and based on these models, present a dependency analysis algorithm.

引用

页码：39 / 43

页数：5