计算机工程2016，Vol.42Issue(4)：1-6,6.DOI:10.3969/j.issn.1000-3428.2016.04.001
基于Petri网的多线程程序死锁检测
Deadlock Detection in Multi-threaded Program Based on Petri Net
摘要
关键词
多线程程序/锁操作/Petri网/混合整数规划/死锁检测Key words
multi-threaded program/lock operation/Petri net/Mixed Integer Programming (MIP)/deadlock detection分类
信息技术与安全科学引用本文复制引用
黄理,顾乃杰,曹华雄..基于Petri网的多线程程序死锁检测[J].计算机工程,2016,42(4):1-6,6.基金项目
安徽省自然科学基金资助项目“基于GPU集群的深度神经网络并行部署和优化策略研究”(1408085MKL06). （1408085MKL06）
