涉及fork（）的C程序输出的说明

Question

运行这个程序正在打印“分叉！” 7次。 有人可以解释一下“分叉！” 正在打印7次？

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

int main(){

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

  printf("forked!\n");

  return 0;
}

Answer 1

这里使用了几个概念，第一个是知道fork在什么情况下做什么以及它返回什么。 很快，当它被调用时，它会创建一个重复的调用者进程，并在子进程中返回0 （逻辑表达式为false ），父进程返回非零（逻辑表达式为true ）。 实际上，它可以在出现错误时返回负（非零）值，但在这里我们假设它总是成功。

第二个概念是逻辑表达式的短路计算，例如&&和|| ，具体来说， 0 && fork() 不会调用fork() ，因为如果第一个操作数为false （零），则不需要计算第二个操作数。 同样， 1 || fork() 1 || fork()也不会调用fork() 。

另请注意，在子进程中，表达式的计算将继续与父进程中的计算相同。

另请注意，由于优先级，表达式按以下顺序计算：

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

这些观察结果应该引导您找到正确的答案。

考虑fork() && fork()的简化示例

   fork()        
  /     \
false   true && fork()
                /   \
             false  true

所以这里创建了三个进程，其中两个返回false作为结果，一个返回true 。 然后为|| 我们让所有进程返回false尝试再次运行相同的语句，所以我们有2 * 3 + 1 = 7作为答案。

Answer 2

与我在评论中提到的不同，这不是关于缓冲。 过程分叉。 父进程执行第二个分叉，而子进程短路第二个分支并执行第三个分支。 第一个孙子评估第一个&&为false并执行第3个fork。 这产生了2个进程，其中一个进程评估第4个分支。 与此同时（或之前或之后......存在竞争条件！），另一个孩子在评估||的RHS时已成为3个过程 。 总之，7个进程最终运行。 画一棵树。

要简化计算，请考虑：

int f( void )
{
  int k; 
  k = fork();
  printf( "%d\n", (int) getpid());
  fflush( stdout );
  return k;
}

int main( void ) { f() && f() || f() && f(); return 0; }