首页 | 本学科首页   官方微博 | 高级检索  
     

一种并发程序依赖性分析方法
引用本文:陈振强,徐宝文. 一种并发程序依赖性分析方法[J]. 计算机研究与发展, 2002, 39(2): 159-164
作者姓名:陈振强  徐宝文
作者单位:1. 东南大学计算机科学与工程系,南京,210096
2. 东南大学计算机科学与工程系,南京,210096;武汉大学软件工程国家重点实验室,武汉,430072
基金项目:国家自然科学基金(60 0 73 0 12 ),江苏省自然科学基金 (BK2 0 0 10 0 4),江苏省科技攻关项目 (BE2 0 0 10 2 5 ),江苏省三三三人才基金,高等学校重点实验室访问学者基金,南京大学软件新技术国家重点实验室基金,武汉大学软件工程国家重点实验室开放基金
摘    要:并发程序的依赖性分析是并发程序分析,理解,调试,测试和维护的重要手段,由于并发程序执行的不确定性,目前,尚有很多难点有待解决,针对Ada任务机制,首先提出了一种简洁,有效的并发程序表示方法-并发程序流图,然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务数据依赖,建立了并发程序依赖图,并在此基础上给出了一种有效的并发程序依赖性分析算法,得到一个比较精确的依赖性,较好地解决了并发程序依赖关系不可传递性问题。

关 键 词:并发程序流图 并发程序依赖图 依赖性分析 面向对象

AN APPROACH TO ANALYZING DEPENDENCE OF CONCURRENT PROGRAMS
Abstract: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.
Keywords:concurrency   concurrent program flow graph   concurrent program dependence graph  dependence analysis
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号