含循环fork调用的C程序中变量a的打印次数及首尾值求解

你的推导存在两处核心错误，正确的计算逻辑如下：

核心前提澄清 #

fork()创建子进程后，子进程会获得父进程地址空间的独立副本（包括全局变量a、循环变量i），父子进程对变量的修改互不影响，二者都从fork()调用的下一行代码开始执行，普通全局变量不会在多进程间共享。

总打印次数计算 #

循环共执行6次（i取值0到5），每次循环执行顺序为：先执行fork()，当前所有进程各生成一个子进程，进程数翻倍；之后所有进程（含新生成的子进程）都执行a++和循环内的printf：

• i=0循环：fork后共2个进程，循环内打印2次
• i=1循环：fork后共4个进程，循环内打印4次
• i=2循环：fork后共8个进程，循环内打印8次
• i=3循环：fork后共16个进程，循环内打印16次
• i=4循环：fork后共32个进程，循环内打印32次
• i=5循环：fork后共64个进程，循环内打印64次

循环内总打印次数：2+4+8+16+32+64 = 126次
循环结束后共64个存活进程，每个都会执行一次循环外的printf，新增64次打印
总打印次数为126+64=190次，你之前的计算少算了i=5的64次循环内打印，以及循环外的32次打印，因此得到的94次是错误的。

第一个打印值 #

首次打印来自i=0循环的两次输出，两个进程的a都是从0加1得到1，不管系统调度哪个进程先打印，第一个输出的值一定是1，这一点你的结果正确，但推导逻辑错误：并非两个进程分别打印1和2，而是二者都打印1，因为a是每个进程的私有变量，不会跨进程累加。

最后一个打印值 #

由于系统进程调度顺序不固定，最后一个打印的值理论上可以是1~6之间的任意整数：

• 最早创建的原始父进程会执行6次a++，a的最大值为6
• 最后一次循环（i=5）创建的子进程只会执行1次a++，a的最小值为1

你推导的终值62是完全错误的，错误根源是误以为全局变量a会在所有进程间共享累加，实际fork后每个进程都有独立的a副本，修改不会互相影响。

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