项目实战：valgrind与kmemleak——内存泄漏的终极“体检神器”

最新推荐文章于 2025-06-22 21:37:12 发布

嵌入式Jerry

最新推荐文章于 2025-06-22 21:37:12 发布

阅读量541

点赞数 17

CC 4.0 BY-SA版权

分类专栏：内核+内存管理文章标签：网络服务器运维

本文链接：https://blog.youkuaiyun.com/Interview_TC/article/details/148829121

内核+内存管理专栏收录该内容

4 篇文章

订阅专栏

作者：嵌入式Jerry

推荐阅读：《Yocto项目实战教程：高效定制嵌入式Linux系统》
京东正版促销，支持作者：https://item.jd.com/15020438.html

一、前言：内存泄漏，是每个系统工程师都要面对的“世界难题”

无论是嵌入式Linux、服务器软件，还是复杂的设备驱动与内核模块，内存泄漏都是导致“系统越跑越慢”“莫名其妙崩溃”“内存不够用”的核心隐患。
但不同层次、不同类型的内存泄漏，检测工具和方案截然不同。项目实践证明，valgrind（memcheck）和kmemleak，就是业内最强的两把“照妖镜”！

二、内存泄漏的实际项目现象——你见过几个？

1. 应用层现象：

运行一段时间后，应用进程的内存不断上涨，系统top里RSS一直增加。
系统刚启动很快，几个小时/天后逐渐变卡，甚至被OOM杀掉。
C/C++开发，疑似“malloc/new”后忘记“free/delete”，但代码太大根本找不到问题。

2. 内核/驱动层现象：

整机运行久了，free -h发现物理内存莫名其妙越来越少，但应用进程并没怎么占用。
驱动热插拔多次后，发现设备失灵或加载失败，内存池膨胀。
服务器/嵌入式产品不定期出现“不可预知重启”，甚至频繁死机、I/O延迟暴涨。

三、valgrind（memcheck）：应用层内存守门员

1. 工作原理

valgrind会拦截所有的malloc/free、new/delete等分配和释放操作，在虚拟机中运行你的程序，对每块内存的“分配-引用-释放”生命周期做精准追踪。
它能发现内存泄漏、越界访问、重复释放、未初始化使用等一系列高危Bug。

2. 实际用法与效果

代码示例（应用内存泄漏Bug）：

void func() {
    char *buf = malloc(1024);
    // ... 没有free(buf)，函数返回后这块内存就泄漏了
}

valgrind检测命令：

valgrind --leak-check=full ./your_app

输出结果典型：

==1234== 1024 bytes in 1 blocks are definitely lost in loss record 1 of 1
==1234==    at 0x484BDE0: malloc (vg_replace_malloc.c:xxx)
==1234==    by 0x1091F3: func (yourfile.c:line)
==1234==    by 0x109245: main (yourfile.c:line)

在这里插入图片描述

价值：

定位每一处泄漏的代码行、调用栈、大小，开发测试阶段即可全量发现应用的内存隐患。
配合CI/CD可实现上线前的内存健康体检。

四、kmemleak：内核和驱动的“X光片”

1. 工作原理

kmemleak作为内核的“垃圾探测器”，会周期性扫描所有内核分配的内存对象（如kmalloc、vmalloc、slab等）。
利用引用关系分析，判断哪些分配出来的内存“不再被任何变量/指针持有”，却还没有释放，就把它们标记为“可疑泄漏”。
本质类似于用户空间的“垃圾回收机制中的可达性扫描”，只不过是只报问题，不做自动清理。

2. 实际用法与效果

驱动代码泄漏示例：

static void *leak_ptr;
void bug_probe(void) {
    leak_ptr = kmalloc(256, GFP_KERNEL);
    // remove或异常路径未kfree(leak_ptr)
}

kmemleak检测命令：

echo scan > /sys/kernel/debug/kmemleak
cat /sys/kernel/debug/kmemleak

输出结果典型：

unreferenced object 0xffff88810b9ae300 (size 256):
  comm "insmod", pid 2021, jiffies 123456789 (age 123.456s)
  backtrace:
    [<...>] kmalloc_trace+0x2d/0xa0
    [<...>] bug_probe+0xab/0x100

价值：

能快速发现内核驱动、模块、协议栈中的内存泄漏问题，特别适合大项目、长时间运行后的健康检查。
日常自动化测试、发布前健康体检不可或缺。

五、两大工具的典型优势与局限

工具	优势	局限	典型适用场景
valgrind	检查细致，定位准确，输出友好	慢，应用内存占用大时会很慢	C/C++项目开发测试
kmemleak	内核态无感知、支持动态检测	只查“悬挂对象”，少数误报/漏报	驱动/内核开发与验证

实际工程建议：

应用层必跑valgrind，内核/驱动必开kmemleak，二者结合，能覆盖99%的内存安全风险。

六、背后原理通俗串讲

valgrind通过“拦截应用层的每一次内存分配与释放”，精确模拟所有指针的生命周期，能发现开发者最常见的“new了没delete、malloc了没free、数组越界”等错漏。
kmemleak“扫视”整个内核地址空间，自动找出那些“没人再引用的内存块”，像X光片一样标记出你没发现的“垃圾”，只要有未回收的堆内存，就能一网打尽。