Linux平台下如何检测、调试C/C++程序内存泄漏

来源:互联网 发布:增值税打印软件 编辑:程序博客网 时间:2024/06/07 23:16

1. 如何发现内存泄漏

  1. ps -aux

2. 静态分析

  1. **2.1 手动检测**
  2. #include <stdio.h>
  3. #include <string.h>
  4. #include <stdlib.h>
  5. int LeakTest(char * Para)
  6. {
  7.     if(NULL==Para)
  8.     {
  9.         //local_log("LeakTest Func: empty parameter\n");
  10.         return -1;
  11.     }
  12.     char * Logmsg = new char[128];
  13.     if(NULL == Logmsg)
  14.     {
  15.         //
  16.         local_log("memeory allocation failed\n");
  17.         return -2;
  18.     }
  19.     sprintf(Logmsg,"LeakTest routine exit: '%s'.\n", Para);
  20.     local_log(Logmsg); return 0;
  21. }
  22. int main(int argc,char **argv )
  23. {
  24.     char szInit [] = "testcase1";
  25.     LeakTest(szInit);
  26.     return 0;
  27. }
  28. **2.2 静态代码分析工具**
  29. 代码静态扫描和分析的工具比较多,比如 splint, PC-LINT, BEAM 等。因为 BEAM 支持的平台比较多,这以 BEAM 为例,做个简单介绍,其它有类似的处理过程。

BEAM 可以检测四类问题: 没有初始化的变量;废弃的空指针;内存泄漏;冗余计算。而且支持的平台比较多。

  1. #include <stdio.h>
  2. #include <string.h>
  3. #include <stdlib.h>
  4. int *p;
  5. void foo(int a)
  6. {
  7.     int b, c; b = 0;
  8.     if(!p)
  9.         c = 1;
  10.     if(c > a)
  11.         c += p[1];
  12. }
  13. int LeakTest(char * Para)
  14. {
  15.     char * Logmsg = new char[128];
  16.     if((Para==NULL)||(Logmsg == NULL))
  17.         return -1;
  18.     sprintf(Logmsg,"LeakTest routine exit: '%s'.\n", Para);
  19.     return 0;
  20. }
  21. int main(int argc,char **argv )
  22. {
  23.     char szInit [] = "testcase1";
  24.     LeakTest(szInit);
  25.     return 0;
  26. }
  27. **2.3 内嵌程序**

可以重载内存分配和释放函数 new 和 delete,然后编写程序定期统计内存的分配和释放,从中找出可能的内存泄漏。或者调用系统函数定期监视程序堆的大小,关键要确定堆的增长是泄漏而不是合理的内存使用。这类方法比较复杂,在这就不给出详细例子了。

3. 动态运行检测
实时检测工具主要有 valgrind, Rational purify 等。

3.1 Valgrind
valgrind 是帮助程序员寻找程序里的 bug 和改进程序性能的工具。程序通过 valgrind 运行时,valgrind 收集各种有用的信息,通过这些信息可以找到程序中潜在的 bug 和性能瓶颈。
Valgrind 现在提供多个工具,其中最重要的是 Memcheck,Cachegrind,Massif 和 Callgrind。Valgrind 是在 Linux 系统下开发应用程序时用于调试内存问题的工具。它尤其擅长发现内存管理的问题,它可以检查程序运行时的内存泄漏问题。其中的 memecheck 工具可以用来寻找 c、c++ 程序中内存管理的错误。可以检查出下列几种内存操作上的错误:

  • 读写已经释放的内存
  • 读写内存块越界(从前或者从后)
  • 使用还未初始化的变量
  • 将无意义的参数传递给系统调用
  • 内存泄漏
  • 请输入列表文字

3.2 Rational purify
Rational Purify 主要针对软件开发过程中难于发现的内存错误、运行时错误。在软件开发过程中自动地发现错误,准确地定位错误,提供完备的错误信息,从而减少了调试时间。同时也是市场上唯一支持多种平台的类似工具,并且可以和很多主流开发工具集成。Purify 可以检查应用的每一个模块,甚至可以查出复杂的多线程或进程应用中的错误。另外不仅可以检查 C/C++,还可以对 Java 或 .NET 中的内存泄漏问题给出报告。

示例代码

  1. #include <unistd.h>
  2. char * Logmsg;
  3. int LeakTest(char * Para)
  4. {
  5.     if(NULL==Para)
  6.     { //
  7.         local_log("LeakTest Func: empty parameter\n");
  8.         return -1;
  9.     }
  10.     Logmsg = new char[128];
  11.     for (int i = 0 ; i < 128; i++)
  12.         Logmsg[i] = i%64;
  13.     if(NULL == Logmsg)
  14.     { //
  15.         local_log("memeory allocation failed\n");
  16.         return -2;
  17.     }
  18.     sprintf(Logmsg,"LeakTest routine exit: '%s'.\n", Para);
  19.     //
  20.     local_log(Logmsg);
  21.     return 0;
  22. }
  23. int main(int argc,char **argv )
  24. {
  25.     char szInit [] = "testcase1";
  26.     int i;
  27.     LeakTest(szInit);
  28.     for (i=0; i < 2; i++)
  29.     { if(i%200 == 0)
  30.     LeakTest(szInit);
  31.     sleep(1);
  32.     }
  33.     return 0;
  34. }

1."内存泄露"包括堆内存泄露、栈内存泄露。根据内存的类型,又分为:内存申请、释放,句柄的打开与关闭问题。
2.容易忽视的是栈上的内存泄露,严格来讲是申请的内存超过线程栈空间大小(默认为1MB)。栈上的内存(即局部变量)是不需要释放的,函数返回自动出栈(释放)。若某时刻超过线程栈空间大小,造成其它使用栈的地方不能正常工作(如函数调用、SEH等),会使程序崩溃(驱动的话会蓝屏)。所以申请局部变量内存时,不要太大。
3.堆内存申请、释放。主要是要注意申请的地方要记得释放,以及申请、释放函数要配对使用。比如malloc和free、new和delete、BSTR的SysAllocString和SysFreeString。
4.还有一个地方也往往被忽略,"句柄的打开与关闭问题"。这个当积累到一定数量,是很占内存的。可以linux上的加强进程查看工具观察,若handle数量很大或一直在增长,说明有泄漏。windows下则可以使用微软内核套件SysinternalsSuite出品的procexp.exe工具,如下图:
请输入图片描述

看到handles栏了吗。

另外,完全可以重载new、delete等方法,实现简单的垃圾回收,很多软件都这么做。这也是<<Effective C++>>上推荐的。

检测内存泄漏的主要工具是调试器和 C 运行库 (CRT) 调试堆函数。

若要启用调试堆函数,请在程序中包括以下语句:

#define _CRTDBG_MAP_ALLOC
#include <stdlib.h>
#include <crtdbg.h>
说明

#include 语句必须采用上文所示顺序。 如果更改了顺序,所使用的函数可能无法正常工作。

通过包括 crtdbg.h,将 malloc 和 free 函数映射到它们的调试版本,即 _malloc_dbg 和 _free_dbg,这两个函数将跟踪内存分配和释放。 此映射只在调试版本(在其中定义了 _DEBUG)中发生。发布版本使用普通的 malloc 和 free 函数。

#define 语句将 CRT 堆函数的基版本映射到对应的“Debug”版本。 并非绝对需要该语句;但如果没有该语句,内存泄漏转储包含的有用信息将较少。

在添加了上述语句之后,可以通过在程序中包括以下语句(通常应恰好放在程序退出位置之前)来转储内存泄漏信息:

_CrtDumpMemoryLeaks();
当在调试器下运行程序时,_CrtDumpMemoryLeaks 将在“输出”窗口中显示内存泄漏信息。 内存泄漏信息如下所示:

Detected memory leaks!Dumping objects -> C:\PROGRAM FILES\VISUAL STUDIO\MyProjects\leaktest\leaktest.cpp(20) : {18} normal block at 0x00780E80, 64 bytes long.Data: < > CD CD CD CD CD CD CD CD CD CD CD CD CD CD CD CD Object dump complete.

如果没有使用 #define _CRTDBG_MAP_ALLOC 语句,内存泄漏转储将如下所示:

Detected memory leaks!Dumping objects -> {18} normal block at 0x00780E80, 64 bytes long.Data: < > CD CD CD CD CD CD CD CD CD CD CD CD CD CD CD CD Object dump complete.
未定义 _CRTDBG_MAP_ALLOC 时,所显示的会是:

内存分配编号(在大括号内)。

块类型(普通、客户端或 CRT)。

十六进制形式的内存位置。

以字节为单位的块大小。

前 16 字节的内容(亦为十六进制)。

定义了 _CRTDBG_MAP_ALLOC 时,还会显示在其中分配泄漏的内存的文件。 文件名后括号中的数字(本示例中为 20)是该文件中的行号。

转到源文件中分配内存的行

在“输出”窗口中双击包含文件名和行号的行。

  • 或 -

在“输出”窗口中选择包含文件名和行号的行,然后按 F4。

_CrtSetDbgFlag

如果程序总是在同一位置退出,调用 _CrtDumpMemoryLeaks 将非常容易。 如果程序从多个位置退出,则无需在每个可能退出的位置放置对 _CrtDumpMemoryLeaks 的调用,而可以在程序开始处包含以下调用:

复制

_CrtSetDbgFlag ( _CRTDBG_ALLOC_MEM_DF | _CRTDBG_LEAK_CHECK_DF );
该语句在程序退出时自动调用 _CrtDumpMemoryLeaks。 必须同时设置 _CRTDBG_ALLOC_MEM_DF 和 _CRTDBG_LEAK_CHECK_DF 两个位域,如前面所示。

设置 CRT 报告模式

默认情况下,_CrtDumpMemoryLeaks 将内存泄漏信息转储到“输出”窗口的“调试”窗格,如上所述。 可以使用 _CrtSetReportMode 重置该设置,以转储到另一位置。

如果使用库,它可以将输出重置到另一位置。


原创粉丝点击