Fork() 在 UNIX 中的 IF 语句中

Question

我对 fork() 的理解是，一旦它创建了子进程，它就对我们到达“fork()”之前存在的代码一无所知。 但是在具有多个 fork() 的 if 语句中，似乎子进程正在执行参数计算，即使它出现在它的 fork() 创建者之前。

例如：

int main ()
{
if((fork())==(fork()))
   printf ("Hello.\n");

printf ("Bye.\n");
return 1;
}

将有包括父亲在内的4个进程的总和。在由另一个子进程创建的子进程（我将其称为 d）中，创建我们的 d 进程的 fork() 是 if 语句中的第二个 fork()。

尽管第一个 fork() 对 d 不熟悉，但我的理解是 d 进程计算出 0==0 并打印“Hello”（输出肯定是正确的）。我有两个问题：

1.d 进程是如何到达创建这个 d 进程（第二个）的 fork() 之前的 if 语句中的第一个 fork() 的？

2.为什么我们在 d 进程中的第一个 fork() 等于 0，如果它只发生在由这个特定的 fork()（d 的父亲）创建的子进程中？

Answer 1

我对 fork() 的理解是，一旦在其中创建的子进程对该点之前存在的代码一无所知，我们就会到达“fork()”。

除了返回值fork() 之外，子代是父代的精确复制品。这包括所有运行时状态，包括内存和 CPU 寄存器。这就是进程拥有的所有内存，所以它们“记住”相同的东西。

让我们像这样重写你的程序：

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

int main(void)
{
    pid_t a = fork();
    pid_t b = fork();
    if (a == b)
        printf ("Hello.\n");
    printf ("Bye.\n");
    return 1;
}

分叉之后，有四个进程，原来的一个有a != 0 && b != 0（和a != b，因为它的两个孩子是不同的），另外两个有a和b之一，零，第四个有a == b == 0。最后一个是a == b 的唯一一个，因此它运行有条件的printf() 调用。