基于Petri网的多线程程序死锁检测

• 作者: 曹华雄 顾乃杰 黄理
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 多线程程序 锁操作 Petri网 混合整数规划 死锁检测
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 1-6
• 页数: 6页
• 分类号: TP391.9
• 字数: 6261字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.04.001

摘要

针对并发程序中死锁检测困难的问题,基于Petri网对多线程程序进行死锁检测.定义抽象描述多线程程序中锁操作的Petri网模型,在现有基于混合整数规划(MIP)的死锁检测算法基础上,提出改进的MIP算法检测该模型中是否存在死锁.实验结果表明,改进MIP算法能够检测到Petri网模型中的死锁,与标志矩阵算法和可达图相比,处理大规模多线程程序时计算效率更高.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	顾乃杰	中国科学技术大学计算机科学与技术学院	83	347	9.0	12.0
10	黄理	中国科学技术大学计算机科学与技术学院	3	6	1.0	2.0