发明公开

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