如何使用fork()创建符合指定层级结构的5个管道连接进程

先核对目标进程数：根节点P 1个，两个中间层M进程2个，每个M对应一个底层C进程2个，总计5个进程，完全匹配给定的树形结构。

核心逻辑拆解 #

很多人调不对fork结构的核心原因是没有利用fork的返回值做分支隔离，导致子进程顺着代码流继续执行后续的fork调用，出现进程数量指数级增长。整个树的生成逻辑严格按照层级隔离：

• 初始P进程做第一次分支：调用一次fork，把生成的第一个M进程隔离在独立的执行分支里，M进程不参与P的后续逻辑
• P回到主流程后做第二次分支：调用一次fork，生成第二个M进程，同样做分支隔离
• 每个被隔离的M进程进入自己的分支后，再调用一次fork，把生成的C进程隔离在最底层分支
  整个过程每一次fork都通过返回值（>0为父进程上下文，0为子进程上下文）做分支切割，保证不会有跨层级的重复执行。

管道连接实现 #

按照相邻层级通信的需求，在每次fork之前创建对应管道，保证父子进程共享管道文件描述符：

• P和两个M之间各建立一对双向管道
• 每个M和自己对应的C之间各建立一对双向管道

可直接运行的参考代码 #

#include <stdio.h>
#include <unistd.h>
#include <sys/wait.h>

int main() {
    pid_t p_pid = getpid();
    printf("P进程启动，PID: %d\n", p_pid);
    pid_t m1_pid, m2_pid;

    // 第一次fork生成左侧M
    m1_pid = fork();
    if (m1_pid == 0) {
        // 左侧M的独立执行空间
        printf("左侧M启动，PID: %d，父PID: %d\n", getpid(), getppid());
        // M内部fork生成对应的C
        pid_t c1_pid = fork();
        if (c1_pid == 0) {
            printf("左侧C启动，PID: %d，父PID: %d\n", getpid(), getppid());
            // 在此处操作M传给C的管道fd
            _exit(0);
        }
        // 在此处操作P传给M的管道fd
        wait(NULL); // 等待自身的C进程退出
        _exit(0);
    }

    // 回到P的主执行空间，第二次fork生成右侧M
    m2_pid = fork();
    if (m2_pid == 0) {
        // 右侧M的独立执行空间
        printf("右侧M启动，PID: %d，父PID: %d\n", getpid(), getppid());
        // M内部fork生成对应的C
        pid_t c2_pid = fork();
        if (c2_pid == 0) {
            printf("右侧C启动，PID: %d，父PID: %d\n", getpid(), getppid());
            // 在此处操作M传给C的管道fd
            _exit(0);
        }
        // 在此处操作P传给M的管道fd
        wait(NULL); // 等待自身的C进程退出
        _exit(0);
    }

    // P的主执行空间，等待两个M进程全部退出
    printf("P等待两个M子进程退出，PID分别为: %d, %d\n", m1_pid, m2_pid);
    wait(NULL);
    wait(NULL);
    return 0;
}

关键避坑要点 #

• 所有子进程进入独立分支后必须显式调用_exit()退出，不能顺着代码流回到上层执行逻辑，否则会触发重复fork，导致进程数远超预期
• 管道必须在fork调用之前创建，否则父子进程拿到的文件描述符不共享，无法正常完成管道通信
• 调试时除了打印自身PID，必须同步打印getppid()获取父进程PID，和目标结构核对：两个M的父PID必须等于P的PID，两个C的父PID必须等于对应M的PID，一旦出现父PID错位就说明分支隔离逻辑写漏了

结构验证方法：代码编译运行后，执行ps -efH查看进程树，即可看到完全匹配P分叉出两个M、每个M再分叉出一个C的层级结构，没有多余进程。

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