期刊文献+

一种系统级内存泄漏的自愈机制

A Self-healing Mechanism for Memory Leak in OS
下载PDF
导出
摘要 针对系统级内存泄漏问题,建立有限状态自动机相关问题模型,设计一种内存泄漏的自愈机制。该机制基于系统性能指标能够反映内存泄漏问题的假设,完成对内存泄漏的检测、诊断和恢复。实验结果表明所提假设的正确性,且该自愈机制对解决内存泄漏问题可行有效。 Aiming at the memory leak system level problems, This paper establishes the model about related issues of finite state automata, and designs a self-healing mechanism for memory leak. The mechanism reflects a hypothesis of the problem of leak based on the system performance metrics. Based on the hypothesis, we complete the detection, diagnosis and recovery of the memory leak in OS. The results of experiments show the validity of the hypothesis and the effectiveness of the self-healing mechanism.
出处 《计算机与现代化》 2014年第3期81-84,共4页 Computer and Modernization
基金 航空科学基金资助项目(20130753006) 航天科技创新基金资助项目(CASC201105) 西北工业大学校基础研究基金资助项目(JC20110283) 西北工业大学研究生创业种子基金资助项目(Z2013184)
关键词 有限状态自动机 模型 检测 诊断 恢复 finite state automata model detection diagnosis recovery
  • 相关文献

参考文献13

  • 1Francis M David, Roy H Campbell. Building a self-healing operating system [ C ]//The Third IEEE International Sym- posium on Dependable, Autonomic and Secure Computing. 2007:3-10.
  • 2Michael M Swift, Brian N Bershad, Henry M Levy. Impro- ving the reliability of commodity operating systems [ J ]. ACM SIGOPS Operating Systems Review, 2003,37 ( 5 ) : 207-222.
  • 3Avizienis Algirdas, Laprie J C, Randell Brian, et al. Bas- ic concepts and taxonomy of dependable and secure compu- ting[ J ]. IEEE Transactions on Dependable and Secure Computing, 2004,1 ( 1 ) : 11-33.
  • 4Jacques A Pienaar, Robert Hundt. JSWhiz: Static analysis for JavaScript memory leaks [ C : // Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization. 2013 : 1-11.
  • 5Woosup Lira, Seongsoo Park, Hwansoo Hart. Memory leak detection with context awareness [ C ]// Proceedings of the 2012 ACM Research in Applied Computation Symposium. 2012:276-281.
  • 6张威,卢庆龄,李梅,宫云战.基于指针分析的内存泄露故障测试方法研究[J].计算机应用研究,2006,23(10):22-24. 被引量:7
  • 7付晓毓,朱利,顾伟.基于模型检测的内存泄露静态测试方法[J].微电子学与计算机,2010,27(10):170-173. 被引量:5
  • 8Liang Jui-shan, Kao Hung-wei, Tsao Han-ching, et al. Two-phase online memory leak detection[ C ]// APNOMS. 2012:1-4.
  • 9Gene Novark, Emery D Berger, Benjamin G Zorn. Effi- ciently and precisely locating memory leaks and bloat [ J ]. ACM SIGPLAN Notices, 2009,44 (6) :397407.
  • 10吴民,涂奉生.Linux下面向函数的动态内存泄漏监测[J].计算机工程与应用,2003,39(6):37-40. 被引量:8

二级参考文献36

  • 1刘晓洪,高海昌,贺晓红,冯博琴,朱利.白盒测试工具函数信息提取模块设计与实现[J].微电子学与计算机,2005,22(5):166-169. 被引量:2
  • 2高海昌,刘晓洪,冯博琴,朱利.面向上下文无关语言的信息提取模块化设计[J].计算机工程,2006,32(4):49-51. 被引量:1
  • 3Kerni曲an BrianW PikeRob.The Practice of Programming[M].北京:机械工业出版社,2002..
  • 4Xie Yichen, Aiken Alex. Context- and path-sensitive memory leak detection//Proeeedings of the ESEC/FSE'05. Lisbon, Portugal, 2005:115-125.
  • 5Tsai T, Vaidyanathan K, Gross K. Low-overhead run-time memory leak detection and recovery//Proceedings of the PRDC'06. Riverside, USA, 2006:329-340.
  • 6Qin Feng, Lu Shan, Zhou Yuanyuan. SafeMem: Exploiting ECC-memory for detecting memory leaks and memory corruption during production runs//Proceedings of the HPCA ' 05. San Francisco, USA, 2005:291-302.
  • 7Bungale Prashanth P, Luk Chi-Keung. PinOS: A programmable framework for whole-system dynamic instrumentation//Proceedings of the ACM Conference on Virtual Execution Environments(VEEr07). San Diego, California, USA, 2007:137-147.
  • 8Waldspurger Carl A. Memory resource management in VMware ESX server//Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI' 02). Boston, USA, 2002:181-194.
  • 9Barham Pet al. Xen and the Art of virtualization//Proceedings of the 19th ACM Symposium on Operating System Principles(SOSP'03). New York, USA, 2003:164-177.
  • 10Neiger Get al. Intel virtualization technology: Hardware support for efficient processor virtualization. Intel Technology Journal, 2006, 10(3) : 167- 177.

共引文献31

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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