Linux环境下该伪C代码创建的进程数量求解

首先纠正代码中的明显错误：if ( childpid == 0 ) 应为 if ( pid[i] == 0 )——因为子进程中pid[i] = fork()的返回值是0，父进程返回的是子进程PID（>0），这是代码逻辑能正常运行的前提。

接下来分阶段分析进程创建情况：

1. 父进程第一轮循环创建的进程 #

父进程会完整执行72次循环（i从0到71），每次调用fork()创建一个子进程，这一步总共创建72个子进程。

每个子进程在创建后，会进入pid[i] == 0的分支，执行后续判断后退出。

2. 子进程中的额外进程创建 #

子进程进入分支后，会判断条件(pid[0] > 0) && (pid[71] == 0)，逐个分析每个子进程的条件满足情况：

• 第0个子进程（i=0）：它是父进程第一次fork的结果，此时子进程的pid[0] = 0，因此pid[0] > 0不成立，条件不满足，不会执行额外的fork，直接退出，无新进程创建。
• 第1到第70个子进程（i=1到i=70）：这些子进程是父进程在i>=1时创建的，此时父进程已经完成了i=0的循环，子进程复制的pid[0]是父进程中fork第0个子进程的返回值（>0）；同时父进程还未执行到i=71的循环，pid[71]保持初始值0。因此条件满足，执行if(fork()) fork();。
• 第71个子进程（i=71）：它是父进程最后一次fork的结果，子进程的pid[71] = 0，而pid[0]是父进程中fork第0个子进程的返回值（>0），因此条件也满足，执行if(fork()) fork();。

分析if(fork()) fork();的进程创建数 #

这条语句的执行逻辑：

1. 第一次调用fork()：创建1个新进程（记为进程A），原进程（当前子进程）返回进程A的PID（>0），因此进入if分支。
2. 第二次调用fork()：原进程再次创建1个新进程（记为进程B）。

因此，每个执行该语句的子进程，会额外创建2个新进程。

3. 总创建进程数 #

第一轮创建72个，加上第1到71子进程（共71个）每个创建2个，总创建进程数为：
72 + 71*2 = 214

内容的提问来源于stack exchange，提问作者pouyer