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

doi:10.3969/j.issn.1006-2475.2014.03.020

计算机与现代化 ›› 2014, Vol. 0 ›› Issue (3): 81-84.doi: 10.3969/j.issn.1006-2475.2014.03.020

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

1.西北工业大学计算机学院，陕西西安710072；2.西北工业大学软件与微电子学院，陕西西安710072

收稿日期:2013-11-18 出版日期:2014-03-24 发布日期:2014-03-31
作者简介:段飞鹏(1990-),男,山西吕梁人,西北工业大学计算机学院硕士研究生,研究方向：操作系统可靠性; 朱怡安(1961-),男,安徽宿州人,教授,博士生导师,研究方向：高性能计算，云计算，普适计算; 黄姝娟(1975-),女,陕西西安人,西北工业大学软件与微电子学院讲师,博士研究生,研究方向：嵌入式计算,普适计算; 赵聪(1990-),男,河南周口人,硕士研究生,研究方向：嵌入式计算。
基金资助:
航空科学基金资助项目(20130753006); 航天科技创新基金资助项目(CASC201105); 西北工业大学校基础研究基金资助项目(JC20110283); 西北工业大学研究生创业种子基金资助项目（Z2013184）

A Self-healing Mechanism for Memory Leak in OS

1. School of Computer Science, Northwestern Polytechnical University, Xi’an 710072, China; 2. School of Software and Microelectronics, Northwestern Polytechnical University, Xi’an 710072, China

Received:2013-11-18 Online:2014-03-24 Published:2014-03-31

摘要/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

中图分类号:

TP316

段飞鹏1，朱怡安1，黄姝娟1,2，赵聪2. 一种系统级内存泄漏的自愈机制[J]. 计算机与现代化, 2014, 0(3): 81-84.

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, 2014, 0(3): 81-84.

参考文献

参考文献：
［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]	赵晨阳, 薛涛, 刘俊华. 基于改进Stable Diffusion的时尚服饰图案生成[J]. 计算机与现代化, 2024, 0(12): 15-23.
[2]	王晓航1, 李永杰1, 余雷1, 范萧2. 一种利用复合事件概率运算解决负信息抑制最大化问题的方法[J]. 计算机与现代化, 2024, 0(12): 24-33.
[3]	吕美静1, 年梅1, 张俊1, 2, 付鲁森1. 基于自编码器的网络流量异常检测[J]. 计算机与现代化, 2024, 0(12): 40-44.
[4]	张思敏, 刘新妹, 殷俊龄, 李宝玲. 基于YOLOv7改进的PCB缺陷检测方法[J]. 计算机与现代化, 2024, 0(12): 45-52.
[5]	刘云海1, 冯广1, 吴晓婷2, 杨群2. 复杂施工场景下的安全帽佩戴检测算法[J]. 计算机与现代化, 2024, 0(12): 66-71.
[6]	谷岳, 邓松峰, 沈霁, 穆文涛, 赵恩棋. 基于改进YOLOv8的SAR舰船目标检测算法[J]. 计算机与现代化, 2024, 0(12): 78-83.
[7]	王艳媛, 茅正冲. 中英文场景文本图像的检测和识别算法[J]. 计算机与现代化, 2024, 0(12): 84-90.
[8]	陈亮, 李诚, 易伟, 熊伟, 汪晓帆, 唐海东. 基于毫米波雷达与视觉融合的电力现场安全帽佩戴检测[J]. 计算机与现代化, 2024, 0(12): 100-107.
[9]	肖军弼, 邱艺. 基于状态感知数据平面的SDN故障检测与恢复方案[J]. 计算机与现代化, 2024, 0(12): 116-123.
[10]	李德友1, 2, 余劲松弟1, 2, 魏丹丹1, 2, 罗源1, 2, 佟瑞菊3. 面向格网化立方体元数据的抽象树模型[J]. 计算机与现代化, 2024, 0(11): 1-6.
[11]	张昆1, 张永伟1, 吴永城1, 张笑文2, 翟世臣2. 基于大模型的设备故障知识图谱自动构建方法[J]. 计算机与现代化, 2024, 0(11): 46-53.
[12]	张宇1, 2, 黎靖1, 2, 马铭1, 2, 王众祥1, 2, 孙妍1, 2. YOLOLW:一个新的轻量级目标检测模型[J]. 计算机与现代化, 2024, 0(11): 91-98.
[13]	董玉玟. 基于改进YOLOv7-tiny的多尺度运动目标检测算法[J]. 计算机与现代化, 2024, 0(11): 99-105.
[14]	陈凯1, 李宜汀1, 2, 全华凤1 . 基于改进YOLOv8的河道废弃瓶检测方法[J]. 计算机与现代化, 2024, 0(11): 113-120.
[15]	杨庆五, 罗小辉, 刘鑫. 基于Edge Drawing的工业图像圆检测算法[J]. 计算机与现代化, 2024, 0(11): 121-126.

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

A Self-healing Mechanism for Memory Leak in OS

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价