Linux下用htop监测C代码循环内存变化：是否存在内存泄漏？

问题场景 #

我正在测试C代码以检测内存泄漏，代码包含两个函数：initialize（初始化结构体上下文并分配内存）和finalize（释放该结构体上下文的内存）。通过如下循环调用这两个函数：

struct context = NULL;
while (1) {
    initialize(&context);
    sleep(30);
    finalize(&context);
    sleep(30);
}

使用htop命令监测内存变化，结果如下：

VIRT RES   -> VIRT RES
745M 78588 -> 126M 24752
672M 79112 -> 281M 51072
671M 81224 -> 281M 55300
671M 81224 -> 281M 55300
671M 81252 -> 281M 55332
671M 96488 -> 281M 70560
671M 102M  -> 281M 79368
671M 102M  -> 281M 79376
671M 109M  -> 281M 85724
671M 111M  -> 281M 88152

每行对应一次循环的内存变化：左侧为initialize后的内存状态，右侧为finalize释放后的状态，记录了VIRT（虚拟内存）和RES（物理内存）数值。可以看到VIRT数值稳定（初始化时约671M，释放后281M），但RES数值随每次循环逐渐递增。

问题：这种情况是否属于内存泄漏？

解答 #

核心判断依据 #

首先明确两个内存指标的含义：

• VIRT：程序占用的虚拟内存空间，稳定说明没有持续申请新的虚拟地址空间，排除了无限分配虚拟内存的情况。
• RES：程序实际占用的物理内存，持续递增意味着每次循环后，有部分物理内存没有被归还给操作系统。

从数据趋势来看，这种情况大概率属于内存泄漏，但也需要排除以下两种可能性：

1. 内存碎片化：多次分配/释放小块内存后，内存空间碎片化，操作系统无法将零散的空闲块合并成可用的大内存块，导致后续分配需要申请新的物理页，RES暂时增长。但这种增长通常会在达到一定阈值后趋于稳定，不会持续无限递增。
2. 第三方库或系统缓存：如果initialize调用了第三方库函数，且这些库内部存在未清理的缓存机制，可能导致物理内存积累。但此类缓存通常有上限，不会持续增长。

验证与排查建议 #

1. 使用专业检测工具：用Valgrind memcheck直接检测代码，它能精准定位未释放的内存块、野指针等问题，这是判断内存泄漏最可靠的方法。
2. 延长循环测试：继续运行循环，观察RES是否会持续增长直至系统内存耗尽。如果是，基本可以确认存在内存泄漏。
3. 检查finalize函数逻辑：
   • 确保initialize中分配的所有内存（包括结构体内部的动态成员，如字符串、子结构体数组等）都被逐一释放；
   • 释放后将指针置为NULL，避免后续操作出现野指针或重复释放问题；
   • 检查是否有遗漏的内存分配路径（如分支判断中分配的内存未在对应的分支释放）。

内容的提问来源于stack exchange，提问作者dongrixinyu