首页 > 解决方案 > Valgrind 使用 g_test_trap_subprocess () 提供可能丢失的内存

问题描述

我目前正在使用 glib-Testing 为我正在编写的 C 库进行单元测试。这些测试的一部分检查代码是否在预期的情况下失败(我习惯于来自 Python 的这类测试,在这些测试中你会断言引发了某个异常)。我正在使用glib-Testing 手册中g_test_trap_subprocess ()的配方(请参见下面的最小示例),从单元测试的角度来看,它可以正常工作并提供正确的测试。

我的问题是当我在以下最小示例(test_glib.c)上运行 valgrind 时:

#include <glib.h>

void test_possibly_lost(){
        if (g_test_subprocess()){
                g_assert(1 > 2);
        }
        g_test_trap_subprocess(NULL, 0, 0);
        g_test_trap_assert_failed();
}

int main(int argc, char **argv){
        g_test_init(&argc, &argv, NULL);

        g_test_add_func("/set1/test", test_possibly_lost);

        return g_test_run();
}

编译

gcc `pkg-config --libs --cflags glib-2.0` test_glib.c

的输出valgrind --leak-check=full ./a.out

==15260== Copyright (C) 2002-2017, and GNU GPL'd, by Julian Seward et al.
==15260== Using Valgrind-3.14.0 and LibVEX; rerun with -h for copyright info
==15260== Command: ./a.out
==15260== 
/set1/test: OK
==15260== 
==15260== HEAP SUMMARY:
==15260==     in use at exit: 24,711 bytes in 40 blocks
==15260==   total heap usage: 2,507 allocs, 2,467 frees, 235,121 bytes allocated
==15260== 
==15260== 272 bytes in 1 blocks are possibly lost in loss record 36 of 40
==15260==    at 0x483AB65: calloc (vg_replace_malloc.c:752)
==15260==    by 0x4012AC1: allocate_dtv (in /usr/lib/ld-2.29.so)
==15260==    by 0x4013431: _dl_allocate_tls (in /usr/lib/ld-2.29.so)
==15260==    by 0x4BD51AD: pthread_create@@GLIBC_2.2.5 (in /usr/lib/libpthread-2.29.so)
==15260==    by 0x48BE42A: ??? (in /usr/lib/libglib-2.0.so.0.6000.6)
==15260==    by 0x48BE658: g_thread_new (in /usr/lib/libglib-2.0.so.0.6000.6)
==15260==    by 0x48DCBF0: ??? (in /usr/lib/libglib-2.0.so.0.6000.6)
==15260==    by 0x48DCC43: ??? (in /usr/lib/libglib-2.0.so.0.6000.6)
==15260==    by 0x48DCD11: g_child_watch_source_new (in /usr/lib/libglib-2.0.so.0.6000.6)
==15260==    by 0x48B7DF4: ??? (in /usr/lib/libglib-2.0.so.0.6000.6)
==15260==    by 0x48BEA93: g_test_trap_subprocess (in /usr/lib/libglib-2.0.so.0.6000.6)
==15260==    by 0x1091DD: test_possibly_lost (in /dir/to/aout/a.out)
==15260== 
==15260== LEAK SUMMARY:
==15260==    definitely lost: 0 bytes in 0 blocks
==15260==    indirectly lost: 0 bytes in 0 blocks
==15260==      possibly lost: 272 bytes in 1 blocks
==15260==    still reachable: 24,439 bytes in 39 blocks
==15260==         suppressed: 0 bytes in 0 blocks
==15260== Reachable blocks (those to which a pointer was found) are not shown.
==15260== To see them, rerun with: --leak-check=full --show-leak-kinds=all
==15260== 
==15260== For counts of detected and suppressed errors, rerun with: -v
==15260== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)

可能丢失的内存困扰着我,巧合的是我的代码也可能丢失了 272 个字节,所以我认为这可能是我使用 glib 的方式而不是我自己的结构的问题。就个人而言,我会将可能丢失的记忆视为绝对丢失,我想摆脱它。

所以我的问题是,是否有一个free我可以巧妙地插入以释放内存,一个不同的方法来检查失败的断言,或者这些丢失的 272 字节只是我必须忍受的东西?

标签: cunit-testingvalgrindglib

解决方案


这是一个有点奇怪的分配堆栈跟踪。 g_test_trap_subprocess()应该在子进程中运行指定的测试,但它正在创建一个线程。这些不是相互排斥的——一个子进程也可能被分叉——但是将线程与分叉混合是一项棘手的、挑剔的事情。

无论如何,跟踪似乎表明问题是由于 glib 启动的线程在程序退出之前未正确终止和清理而引起的。由于问题出在内部线程上,因此最好的解决方案是调用适当的关闭函数。我没有看到专门为 g_test 或更一般地在 GLib 实用程序函数中记录的这样一个函数,我也没有看到任何需要调用这样一个函数的文档,所以我将把这个问题归咎于一个小缺陷在格利布。

除非你能找到我错过的基于 glib 的解决方案,否则你最好的选择可能是接受你所看到的是一个 glib 怪癖,并编写一个 Valgrind 抑制文件,然后你可以使用它来指示 Valgrind 不要报告它。请注意,尽管您可以使用泄漏报告中提供的信息手动编写这样的文件,但最简单的方法是使用该--gen-suppressions=yes选项运行 Valgrind。--suppressions=/path/to/file.supp不管你怎么得到它,你都可以通过在 Valgrind 命令行上使用一个选项来指示 valgrind 在后续运行中使用它。

请查阅 Valgrind 手册(上面链接)以获取有关抑制文件的详细信息,包括格式、如何创建和修改它们以及如何使用它们。


推荐阅读