期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种并发程序依赖性分析方法
被引量：
13
1
作者
陈振强
徐宝文
《计算机研究与发展》
EI
CSCD
北大核心
2002年第2期159-164,共6页
并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段.由于并发程序执行的不确定性,目前,尚有很多难点有待解决.针对Ada任务机制,首先提出了一种简洁、有效的并发程序表示方法——并发程序流图,然后讨论了由任务间...
并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段.由于并发程序执行的不确定性,目前,尚有很多难点有待解决.针对Ada任务机制,首先提出了一种简洁、有效的并发程序表示方法——并发程序流图,然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务间数据依赖,建立了并发程序依赖图,并在此基础上给出了一种有效的并发程序依赖性分析算法,得到一个比较精确的依赖集,较好地解决了并发程序依赖关系不可传递性问题.
展开更多
关键词
并发程序流图
并发程序
依赖
图
依赖性分析
面向对象
在线阅读
下载PDF
职称材料
题名
一种并发程序依赖性分析方法
被引量：
13
1
作者
陈振强
徐宝文
机构
东南大学计算机科学与工程系
武汉大学软件工程国家重点实验室
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第2期159-164,共6页
基金
国家自然科学基金(60073012)
江苏省自然科学基金(BK2001004)
+4 种基金
江苏省科技攻关项目(BE2001025)
江苏省三三三人才基金
高等学校重点实验室访问学者基金
南京大学软件新技术国家重点实验室基金
武汉大学软件工程国家重点实验室开放基金
文摘
并发程序的依赖性分析是并发程序分析、理解、调试、测试和维护的重要手段.由于并发程序执行的不确定性,目前,尚有很多难点有待解决.针对Ada任务机制,首先提出了一种简洁、有效的并发程序表示方法——并发程序流图,然后讨论了由任务间同步引起的同步依赖和由访问共享变量引起的任务间数据依赖,建立了并发程序依赖图,并在此基础上给出了一种有效的并发程序依赖性分析算法,得到一个比较精确的依赖集,较好地解决了并发程序依赖关系不可传递性问题.
关键词
并发程序流图
并发程序
依赖
图
依赖性分析
面向对象
Keywords
concurrency
concurrent program flow graph
concurrent program dependence graph
dependence analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种并发程序依赖性分析方法
陈振强
徐宝文
《计算机研究与发展》
EI
CSCD
北大核心
2002
13
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
