内存泄漏详解
简介
内存泄漏特指堆上分配的内存没有及时释放。
产生原因
malloc / free没有成对存在；new / delete没有成对存在；new[] / delete[]没有成对存在。
危害
- 吃掉进程的虚拟内存和系统的物理内存, 造成内存紧张；
检测手段
检测内存泄漏有以下难点：
- 如何判断是否发生了内存泄漏。
- 如何判断代码上面哪一行发生了泄漏；
hook机制
基本原理
在C语言中，如果你在main.c文件中定义了一个与标准库中同名的普通函数，比如malloc，那么这个定义会覆盖标准库中的同名函数。C语言的编译器会按照以下顺序查找函数的定义：
-
首先查找当前源文件中是否有函数的定义。如果在main.c中定义了malloc函数，编译器会使用main.c中的定义。
-
如果当前源文件中没有找到函数的定义，编译器会查找已经包含的头文件中是否有函数的定义。标准库函数通常在标准库的头文件中声明，例如，malloc函数在<stdlib.h>头文件中声明。如果你的main.c包含了<stdlib.h>头文件，并且在main.c中定义了malloc函数，那么它会覆盖标准库中的定义。
-
如果在当前源文件和包含的头文件中都没有找到函数的定义，编译器会报错，因为它无法找到函数的实现。
以下是一个简单的示例。在这个示例中，我们定义了自己的malloc，根据上述编译器规则，代码将会调用自定义的malloc。
#include <stdio.h>
#include <stdlib.h>
int count = 0;
void *malloc(size_t size) {
void *ptr = NULL;
count++;
return ptr;
}
int main() {
malloc(0);
return 0;
}
我们通过 gdb 观察了代码执行情况，发现 count = 1。验证了上述分析结果。
其实除了重定义malloc，我们也可以通过宏函数达到一样的效果。相比于普通函数，宏函数是在预处理阶段将malloc调用替换为用户自定义的malloc_hook函数。
要想检测是否发生泄漏，我们可以这样设计：在每次调用malloc时，count加一; 调用free时,count减一。但是这种方法仅可以知道是否发生了泄漏，但不能判断代码中哪一行导致的泄漏。
为此，我们可以这样进行设计：
- 在调用 malloc 时，根据分配地址生成一个
.mem文件（sprintf(buff, "./mem/%p.mem", ptr);），并将调用malloc 的位置（file + line）写入文件； - 在调用 free 时，再根据地址删除该文件。
这样一来，在运行结束后，我们观察是否存在.mem文件，就可以判断是否发生了内存泄漏。通过查看.mem文件，就可以判断出代码中哪一行发生了泄漏。
当然除了写文件，你可以通过写内存缓冲的方式。因为与写文件类似，这里不再讨论。
代码实现
先看一下完整的代码实现。这里我们采用了以下手段：
- 使用宏函数来重定向malloc的调用；
- 使用dlsym来获取标准库中的malloc地址；
- 使用
__FILE__和__LINE__来获取调用malloc所在的文件和行； - 在调用malloc时，根据分配地址创建文件；在free时，删除对应的文件；
- 使用
#ifdef DEBUG #endif来区分debug版和release版。
// filename: test.c
#define _GNU_SOURCE
#include <dlfcn.h>
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#ifdef DEBUG
#define MEM_CONTENT_LENGTH 100
#define malloc(size) malloc_hook(size, __FILE__, __LINE__)
#define free(p) free_hook(p, __FILE__, __LINE__)
// 原始的 malloc 函数
void *(*original_malloc)(size_t size) = NULL;
void *(*original_free)(void *p) = NULL;
// malloc hook 函数
void *malloc_hook(size_t size, const char *file, int line);
void free_hook(void *p, const char *file, int line);
void init_hook() {
// 如果原始 malloc 函数尚未初始化，初始化它
if (!original_malloc) {
original_malloc = dlsym(RTLD_NEXT, "malloc");
}
// 如果原始 free 函数尚未初始化，初始化它
if (!original_free) {
original_free = dlsym(RTLD_NEXT, "free");
}
}
#endif
int main() {
#ifdef DEBUG
init_hook();
#endif
// 使用 malloc 分配内存
int *arr = (int *)malloc(5 * sizeof(int));
// 为了演示效果，简单地初始化数组元素并释放内存
for (int i = 0; i < 5; i++) {
arr[i] = i * 2;
}
// 打印数组元素
printf("Array elements: ");
for (int i = 0; i < 5; i++) {
printf("%d ", arr[i]);
}
printf("\n");
// 释放内存
// free(arr);
return 0;
}
#ifdef DEBUG
// 重定向的 malloc 函数
void *malloc_hook(size_t size, const char *file, int line) {
void *ptr = original_malloc(size);
char buff[MEM_CONTENT_LENGTH] = {0};
sprintf(buff, "./mem/%p.mem", ptr);
FILE *fp = fopen(buff, "w");
fprintf(fp, "[%s:%d]malloc --> addr: %p\n", file, line, ptr);
// printf("[%s:%d]malloc --> addr: %p\n", file, line, ptr);
fflush(fp);
return ptr;
}
void free_hook(void *p, const char *file, int line) {
char buff[MEM_CONTENT_LENGTH] = {0};
sprintf(buff, "./mem/%p.mem", p);
if (unlink(buff) < 0) {
printf("double free: %p\n", p);
}
original_free(p);
}
#endif
这里给出通过gcc来编译debug版和release版的命令：
- debug: gcc test.c -g -DDEBUG -ldl
- release: gcc test.c
以上就是使用hook机制来检测内存泄漏的具体内容。
mtrace
mtrace ()函数为内存分配函数(malloc (3)、 realloc (3) memalign (3)、 free (3))安装 hook 函数。这些 hook 函数记录有关内存分配和释放的跟踪信息。跟踪信息可以用来发现内存泄漏并尝试释放程序中未分配的内存。
muntrace ()函数卸载 mtrace ()安装的 hook 函数，因此跟踪信息不再被记录到内存分配函数中。如果 mtrace ()未成功安装钩子函数，则 muntrace ()不执行任何操作。
当调用 mtrace ()时，它检查环境变量 MALLOC_TRACE 的值，该值应该包含要记录跟踪信息的文件的路径名。如果文件成功打开，它将被截断为零长度。
如果没有设置 MALLOC_TRACE，或者它指定的路径名无效或不可写，则不安装 hook 函数，mtrace ()没有效果。在 set-user-ID 和 set-group-ID 程序中，MALLOC_TRACE 被忽略，mtrace ()没有效果。
这里通过一个具体示例来演示具体的操作步骤。如下面代码所示：可以看出一共调用了 2 次 malloc, 一次 free。显然发生了内存泄漏。
// test.c
#include <mcheck.h>
#include <stdio.h>
#include <stdlib.h>
int main() {
mtrace();
char *p = (char *)malloc(100);
free(p);
p = NULL;
p = (char *)malloc(100);
printf("%p\n", p);
return 0;
}
为了定位代码中的具体位置信息，我们需要在编译时加上 -g 参数选项：gcc test.c -g -o test;
在运行之前，设置 MALLOC_TRACE变量, 比如设置为当前目录下：export MALLOC_TRACE=./test.log;
然后运行程序：./test;
然后使用查看内存泄漏情况：mtrace ./test $MALLOC_TRACE。
我观察过很多博客和官方手册，它们均给出明确的文件位置信息。比如像这样：
# mtrace test ./test.log
Memory not freed:
-----------------
Address Size Caller
0x00000000021ed450 0x64 at /home/const/WorkSpace/memtest/test.c:14
而我运行的结果，却是这样：
Memory not freed:
-----------------
Address Size Caller
0x0000555555559690 0x64 at 0x5555555551e6
可以看出，这里的地址均为虚拟地址。这里参考了使用 mtrace 追踪内存泄露问题 来解决这个问题：
- 首先，通过
sudo sysctl -w kernel.randomize_va_space=0, 来避免多次运行的偏移发生改变； - 然后，添加编译参数
-no-pie
这样一来，就可以显示出具体的行号了。
valgrind
valgrind是一个非常强大的工具。检测内存泄漏仅是其功能之一。
Valgrind检测内存泄漏时通常会报告不同类型的泄漏，这些泄漏类型有助于您更好地理解问题并采取适当的措施。以下是Valgrind常见的内存泄漏类型：
-
Definitely Lost (直接泄漏):
表示程序明确发生了内存泄漏。这通常是因为在程序结束前未释放已分配的内存。具体示例如下：#include <iostream> int main() { int* arr = new int[10]; // 分配一个整数数组 // 程序结束前忘记释放内存 // delete[] arr; return 0; } -
Indirectly Lost (间接泄漏):
“Indirectly Lost”意味着你的程序正在基于指针的数据结构中泄漏内存。例如，如果二叉树的根节点“Definitely Lost”，则所有子节点都会“Indirectly Lost”。如果你修复了“Definitely Lost”的泄漏，那么“Indirectly Lost”的泄漏应该消失。以下给出个具体示例。#include <iostream> class Node { public: int data; Node* left; Node* right; Node(int val) : data(val), left(nullptr), right(nullptr) {} }; int main() { Node* root = new Node(5); // 分配一个根节点 // 创建子节点 root->left = new Node(3); root->right = new Node(7); // 在子节点上创建更多节点 root->left->left = new Node(2); root->left->right = new Node(4); // 程序结束前忘记释放内存 // delete root; return 0; } -
Possibly Lost (可能泄漏):
“Possibly Lost” 意味着您的程序存在内存泄漏的可能性，除非您在指针上执行了一些不寻常的操作，可能导致指针指向已分配块的中间位置。使用 --show-possibly-lost=no 可以禁止显示这些报告，但通常情况下，建议查看并修复可能泄漏。 -
Still Reachable (仍然可达):
“Still Reachable” 意味着您的程序可能没有释放一些内存，但这些内存仍然可以被访问。这是比较常见的情况，通常是合理的。您可以使用 --show-reachable=yes 来查看这些报告，但通常情况下，它们不需要立即处理。 -
Suppressed (抑制):
“Suppressed” 意味着泄漏错误已经被抑制，通常是由于Valgrind的默认抑制规则。您可以忽略这些已抑制的错误，除非您知道它们是有意的或特定情况下需要处理的。
检测到的泄漏类型通常伴随有详细的报告，包括泄漏的内存地址、分配的位置、泄漏的大小和堆栈跟踪信息，这些信息有助于您定位和解决问题。
要记住，Valgrind只是一个工具，它可以检测内存泄漏，但您仍然需要仔细分析报告并修改程序代码以修复泄漏。修复泄漏通常涉及到在合适的地方释放动态分配的内存，以确保资源得到正确的管理。
参考
[1] 使用 Valgrind 检测 C++ 内存泄漏
[2] Valgrind Frequently Asked Questions
[3] mtrace(3) - Linux man page
[4] addr2line.c
[5] 使用 mtrace 追踪内存泄露问题
995
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
