vfork() 调用后退出和返回之间的区别

Question

我有一个具有未定义行为的程序（ vfork() 使用不当）：

#include <stdio.h>
#include <unistd.h>
#include <errno.h>

int main ( int argc, char *argv[] )
{
    pid_t pid;
    printf("___________befor fork______________.\n");
    if((pid=vfork()) < 0)
        perror("fork");
    else if(pid > 0)
        printf("parent\n");
    else
        printf("child\n");

    printf("pid: %d, ppid: %d\n", getpid(), getppid());

    //exit(0);
    return 0;
}

如果我使用 exit(0) 函数而不是 return - 输出是：

___________befor fork______________.
child
pid: 4370, ppid: 4369
parent
pid: 4369, ppid: 2924

如果我使用 return 0 -我得到这样的无限输出：

___________befor fork______________.
child
pid: 4455, ppid: 4454
parent
pid: 4454, ppid: 2924
___________befor fork______________.
child
pid: 4456, ppid: 4454
parent
pid: 4454, ppid: 2924
___________befor fork______________.
child
pid: 4457, ppid: 4454
parent
pid: 4454, ppid: 2924
    and so on ...

我知道您不能在 vfork() 函数之后的子级中使用 return 。 但我不明白为什么父级在 return 调用后没有结束？

谢谢。

Answer 1

从子级中的函数返回是无效的，因为使用 vfork() 父级和子级共享相同的堆栈，并且在子级中返回会弄乱父级的堆栈帧。通常，对 main() 的调用（在启动函数中）后面会调用 exit() 或类似的函数，以便调用 exit()<子级中的 /code> 将覆盖对 main() 的调用所使用的相同堆栈空间（并且仍在父级中使用）。因此，当子进程确实退出时，父进程将从 vfork() 返回，但堆栈上的返回地址可能会被破坏，因此它可以返回到任何地址或执行任何操作。

另外，在子进程中，如果您不执行，则应该调用 _exit() 而不是 exit()。 exit() 将刷新 stdio 输出缓冲区，但这些相同的缓冲区由父级管理，而 _exit() 将只是结束进程。

Answer 2

通过返回子进程，您将导致未定义的行为，因此任何事情都可能发生。

看起来您的父进程工作正常，但子进程没有退出，而是重新启动 main 函数。

Answer 3

你可以在 kernel.org 中看到 vfork 的定义： http://www.kernel.org/doc/man-pages/online/pages/man2/vfork.2.html 。这是一个很好的解释。

Answer 4

当前的 POSIX 标准根本不支持 vfork()。
在旧的（1997 年左右）POSIX 标准中，vfork( ） 说：

vfork() 函数与 fork() 具有相同的效果，但如果 vfork() 创建的进程则行为未定义。 code> 修改除用于存储 vfork() 返回值的 pid_t 类型变量以外的任何数据，或者从其中 vfork( ) 被调用，或者调用成功调用 _exit() 或 exec 系列函数之一之前的任何其他函数。

您的代码没有调用 exec 系列函数或 _exit()，因此您调用了未定义的行为，并且发生的任何事情都是合法的。

您刚刚演示了为什么使用 vfork() 通常不明智。 IMNSHO，它与 gets() 属于同一阵营；我知道它存在，但我永远不会自愿使用它，并且我会非常高兴实现如下：

pid_t vfork(void) { abort(); }
char *gets(char *buffer) { abort(); }