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

共 12 条

[1]

[Anonymous], INT C ADV PAR DISTR

[2]

CHENG J, 1994, LNCS, V749

[3] THE PROGRAM DEPENDENCE GRAPH AND ITS USE IN OPTIMIZATION [J].

FERRANTE, J ;

OTTENSTEIN, KJ ;

WARREN, JD .

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (03) :319-349

[4]

HORWITZ S, 1992, P 14 INT C SOFTW ENG, P392

[5]

HORWITZ S, 1990, ACM T PROGR LANG SYS, V12, P35

[6]

*ISO IEC, 1995, 86521995E ISOIEC

[7] Static slicing of threaded programs [J].

Krinke, J .

ACM SIGPLAN NOTICES, 1998, 33 (07) :35-42

[8]

Kuck David J., 1981, P 8 ACM SIGPLAN SIGA, P207, DOI DOI 10.1145/567532.567555

[9]

NAUMOVICH G, 1998, ACM P 6 INT S FDN SO

[10] A FORMAL MODEL OF PROGRAM DEPENDENCES AND ITS IMPLICATIONS FOR SOFTWARE TESTING, DEBUGGING, AND MAINTENANCE [J].

PODGURSKI, A ;

CLARKE, LA .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) :965-979

← 1 2 →