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

文章编号：1007—1423(2017)03—0041—04 DOI：10．3969~．issn．1007-1423．2017．03．Ol1 程序 中死锁检测的方法和工具 翟宇鹏 ．程雪梅 (四川大学计算机学院，成都 610065) 摘要 ： 死锁一直都是并发系统中最重要的问题之一．对死锁检测的研究一直都在不断地进行着 。模型检测方法是一种重要 的 自动验证技术．越来越多地被用在验证软硬件设计是否规范的工作中。针对死锁检测的问题进行综述，统计 已有的 死锁检测方法的文献资料并给出统计结果。然后对搜集出来的文献进行分析，介绍许多动态 以及静态的死锁检测方 法。最后介绍两种常用的模型检测工具．提出使用模型检i赆4工具进行死锁检测的思路与方法，并证实这种方法的可行 性 。 关键词 ： 死锁检测；模型检测；文献计量分析 基金项 目： 四川省应用基础研究项 目(No．2014JY0112) 0 引言 分析．并对统计的数据进行了描述 ．以及通过计量分析 来找出这方面研究领域的热点 随着计算机行业的不断发展．软件规模和复杂度 因为近 10年的论文更能体现出研究的正确方 向． 也在不断扩大．软件故障已成为计算机系统出错和崩 所 以对于论文时间进行分析．得知最近 10年每年论文 溃的主要因素 死锁 lJ【是分布式系统以及集成式系统中 发表量随着时间在平缓地增多 ．可知对于这方面问题 的最重要的问题之一．也是影响软件安全的主要因素 的研究总体保持在增长的状态 死锁会导致程序无法正常运行或终止 ．甚至导致系统 对作者进行统计．分析得知高产的作者只占少数． 崩溃 ，带来不必要的损失。同时，死锁的运行状态空间 只有少数的作者对这方面领域 的研究 比较深入 ．提出 过大 ．难于重现和修正等 问题使其成为软件领域的难 的观点也具有指导的意义 题之一 ，因此，如何有效地检测死锁，提高软件的可靠性 对论文的引文类型的进行分析 ．得知绝大多数来 和安全性 ，成为急需解决的问题 。 自会议论文或者期刊论文 这也属于一般的论文来源 本文针对 10年 内国内外各知名数据库中与死锁 规律 ．指导研究者应该在什么地方查阅文献或者将文 检测 以及模型检测相关 的论文进行查询、筛选、分类 、 献发布在什么地方 比较 、整理等 ，然后对整理好的论文进行总结 ，分析出 对论文中关键词进行了统计．其中系统恢复最多 死锁检测 的方法并进行罗列 比较 ．以及模型检测 的工 出现．因为死锁是系统中常出现的一类漏洞．系统恢复 具以及方法 ，从而再将二者结合．找出模型检测工具在 的过程也就包含了对死锁进行检测并处理的过程 关 死锁检测里的应用 键词中常出现的也包括算法一词．这也表示对于死锁 1 文献计量分析 的检测，很