%0 Journal Article %A 黄理 %A 顾乃杰 %A 曹华雄 %T 基于Petri网的多线程程序死锁检测 %D 2016 %R 10.3969/j.issn.1000-3428.2016.04.001 %J 计算机工程 %P 1-6 %V 42 %N 4 %X 针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测。定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁。实验结果表明,改进MIP算法能够检测到Petri网模型中的死锁,与标志矩阵算法和可达图相比,处理大规模多线程程序时计算效率更高。 %U http://www.ecice06.com/CN/10.3969/j.issn.1000-3428.2016.04.001