一种并发程序依赖性分析方法

并发程序的依赖性分析是并发程序分析，理解，调试，测试和维护的重要手段，由于并发程序执行的不确定性，目前，尚有很多难点有待解决，针对Ada任务机制，首先提出了一种简洁，有效的并发程序表示方法－并发程序流图，然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务数据依赖，建立了并发程序依赖图，并在此基础上给出了一种有效的并发程序依赖性分析算法，得到一个比较精确的依赖性，较好地解决了并发程序依赖关系不可传递性问题。

AN APPROACH TO ANALYZING DEPENDENCE OF CONCURRENT PROGRAMS

Dependence analysis is an important approach to analyzing and understanding programs, which has been widely used in debugging, testing, measurement, maintenance and reverse engineering. With more and more programs being concurrent, the methods to analyze dependencies for concurrent programs have become an important research field. But there are many difficulties to be solved because their executions are unpredicted. First proposed is a precise and efficient representation for concurrent Ada tasks-concurrent control flow graph. Then discussed are the synchronal dependencies introduced by synchronization among tasks and inter task data dependencies introduced by accessing shared variables. And methods are given to construct the concurrent program dependence graphs to represent all kinds of dependencies. Based on these models, an efficient dependence analysis algorithm for concurrent programs is presented, which can obtain more precise dependence information, and resolve the intransitivity problem in some degree.