c - fork翻译 - ubuntu fork




为什么这个程序打印“分叉!”4次? (4)

为什么这个程序打印“分叉!”4次?

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

int main(void) {

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

  printf("forked!\n");
  return 0;
}

对于所有的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次。







systems-programming