程序中死锁检测的方法和工具

• 作者: 程雪梅 翟宇鹏
• 来源期刊: 现代计算机
• 关键词: 死锁检测 模型检测 文献计量分析
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 实践与经验
• 页码范围: 41-44,53
• 页数: 5页
• 字数: 3188字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-1423.2017.03.011

摘要

死锁一直都是并发系统中最重要的问题之一,对死锁检测的研究一直都在不断地进行着.模型检测方法是一种重要的自动验证技术,越来越多地被用在验证软硬件设计是否规范的工作中.针对死锁检测的问题进行综述,统计已有的死锁检测方法的文献资料并给出统计结果.然后对搜集出来的文献进行分析,介绍许多动态以及静态的死锁检测方法.最后介绍两种常用的模型检测工具,提出使用模型检测工具进行死锁检测的思路与方法,并证实这种方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程雪梅	四川大学计算机学院	7	8	2.0	2.0
2	翟宇鹏	四川大学计算机学院	4	3	1.0	1.0