发明授权
CN104679484B 一种并发分析方法及装置
失效 - 权利终止
- 专利标题: 一种并发分析方法及装置
-
申请号: CN201310617816.4申请日: 2013-11-27
-
公开(公告)号: CN104679484B公开(公告)日: 2018-02-06
- 发明人: 陈聪明 , 霍玮 , 李丰 , 冯晓兵
- 申请人: 华为技术有限公司 , 中国科学院计算技术研究所
- 申请人地址: 广东省深圳市龙岗区坂田华为总部办公楼
- 专利权人: 华为技术有限公司,中国科学院计算技术研究所
- 当前专利权人: 华为技术有限公司,中国科学院计算技术研究所
- 当前专利权人地址: 广东省深圳市龙岗区坂田华为总部办公楼
- 代理机构: 深圳市深佳知识产权代理事务所
- 代理商 王仲凯
- 主分类号: G06F9/44
- IPC分类号: G06F9/44 ; G06F17/30 ; G06F11/36
摘要:
本发明公开了一种并发分析方法及装置,包括:获取程序控制流图,其中,在所述程序控制流图中,线程创建节点为所述线程创建节点所创建的线程的开始节点的直接前驱节点,计算程序控制流图中每个线程的开始节点的初始并发节点集合、每个线程创建节点的直接后继节点的初始并发节点集合、以及每个线程终止节点的直接后继节点的初始无法并发节点集合,初始化程序控制流图的首节点的并发节点集合,从程序控制流图的首节点开始向下遍历,在遍历过程中,根据继承规则计算出遍历到的每个节点的并发节点集合,由于一次遍历即得到每个节点的并发节点集合,运算简单且运算量小,实现了提高并发分析效率的目的。
公开/授权文献
- CN104679484A 一种并发分析方法及装置 公开/授权日:2015-06-03