fork vs execvp，子进程中内存泄露?

突然被老弟问了一个问题，有点蒙蔽，怎么说我也写过 1 年 C 呀，哈哈哈持续征集C 短小精悍开源代码完整代码如下：

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <string.h>
#include <fcntl.h>
#include <assert.h>
#include <sys/wait.h>

int
main(int argc, char *argv[])
{
    int rc = fork();
    if (rc < 0) {
        // fork failed; exit
        fprintf(stderr, "fork failed\n");
        exit(1);
    } else if (rc == 0) {
        // child: redirect standard output to a file
        close(STDOUT_FILENO); 
        open("./p4.output", O_CREAT|O_WRONLY|O_TRUNC, S_IRWXU);

        // now exec "wc"...
        char *myargs[3];
        myargs[0] = strdup("wc");   // program: "wc" (word count)
        myargs[1] = strdup("p4.c"); // argument: file to count
        myargs[2] = NULL;           // marks end of array
        execvp(myargs[0], myargs);  // runs word count
    } else {
        // parent goes down this path (original process)
        int wc = wait(NULL);
    assert(wc >= 0);
    }
    return 0;
}

子进程里使用了 strdup，没看到内存释放的地方，即使 valgrind 开启了--trace-children=yes 也没有检测到内存泄露，这里是否存在内存泄露？之前有看过 execvp 会替换 fork 之后的子进程的内存空间?不清楚这块内存关系是怎么样的？

我和老弟争执一点如下，我认为如果程序快速执行完退出，不必太过纠结资源释放问题，进程退出了，系统会回收资源，当然好的习惯是不用的时候去 free 掉。针对常驻进程，需要重点关注内存泄露问题。我认为下面的程序没有内存泄露，即使 valgrind 检测出来：

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

int main()
{
    int *p = (int *)malloc(10 *sizeof(int));
    printf("program exit\n");
    
    return 0;
}

codehz

2020-03-14 23:33:44 +08:00

程序结束是保证能释放所占用的普通内存的（除了 hugepage 和共享内存）
如果观察到使用内存增多，那么肯定是因为系统缓存了一些东西
fork 到 exec 之间的这段时间所有内存分配都可以简单的无视，不需要考虑释放，exec 之后全都会被吃掉，valgrind 无需跟踪这部分的“泄漏”，除非 exec 失败，通过 exit 退出，这样 valgrind 才能跟踪到泄漏

geelaw

2020-03-15 03:49:29 +08:00

如果惟一可能的释放点是进程结束之前，那么是没有必要进行这个操作的，因为“大厦马上就要拆除了，没有必要打扫房间”。

不过你的第一个问题可以用简单的逻辑论证为什么你不需要释放：如果你释放了 strdup 产生的内存，则无法正确调用 execvp （除非你准备静态存储用来放置参数，但这显然无端增加麻烦，系统不会这样设计），因此你无法释放这段内存。

第二个问题取决于你的对内存泄露的定义。

msg7086

2020-03-15 11:30:53 +08:00

@52coder exec 不就是把自身进程替换成目标程序吗。当前进程的代码和内存空间都会被抹平，然后开始执行新的程序，让新的程序来重新申请内存空间。
比如你这里运行了 exec("wc")以后，你程序的代码和内存都会消失，然后内核把 wc 的代码加载进内存，然后运行 wc 的入口，让 wc 去申请和使用它自己新的内存空间。