安全使用fork()创建多子进程，规避数据竞争与不确定行为

问题根源分析 #

你的代码存在两个核心问题：

1. 进程创建逻辑错误：fork后子进程会继续执行循环，导致每个子进程都会进入后续迭代，最终创建出2^4=16个进程（含父进程），完全不符合仅创建4个子进程的预期。
2. 输出与状态混乱：
   • 多进程同时向标准输出写入，即使刷新缓冲也会因进程调度顺序导致输出交叉；
   • 每个进程拥有独立的vector副本，父进程的vector会记录所有子进程PID，而子进程的vector仅包含自身被创建时的0值，后续循环不会再添加元素，这就是你看到不同total数值的原因。

修正后的安全实现代码 #

#include <iostream>
#include <vector>
#include <unistd.h>
#include <sys/wait.h>
#include <stdlib.h>

int main() {
    const int noThreads = 4; // 替换为你的目标子进程数量
    std::vector<pid_t> pids;
    std::cout << "Creating " << noThreads << " child processes\n";

    for(int i = 0; i < noThreads; ++i) {
        pid_t pid = fork();
        
        if (pid == -1) {
            // 处理fork失败的异常情况
            perror("fork failed");
            continue;
        } 
        else if (pid == 0) {
            // 子进程专属逻辑：执行任务后立即退出，避免继续循环创建新进程
            std::cout << "[Child " << getpid() << "] Started (parent: " << getppid() << ")\n";
            // 使用_exit而非exit，避免刷新父进程复制的输出缓冲
            _exit(EXIT_SUCCESS);
        } 
        else {
            // 父进程逻辑：仅父进程记录子进程PID
            pids.push_back(pid);
            std::cout << "[Parent] Created child PID: " << pid << "\tTotal children: " << pids.size() << "\n";
        }
    }

    // 父进程等待所有子进程结束，防止产生僵尸进程
    for (pid_t child_pid : pids) {
        waitpid(child_pid, nullptr, 0);
        std::cout << "[Parent] Child " << child_pid << " exited\n";
    }

    std::cout << "Cleaning up\n";
    return 0;
}

关键优化点说明 #

• 严格区分父子进程逻辑：子进程在fork后立即执行自身任务并退出，彻底避免子进程继续进入循环创建新进程；
• 错误处理：增加fork失败的异常处理，提升程序鲁棒性；
• 避免僵尸进程：父进程通过waitpid()等待所有子进程退出，回收子进程资源；
• 输出区分：给父进程和子进程的输出加上标识，方便区分不同进程的日志；
• 缓冲处理：子进程使用_exit()退出，避免刷新父进程复制的输出缓冲，减少输出混乱。

进一步解决输出交叉问题 #

如果需要彻底避免多进程输出交叉，可采用以下方案：

• 统一输出入口：让子进程通过管道将输出内容发送给父进程，由父进程统一打印；
• 进程间同步：使用文件锁或共享内存互斥量，确保同一时间只有一个进程写入标准输出。

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