一种有效的动态内存泄漏检测技术的研究与实现.pdfVIP

第２８卷第１１期　　　 计算机应用与软件 Ｖｏｌ２８Ｎｏ．１１ ２０１１年１１月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｎｏｖ．２０１１ 一种有效的动态内存泄漏检测技术的研究与实现 张晓明　刘建君　李树江 （沈阳工业大学信息科学与工程学院　辽宁沈阳 １１０８７０） 摘　要　　内存泄漏故障是一个程序员所必须关心的问题之一。通过对内存泄漏及其相关检测技术的研究，提出面向类型的动态 内存泄漏检测的概念，使泄漏检测具有较高的实时性，大大降低由于内存泄漏检测而导致ＣＰＵ占用时间的急剧变化值，并在Ｌｉｎｕｘ 下验证了算法的真实有效性。 关键词　　内存泄漏　内存分配　检测技术 中图分类号　ＴＰ３０６　　　　文献标识码　Ａ ＲＥＳＥＡＲＣＨＯＮＡＮＥＦＦＩＣＩＥＮＴＤＹＮＡＭＩＣＭＥＭＯＲＹＬＥＡＫＤＥＴＥＣＴＩＯＮ ＴＥＣＨＮＯＬＯＧＹＡＮＤＩＴＳＩＭＰＬＥＭＥＮＴＡＴＩＯＮ ＺｈａｎｇＸｉａｏｍｉｎｇ　ＬｉｕＪｉａｎｊｕｎ　ＬｉＳｈｕｊｉａｎｇ （ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｈｅｎｙａｎｇＵｎｉｖｅｒｓｉｔｙｏｆＴｅｃｈｎｏｌｏｇｙ，Ｓｈｅｎｙａｎｇ１１０８７０，Ｌｉａｏｎｉｎｇ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｍｅｍｏｒｙｌｅａｋｆａｉｌｕｒｅｉｓｏｎｅｏｆｔｈｅｐｒｏｂｌｅｍｓｔｈａｔａｐｒｏｇｒａｍｍｅｒｍｕｓｔｂｅｃｏｎｃｅｒｎｅｄａｂｏｕｔ．Ｉｎｔｈｉｓｐａｐｅｒ，ｂａｓｅｄｏｎｔｈｅｓｔｕｄｙｏｆ ｍｅｍｏｒｙｌｅａｋａｎｄｔｈｅｒｅｌａｔｅｄｄｅｔｅｃｔｉｏｎ，ｔｈｅｎｏｔｉｏｎｏｆｔｙｐｅｏｒｉｅｎｔｅｄｄｙｎａｍｉｃｍｅｍｏｒｙｌｅａｋｄｅｔｅｃｔｉｏｎｉｓｐｒｏｐｏｓｅｄ，ｗｈｉｃｈｍａｋｅｓｔｈｅｌｅａｋ ｄｅｔｅｃｔｉｏｎｔｅｃｈｎｏｌｏｇｙｂｅｈｉｇｈｌｙｔｉｍｅｌｙ，ａｎｄｇｒｅａｔｌｙｒｅｄｕｃｅｓｔｈｅｓｈａｒｐｃｈａｎｇｅｖａｌｕｅｏｆＣＰＵｏｃｃｕｐａｎｃｙｔｉｍｅｃａｕｓｅｄｂｙｔｈｅｍｅｍｏｒｙｌｅａｋ ｄｅｔｅｃｔｉｏｎ．ＴｈｅｒｅａｌｉｔｙａｎｄｖａｌｉｄｉｔｙｏｆｔｈｉｓａｌｇｏｒｉｔｈｍｉｓｖｅｒｉｆｉｅｄｉｎＬｉｎｕｘｏｐｅｒａｔｉｎｇｓｙｓｔｅｍ． Ｋｅｙｗｏｒｄｓ　　Ｍｅｍｏｒｙｌｅａｋ　Ｍｅｍｏｒｙａｌｌｏｃａｔｉｏｎ　Ｄｅｔｅｃｔｉｏｎ 误报率，而动态工具主要是对目标代码进行插装，准确率高。 ［２］ ０　引　言 ＬＣＬｉｎｋ 是通过对源代码及添加到源代码中特定格式的 注释进行静态分析的程序理解和检错工具。Ｐｕｒｉｆｙ在目标代码 随着科学技术的发展，人类逐渐进入信息技术社会。而计 中插入特殊的检查指令来实现对内存的检测。Ｉｎｓｕｒｅ＋＋［３］是 算机作为信息社会的主力军，在世界经济和社会发展中起着无 运行时检测工具，能检测Ｃ／Ｃ＋＋中的编程和运行时错误，检验 法替代的作用。计算机科学的重要研究领域———内存管理，因 静态（全局）和堆栈以及动态分配内存的操作的有效性，但对发 其在计算机中的关键作用，受到全世界计算机工作者的普遍关 现第三方库函数中的代码泄漏无能为力。文献［４］阐述了一种 注。一旦程序员疏忽，对内存管理错误，就会引起一些内存故 通过静态分析指针映射关系的方法来检测内存泄漏故障。此方 障。因此，检测内存故障便成了一个无法避免的问题。检测内 法与运行时检测相比，其内存故障的代价要小得多。本文基于 存故障是非常困难的，也难以准确识别出程序中的故障源［１］。 内存泄漏检测的有效性以