关于fork()系统调用执行逻辑与输出结果的技术疑问

示例代码 #

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
int main()
{
    fork();
    printf("hello\n");
    fork();
    fork();
    return 0;
}

用户疑问 #

我原本认为fork()系统调用创建的子进程从下一条指令开始执行，那么输出应该只有2条"hello"语句，且第2、3次fork()调用是无用的，但实际运行得到8条"hello"输出。我的理解可能有误，恳请解释其中原理。

原理拆解 #

你的误解来自两个关键点：没算清总进程数，以及忽略了标准输出的缓冲复制机制，具体如下：

1. 进程创建的完整流程 #

初始只有1个进程（记为P0）：

• 执行第一个fork()：P0创建子进程P1，此时总进程数变为2。
• 这2个进程都会执行printf("hello\n")，但默认情况下如果stdout是全缓冲（比如输出到文件），或终端行缓冲未触发立即刷新，"hello\n"会暂存在进程的输出缓冲区中，不会立刻打印。
• 每个进程继续执行后续的两个fork()：
  • 第一个后续fork()：2个进程各自创建子进程，总进程数变为4。
  • 第二个后续fork()：4个进程各自创建子进程，总进程数最终变为8。

2. 缓冲区复制的关键影响 #

fork()会完整复制父进程的地址空间，包括未刷新的输出缓冲区。每个进程退出时，操作系统会自动刷新其缓冲区，将内容输出：

• P0、P1的缓冲区里有自身执行printf写入的"hello\n"，退出时各输出1次。
• 后续fork产生的6个子进程，都继承了父进程的缓冲区内容（已包含"hello\n"），退出时也会各输出1次。

最终8个进程各输出1次，总共得到8条"hello"。

验证：强制刷新缓冲区的效果 #

如果在printf后添加fflush(stdout);强制清空缓冲区，代码修改为：

#include <stdio.h>
#include <sys/types.h>
#include <unistd.h>
int main()
{
    fork();
    printf("hello\n");
    fflush(stdout);
    fork();
    fork();
    return 0;
}

此时输出会变成2条"hello"——因为缓冲区在后续fork前已被清空，子进程不会继承到待输出的内容。

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