c - fork翻译 - ubuntu fork

^{对于所有的downvoters，这是来自一个合并但不同的问题。 责备SO。 谢谢。}

您可以将问题分解为三行，第一行和最后一行都只是进程数量的两倍。

fork() && fork() || fork();

运营商是短路的，所以这是你得到的：

       fork()
      /      \
    0/        \>0
 || fork()     && fork()
     /\            /   \
    /  \         0/     \>0
   *    *     || fork()  *
                /   \
               *     *

所以这总共是4 * 5 = 20个处理每个打印一行。

注意：如果由于某种原因fork（）失败（例如，您对进程数有一些限制），它将返回-1，然后您可以得到不同的结果。

一个来自main() ，另一个来自每个fork() 。

注意所有三个forks()都将被执行。 你可能想看看ref ：

返回值

成功完成后， fork（）应将0返回给子进程，并将子进程的进程ID返回给父进程 。 这两个进程都应该继续从fork（）函数中执行。 否则，-1应返回到父进程，不应创建子进程，并应设置errno来指示错误。

请注意，进程ID不能为零，如此处所述。

那么究竟发生了什么？

我们有：

fork() && (fork() || fork());

因此，第一个fork()将返回父非零进程ID，而它将返回0到子进程。 这意味着逻辑表达式的第一个分支将在父进程中被评估为true，而在子进程中它将被评估为false，并且由于短路评估 ，它将不会调用剩下的两个fork() 。

所以，现在我们知道至少会得到两个打印件（一个来自main，另一个来自第一个fork() ）。

现在，父进程中的第二个fork()将被执行，它会执行，它会向父进程返回一个非零值，并在子进程中返回一个零值。

所以现在，父进程将不会继续执行到最后一个fork() （由于短路），而子进程将执行最后一个fork，因为||的第一个操作数。 是0。

所以这意味着我们会再印两张。

结果，我们总共获得了四张照片。

短路

在这里， 短路基本上意味着如果&&的第一个操作数为零，则其他操作数不被评估。 在相同的逻辑中，如果||的操作数 是1，那么其余的操作数不需要评估。 发生这种情况是因为其余操作数无法更改逻辑表达式的结果，所以不需要执行，因此我们可以节省时间。

见下面的例子。

处理

请记住，父进程创建后代进程，进而创建其他进程等。 这导致了进程的层次结构（或者可以说是一棵树）。

记住这一点，值得看看这个类似的问题 ，以及this答案。

描述性图像

我猜想，这个数字可以帮助我。 我认为每次调用pid的fork()返回值都是3,4和5。

注意一些fork()在它们上面有一个红色的X，这意味着它们不会被执行，因为逻辑表达式的短路评估。

顶部的fork() s不会被执行，因为运算符&&的第一个操作数是0，因此整个表达式将导致0，所以在执行&&的其余操作数时没有本质。 。

底部的fork()不会被执行，因为它是||的第二个操作数 ，其第一个操作数是一个非零数字，因此无论第二个操作数是什么，表达式的结果都已经计算为true。

在下一张图片中，您可以看到进程的层次结构： 基于上图。

短路电路的例子

#include <stdio.h>

int main(void) {

  if(printf("A printf() results in logic true\n"))
    ;//empty body

  if(0 && printf("Short circuiting will not let me execute\n"))
    ;
  else if(0 || printf("I have to be executed\n"))
    ;
  else if(1 || printf("No need for me to get executed\n"))
    ;
  else
  printf("The answer wasn't nonsense after all!\n");

  return 0;
}

输出：

A printf() results in logic true
I have to be executed

执行fork() && (fork() || fork()) ，会发生什么情况

每个fork分别给出2个进程，分别为pid（父）和0（子）

第一叉：

• 父类的返回值是pid not null =>执行&& (fork() || fork())
  • 第二个fork父值是pid not null会停止执行|| 部分=>打印forked
  • 第二个fork子值= 0 =>执行|| fork() || fork()
    • forked第三个分叉父打印
    • 第三叉子印花forked
• 子返回值为0，停止执行&&部分=>打印forked

总计：4 forked

此代码：

fork();
fork() && fork() || fork();
fork();

为自己获得20个进程，并且20次Printf将进入。

和

fork() && fork() || fork();

printf将总共进行5次。