Valgrind：Valgrind 检测到仍然存在泄漏

Question

本块中提到的所有函数都是库函数。我怎样才能纠正这个内存泄漏？

它列在“仍然可达”类别下。 （还有另外 4 个，非常相似，但大小不同）

 630 bytes in 1 blocks are still reachable in loss record 5 of 5
    at 0x4004F1B: calloc (vg_replace_malloc.c:418)
    by 0x931CD2: _dl_new_object (dl-object.c:52)
    by 0x92DD36: _dl_map_object_from_fd (dl-load.c:972)
    by 0x92EFB6: _dl_map_object (dl-load.c:2251)
    by 0x939F1B: dl_open_worker (dl-open.c:255)
    by 0x935965: _dl_catch_error (dl-error.c:178)
    by 0x9399C5: _dl_open (dl-open.c:584)
    by 0xA64E31: do_dlopen (dl-libc.c:86)
    by 0x935965: _dl_catch_error (dl-error.c:178)
    by 0xA64FF4: __libc_dlopen_mode (dl-libc.c:47)
    by 0xAE6086: pthread_cancel_init (unwind-forcedunwind.c:53)
    by 0xAE61FC: _Unwind_ForcedUnwind (unwind-forcedunwind.c:126)

Catch：一旦我运行我的程序，它没有出现内存泄漏，但它在 Valgrind 输出中多了一行，这是之前没有出现过：

丢弃 0x5296fa0-0x52af438 处的符号 在/lib/libgcc_s-4.4.4-20100630.so.1 由于 munmap()

如果泄漏无法纠正，有人至少可以解释为什么 munmap() 行导致 Valgrind 报告 0 个“仍然可达”泄漏吗？

编辑：

这是一个最小的测试示例：

#include <stdio.h>
#include <stdlib.h>
#include <pthread.h>

void *runner(void *param) {
    /* some operations ... */
    pthread_exit(NULL);
}

int n;

int main(void) {

    int i;
    pthread_t *threadIdArray;

    n=10; /* for example */

    threadIdArray = malloc((n+n-1)*sizeof(pthread_t));  

    for(i=0;i<(n+n-1);i++) {
        if( pthread_create(&threadIdArray[i],NULL,runner,NULL) != 0 ) {
            printf("Couldn't create thread %d\n",i);
            exit(1);
        }
    }


    for(i=0;i<(n+n-1);i++) {
        pthread_join(threadIdArray[i],NULL);
    }

    free(threadIdArray);

    return(0);
}

运行：

valgrind -v --leak-check=full --show-reachable=yes ./a.out

Answer 1

定义“内存泄漏”的方法不止一种。特别是，程序员中常用的“内存泄漏”有两个主要定义。

“内存泄漏”的第一个常用定义是“内存已分配，但在程序终止之前并未随后释放”。然而，许多程序员（正确地）认为，符合此定义的某些类型的内存泄漏实际上不会造成任何问题，因此不应被视为“真正的内存泄漏”。

“内存泄漏”的一个可以说更严格（也更有用）的定义是，“内存已分配，并且随后无法释放，因为程序不再有任何指向已分配内存块的指针。”换句话说，您无法释放不再有任何指针指向的内存。因此，这样的内存是“内存泄漏”。 Valgrind 使用术语“内存泄漏”的更严格定义。这种类型的泄漏可能会导致严重的堆耗尽，特别是对于寿命较长的进程。

Valgrind 泄漏报告中的“仍然可达”类别是指仅符合“内存泄漏”第一个定义的分配。这些块没有被释放，但它们本来可以被释放（如果程序员愿意），因为程序仍在跟踪指向这些内存块的指针。

一般来说，无需担心“仍然可达”的块。它们不会造成真正的内存泄漏可能导致的问题。例如，“仍然可达”的块通常不会导致堆耗尽。这是因为这些块通常是一次性分配的，在进程的整个生命周期中都会保留对其的引用。虽然您可以检查并确保您的程序释放所有分配的内存，但这样做通常没有实际好处，因为操作系统无论如何都会在进程终止后回收进程的所有内存。将此与真正的内存泄漏进行对比，如果不修复，如果运行时间足够长，可能会导致进程耗尽内存，或者只会导致进程消耗远远超过所需的内存。

确保所有分配都具有匹配的“释放”的唯一有用的情况可能是，如果您的泄漏检测工具无法判断哪些块“仍然可访问”（但 Valgrind 可以做到这一点），或者您的操作系统没有回收所有的终止进程的内存（Valgrind 已移植到所有平台来执行此操作）。

Answer 2

这是“仍然可达”的正确解释：

“仍然可达”是分配给全局和静态局部变量的泄漏。因为 valgrind 跟踪全局变量和静态变量，所以它可以排除分配“一次即忘记”的内存分配。全局变量分配一次分配并且从未重新分配该分配通常不是“泄漏”，因为它不会无限期增长。从严格意义上来说它仍然是一个泄漏，但通常可以被忽略，除非你是迂腐的。

分配分配但未释放的局部变量几乎总是泄漏。

下面是一个示例，

int foo(void)
{
    static char *working_buf = NULL;
    char *temp_buf;
    if (!working_buf) {
         working_buf = malloc(16 * 1024);
    }
    temp_buf = malloc(5 * 1024);
    ....
    ....
    ....
}

Valgrind 将working_buf 报告为“仍然可达 - 16k”，将 temp_buf 报告为“绝对丢失 - 5k”。

Answer 3

对于未来的读者来说，“仍然可以访问”可能意味着您忘记关闭文件之类的东西。虽然在最初的问题中看起来并非如此，但您应该始终确保您已经这样做了。

Answer 4

您似乎不明白 stillreachable 的含义。

任何仍然可达的东西都不是泄漏。你不需要对此做任何事情。