• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊> 《计算机集成制造系统》 >基于程序运行轨迹Petri网模型挖掘的死锁检测方法

基于程序运行轨迹Petri网模型挖掘的死锁检测方法

         
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

程序死锁检测对于保证软件系统的稳定性具有重要作用.动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究.然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及其执行场景进行准确刻画,从而会导致误报现象.针对该问题,提出一种新型的基于程序运行轨迹Petri网模型挖掘的多线程程序动态死锁分析方法.首先,捕获程序运行轨迹中各类并发原语对应的操作,并据此构建程序的Petri网模型;然后,将程序的死锁检测问题转化为程序伴随Petri网模型的死标识检测问题;最后,在传统可达树基础上,计算并扩充了可用于死锁重演的程序调度方案.所提方法能排除更多的误报,并给出一种确定性的死锁重演方案,可有效提高死锁检测的准确性.

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号