死锁检测方法动态死锁检测方法.pptVIP

Company Logo LOGO 指导教师：洪玫 程序中死锁检测的方法与工具 学生：翟宇鹏 学号：1043111187 研究背景 研究意义 研究方法 计量分析结果 死锁检测方法 死锁检测工具 基于模型检测工具的死锁检测方法 总结 讲解流程 研究背景 研究背景: 随着计算机行业的飞速发展,软件的规模以及复杂度也是成几何倍的增长,也就出现了各式各样的软件故障.而这其中,死锁是最重要的问题之一,死锁会导致程序无法正常执行甚至崩溃,有时会带来巨大的不必要的损失. 研究意义 研究意义: 论文通过系统化文献综述方法针对死锁检测方面的知识进行了统计分析, 总结出了比较常用的检测方法以及工具,对这些方法以及工具进行了介绍以及比较,并且对死锁检测领域未来的研究趋势进行了预测。 综述的意义： 为其他做该领域研究的学者提供系统性的参考 为工业界选择合适的死锁检测方法提供了决策性的参考 为软件工程教材编写提供有用的参考 研究方法 本文采用了系统化文献评价方法对文献进行综述,系统文献综述包含3个主要阶段: 制定综述方案：主要进行综述需求分析，明确综述的目的，设计开展综述的规程，以指导后期的文献收集等工作； 开展综述：根据综述方案预定的目标，按照综述步骤进行文献收集，主要工作包括确定主要的文献来源、确定收录标准、实现文献质量评价、开展数据抽取与综合； 形成综述报告：对于综述进行总结。 开始 确定检索条件 进行文献检索 初步筛选，去除无关文献 使用工具进行统计分析 阅读摘要，进一步筛选 文献阅读，分类总结 完成论文 研究框架 研究方法 文献检索来源： 搜索引擎：IEEE Xplore、Google Scholar 数据库：IEEE Digital Library 文献筛选原则： 1.长文优于短文 2. 注意去重 3.学位论文只要博士论文 4.期刊只要EI和SCI论文 5.会议主要取国外会议 6.以英文论文为主 文献统计分析工具选择： EndNote：用来进行论文的筛选去重统计工作 Refvize：进行文献共词分析，热点分析工作 1.年限分析： 计量分析结果 论文数随着时间的增长也在平缓的增多，到2011年发表论文数量达到了最多。 可以发现对于这方面问题的研究总体保持在增长的状态。说明越来越多的学者投入了这方面的研究。 近10年论文发布数量 2.作者分析： 计量分析结果 大部分作者只是发布了一篇或者两篇论文，而3篇以上的作者只有50位，仅仅占了5.6% 高产的作者只占少数，尤其是发表论文数在5篇以上的10名作者，他们的对这方面领域的研究比较深入，提出的观点也具有指导的意义 作者发布论文情况 3.引文类型分析： 计量分析结果 论文基本都来自会议论文或者期刊论文，其中会议论文占大多数 属于一般的论文来源规律，指导研究者在什么地方查阅文献或者将文献发布在什么地方。 引文类型分布情况 4.关键词分析： 计量分析结果 系统恢复最多出现，因为死锁是系统中常出现的一类漏洞，系统恢复的过程也包含了对死锁进行检测并处理的过程 算法一词出现较多，表示对于死锁的检测，许多学者提出了相应的算法 另一个常出现的词则是分布式，这也是因为在分布式系统中死锁检测越来越多，也越来越被研究者们关注 前10个关键词 5.热点分析： 计量分析结果 distribute，deadlocks，algorithm共现的频率最高，表面死锁检测方面的研究热点主要为分布式系统中死锁检测算法一块，这一块有更多学者在进行研究 共词情况 model与deadlock也有着较高的共现频率，表面也有学者在进行将模型应用在死锁检测中。这为后面提出的使用模型检测方法进行死锁检测提供了一些理论的依据 死锁检测方法 静态死锁检测方法: 对于众多文献中研究者提出的各式各样死锁检测的方法,其中静态方法较少,从中选出2个较为成熟的方法进行介绍： SystemC中的静态死锁检测分析方法 提出者:Mikhail Moiseev 发表时间:2011 方法简介:方法运用了正式的程序模型，对算法进行有效的分析，从而找出死锁 SHIM并发语言中的静态死锁检测算法 提出者:Vasudevan 发表时间:2008 方法简介:建立SHIM程序的异步抽象模型，并用NuSMV符号模型检测器来检测模型中是否存在死锁，此方法能在系统运行前找到系统中存在的潜在的死锁。 死锁检测方法 动态死锁检测方法: 动态死锁检测方法相对较多，从中选出4个方法进行介绍： JAVA多线程程序中的死锁检测方法 提出者:Takao Shimomura等 发表时间:2013 方法简介:提出了 3 种