Invention Publication
CN104679484A 一种并发分析方法及装置
失效 - 权利终止
- Patent Title: 一种并发分析方法及装置
- Patent Title (English): Concurrence analysis method and device
-
Application No.: CN201310617816.4Application Date: 2013-11-27
-
Publication No.: CN104679484APublication Date: 2015-06-03
- Inventor: 陈聪明 , 霍玮 , 李丰 , 冯晓兵
- Applicant: 华为技术有限公司 , 中国科学院计算技术研究所
- Applicant Address: 广东省深圳市龙岗区坂田华为总部办公楼
- Assignee: 华为技术有限公司,中国科学院计算技术研究所
- Current Assignee: 华为技术有限公司,中国科学院计算技术研究所
- Current Assignee Address: 广东省深圳市龙岗区坂田华为总部办公楼
- Agency: 深圳市深佳知识产权代理事务所
- Agent 王仲凯
- Main IPC: G06F9/44
- IPC: G06F9/44 ; G06F17/30 ; G06F11/36

Abstract:
本发明公开了一种并发分析方法及装置,包括:获取程序控制流图,其中,在所述程序控制流图中,线程创建节点为所述线程创建节点所创建的线程的开始节点的直接前驱节点,计算程序控制流图中每个线程的开始节点的初始并发节点集合、每个线程创建节点的直接后继节点的初始并发节点集合、以及每个线程终止节点的直接后继节点的初始无法并发节点集合,初始化程序控制流图的首节点的并发节点集合,从程序控制流图的首节点开始向下遍历,在遍历过程中,根据继承规则计算出遍历到的每个节点的并发节点集合,由于一次遍历即得到每个节点的并发节点集合,运算简单且运算量小,实现了提高并发分析效率的目的。
Public/Granted literature
- CN104679484B 一种并发分析方法及装置 Public/Granted day:2018-02-06
Information query