A Self-healing Mechanism for Memory Leak in OS

doi:10.3969/j.issn.1006-2475.2014.03.020

Abstract

Abstract: 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

Key words: finite state automata, model, detection, diagnosis, recovery

CLC Number:

TP316

DUAN Fei-peng1, ZHU Yi-an1, HUANG Shu-juan1,2, ZHAO Cong2. A Self-healing Mechanism for Memory Leak in OS[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2014.03.020.

References

参考文献：
［1］Francis M David, Roy H Campbell. Building a selfhealing operating system［C］// The Third IEEE International Symposium on Dependable, Autonomic and Secure Computing. 2007:3-10.
［2］Michael M Swift, Brian N Bershad, Henry M Levy. Improving the reliability of commodity operating systems［J］. ACM SIGOPS Operating Systems Review, 2003,37(5):207-222.
［3］Avizienis Algirdas, Laprie J C, Randell Brian, et al. Basic concepts and taxonomy of dependable and secure computing［J］. IEEE Transactions on Dependable and Secure Computing, 2004,1(1):11-33.
［4］Jacques 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.
［5］Woosup Lim, Seongsoo Park, Hwansoo Han. 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］付晓毓,朱利,顾伟. 基于模型检测的内存泄露静态测试方法［J］. 微电子学与计算机, 2010,27(10):170-173.
［8］Liang Juishan, Kao Hungwei, Tsao Hanching, et al. Twophase online memory leak detection［C］// APNOMS. 2012:1-4.
［9］Gene Novark, Emery D Berger, Benjamin G Zorn. Efficiently and precisely locating memory leaks and bloat［J］. ACM SIGPLAN Notices, 2009,44(6):397-407.
［10］吴民,涂奉生. Linux下面向函数的动态内存泄漏监测［J］. 计算机工程与应用, 2003,39(6):37-40.
［11］于维英. Linux下内存泄漏的动态跟踪分析［D］. 天津:南开大学, 2006.
［12］汪小林,王振林,孙逸峰,等. 利用虚拟化平台进行内存泄露探测［J］. 计算机学报, 2010,33(3):463-472.
［13］陆伟,朱怡安,张龙妹,等. 一种解决内存泄漏问题的自愈机制［J］. 西北工业大学学报, 2011,29(4):646-651.
［14］Zhu Yian, Li Yue, Xue Jingling, et al. What is system hang and how to handle it［C］// 2012 IEEE 23rd International Symposium on Software Reliability Engineering. 2012:141-150.

[1]	PENG Zong-yu, HUANG Kai-qi, SU Jian-hua, WANG Li-li. Visual Servo Based on Model-free Adaptive Control [J]. Computer and Modernization, 2024, 0(01): 29-34.
[2]	LI Shi-bao, CONG Yu-jie. ZigBee Indoor Location Algorithm Based on Dynamic Modification of RSSI Parameters [J]. Computer and Modernization, 2024, 0(01): 35-40.
[3]	WANG Qiu-yi, ZHOU Hao, ZHENG Ting-ting. Improved RetinaNet Target Detection Method for Power Equipment [J]. Computer and Modernization, 2024, 0(01): 47-52.
[4]	ZHAN Shao-qiang, ZENG An, ZHANG Yi-qun, SUN Hong-tao, ZHANG Xiao-bo. Two-stage Critical Disease Prediction Model Based on Heterogeneous Attribute Fusion [J]. Computer and Modernization, 2024, 0(01): 67-73.
[5]	DU Kang, GUO Lu-yu, XU Qi-lei, SHAN Bao-ming, ZHANG Fang-kun. Infrared Spectrum Modeling Method Based on Variable Selection of Model#br# Population Analysis#br# [J]. Computer and Modernization, 2023, 0(12): 48-52.
[6]	NING Juan, ZHOU Qing-hua, ZENG Xiao-wei. Application of Improved YOLOv7 Algorithm in Detection of Capping Defects of Vials [J]. Computer and Modernization, 2023, 0(12): 82-86.
[7]	YANG Bo, ZHUANG Yi. Fault Detection Method of Control Cluster Based on AOA-MSVM [J]. Computer and Modernization, 2023, 0(12): 112-116.
[8]	CHEN Chao, GU Qing-feng. Design of Hybrid Workload-oriented Distributed Meteorological Data Management System [J]. Computer and Modernization, 2023, 0(12): 118-122.
[9]	LI Xiang, ZHUANG Yi. Critical Fault Point Identification Method for Routing Algorithms Using XGBoost [J]. Computer and Modernization, 2023, 0(11): 75-81.
[10]	ZHANG Chun-hui, NIE Yun, WANG Guo-wei. Real-time Rendering Algorithm for Spatial Targets in Air-space 3D Simulation [J]. Computer and Modernization, 2023, 0(11): 82-88.
[11]	XU Hong-kui, LI Zhen-ye, GUO Wen-tao, ZHAO Jing-zheng, GUO Xu-bin. Real-time Detection of Arbitrary Shape Scene Text Based on Segmentation [J]. Computer and Modernization, 2023, 0(11): 95-100.
[12]	OU Jia-cheng, ZENG An, JIN Liang. CP-YOLOX-based Algorithm for Protein Target Detection in Cryo-electron Micrographs [J]. Computer and Modernization, 2023, 0(11): 113-119.
[13]	YAN Zi-xian, DONG Bao-liang, TANG Si-mi. Improved YOLOv7 Algorithm for Low-resolution Ship Object Detection in Complex Backgrounds#br# [J]. Computer and Modernization, 2023, 0(11): 120-126.
[14]	GU Ming-xuan, FAN Bing-bing. Feature-level Multimodal Fusion for Depression Recognition [J]. Computer and Modernization, 2023, 0(10): 17-22.
[15]	ZHANG Jia-Qi, XU Qi-lei. Apple Defect Detection Algorithm Based on NAM-YOLO Network [J]. Computer and Modernization, 2023, 0(10): 53-58.