请问以下C程序将创建多少个进程？请附带详细解释

结论 #

这个程序总共会存在8个进程（包含程序启动时系统创建的初始进程），其中由程序中的fork()系统调用新创建的进程是7个。

详细分析 #

1. fork()的进程创建逻辑

程序启动后，系统先创建1个初始进程（记为P0）。后续的三次fork()调用会按以下方式生成新进程：

• 第一次fork()：P0调用fork()，操作系统复制P0生成新子进程P1，总进程数变为2。
• 第二次fork()：当前存在的2个进程（P0、P1）各自调用fork()，分别生成子进程P2、P3，总进程数变为4。
• 第三次fork()：当前存在的4个进程（P0、P1、P2、P3）各自调用fork()，分别生成子进程P4、P5、P6、P7，总进程数变为8。

2. execl()的作用说明

每个进程执行到execl("/bin/date", "date", 0)时：

• 如果调用成功，该系统调用会替换当前进程的全部内存空间为/bin/date程序的代码、数据和堆栈，原程序中Line B、Line C的代码不会再执行，但进程本身依然存在——execl不会创建新进程，只是替换当前进程的运行内容。
• 如果调用失败（比如找不到date可执行文件），进程会继续执行后续的printf语句，但这不会改变已经创建的进程数量。

原程序代码 #

#include <stdio.h>

main()
{
    printf("Here comes the date.\n");    
    printf("Here it is.\n");

    fork();    
    fork();    
    fork();

    execl("/bin/date", "date", 0); //Line A

    printf("That was the date.\n"); //Line B    
    printf("Program will exit now.\n"); //Line C    
}

内容的提问来源于stack exchange，提问作者Zakey .M.S.M.A