Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications

Xiaofang Qi,Baowen Xu

doi:10.1007/978-3-540-24685-5_52

Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications

Xiaofang Qi, Baowen Xu

Open Access

https://doi.org/10.1007/978-3-540-24685-5_52

Copy DOI

Publication Date: Jan 1, 2004

Citations: 8

#Concurrent Programs #Program Dependence Graph + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

This paper presents task synchronization reachability graph(TSRG) for analyzing concurrent Ada programs. Based on TSRG, we can precisely determine synchronization activities in programs and construct a new type of program dependence graph, TSRG-based Program Dependence Graph(RPDG), which is more precise than previous program dependence graphs and solves the intransitivity problem of dependence relation in concurrent programs in some extent. Various applications of RPDG including program understanding, debugging, maintenance, optimization, measurement are discussed.

Full Text