10.3969/j.issn.1000-3428.2016.04.001
基于Petri网的多线程程序死锁检测
针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测.定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁.实验结果表明,改进MIP算法能够检测到Petri网模型中的死锁,与标志矩阵算法和可达图相比,处理大规模多线程程序时计算效率更高.
多线程程序、锁操作、Petri网、混合整数规划、死锁检测
42
TP391.9(计算技术、计算机技术)
安徽省自然科学基金资助项目“基于GPU集群的深度神经网络并行部署和优化策略研究”1408085MKL06
2016-08-08(万方平台首次上网日期,不代表论文的发表时间)
共6页
1-6