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

Methods and Tools of Program Deadlock Detection

作　　者：翟宇鹏 程雪梅[1] ZHAI Yu-peng CHENG Xue-mei(College of Computer Science, Sichuan University, Chengdu 610065)

机构地区：[1]四川大学计算机学院,成都610065

出　　处：《现代计算机》2017年第2期41-44,53,共5页Modern Computer

基　　金：四川省应用基础研究项目(No.2014JY0112)

摘　　要：死锁一直都是并发系统中最重要的问题之一,对死锁检测的研究一直都在不断地进行着。模型检测方法是一种重要的自动验证技术,越来越多地被用在验证软硬件设计是否规范的工作中。针对死锁检测的问题进行综述,统计已有的死锁检测方法的文献资料并给出统计结果。然后对搜集出来的文献进行分析,介绍许多动态以及静态的死锁检测方法。最后介绍两种常用的模型检测工具,提出使用模型检测工具进行死锁检测的思路与方法,并证实这种方法的可行性。Deadlock is always one of the most important problems in concurrent system, and the study of deadlock detection has never been stopped.Model checking is an important technology of automatic verification, is increasingly being used in the verification of software and hard-ware design of whether the specification. Reviews on the problems aiming at deadlock detection, first reviews the deadlock detection method of statistical work, the existing literature and gives the statistical results. Then analyzes the collection of literature, proposes the dynamic as well as static deadlock detection method. Finally, introduces two kinds of common model checking tools, and then describes the use of model checking tool of thoughts and methods for the detection of deadlocks, and confirms the feasibility of this method.

关 键 词：死锁检测 模型检测 文献计量分析 

分 类 号：TP311.53[自动化与计算机技术—计算机软件与理论]