期刊文献+

操作系统中的死锁检测 被引量:1

Deadlock Detection in Operating System
下载PDF
导出
摘要 本文提供了一种检测操作系统中死锁的方法.该方法包含三个步骤:(1)通过检测进程加锁与解锁是否匹配来获得锁的持有者;(2)从异常进程中筛选出锁的等待者;(3)通过检查锁的持有者与等待者是否会形成循环等待图来判定死锁.通过实验发现,该方法对系统性能的影响小于1%,而且不需要修改内核源码和源程序. This paper introduces a method to detect operating system deadlock. The method consists of three stages: (1) finding the lock-holders by detecting whether the locks and unlocks are paired. (2) finding the lock-waiters by filtering the abnormal process. (3) the method will occur deadlock warning if there is a cycle in the waits-for graph. The results show that the method has only 1% influence to the performance, and does not need to modify Linux kernel and detected program source code.
作者 张海鹏 李曦
出处 《计算机系统应用》 2013年第10期14-18,共5页 Computer Systems & Applications
基金 国家自然科学基金(61272131 61202053) 江苏省自然科学基金(SBK201240198)
关键词 操作系统 死锁检测 并发程序 异常进程 operating system deadlock detection concurrent programs abnormal processes
  • 相关文献

参考文献11

  • 1Ryzhyk L, Chubb P,Kuz I,Heiser G Dingo: Taming devicedrivers. Proc. of the 4th ACM European Conference onComputer Systems. 2009. 275-288. 被引量:1
  • 2Lu S. Learning from mistakes:a comprehensive study on realworld concurrency bug characteristics. ACM SIGARCHComputer Architecture News 36.1,2008: 329-339. 被引量:1
  • 3Williams A,William T, Ernst MD. Static deadlock detectionfor Java libraries. ECOOP 2005-0bject-0rientedProgramming. Springer Berlin Heidelberg, 2005: 602 -629. 被引量:1
  • 4Dawson E, Ashcraft K. RacerX:efifective, static detection ofrace conditions and deadlocks. ACM SIGOPS OperatingSystems Review 37.5, 2003: 237-252. 被引量:1
  • 5Havelund K. Using runtime analysis to guide model checkingof java programs. 7th International SPIN Workshop onModel Checking and Software Verification. 2000. 245-264. 被引量:1
  • 6Joshi P, Naik M, Sen K. An effective dynamic analysis fordetecting generalized deadlocks. Proc. of the EighteenthACM SIGSOFT International Symposium on Foundations ofSoftware Engineering(FSE510). 2010. 327-336. 被引量:1
  • 7Bensalem S, Havelund K. Scalable dynamic deadlockanalysis of multi-threaded programs. PADTAD, 2005. 被引量:1
  • 8Joshi P, Park CS, Sen K,Naik M. A randomized dynamicprogram analysis technique for detecting real deadlocks.ACM Sigplan Notices, 2009: 110-120. 被引量:1
  • 9Tong L, Ellis CS, Lebeck AR, Sorin DJ. Pulse: A dynamicdeadlock detection mechanism using speculative execution.Proc. of the 2005 USENIX Technical Conference. 2005.31-44. 被引量:1
  • 10Jual H, TralamazzaD, ZamfirC. Deadlock immunity:Enabling systems to defend against deadlocks. OSDI, 2008:295-308. 被引量:1

同被引文献5

引证文献1

二级引证文献6

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部