C语言fork开发中如何实现进程按创建逆序执行完成

你最初的思路方向是对的：借助waitpid可以指定等待特定PID子进程退出的特性，配合存储子进程PID的数组，就能强制父进程按创建顺序的逆序回收子进程，实现「最后创建的进程最先执行完成」的效果。你的示例代码有几个细节问题需要修正，具体实现步骤如下：

• 提前定义PID存储数组：用pid_t类型的数组按创建顺序存每个子进程的PID，数组长度和你要创建的子进程总数一致即可，比如要创建num_processes个子进程，就定义pid_t pid_list[num_processes];
• 按序创建子进程时同步记录PID：循环fork的过程中，每成功创建一个子进程，就把返回的子进程PID存入数组对应下标位置——第一个创建的子进程存在pid_list[0]，第二个存在pid_list[1]，最后一个创建的子进程存在pid_list[num_processes - 1]。注意要判断fork返回值，fork失败时返回的-1不要存入数组，避免后续waitpid调用出错。
• 拆分父子进程执行逻辑：子进程拿到fork返回的0值后，直接执行自身的业务逻辑即可，逻辑执行完立刻调用exit(0)退出，不要在子进程中编写wait相关逻辑，避免出现非预期的等待行为。父进程要等所有子进程全部创建完成后，再开始执行等待回收的逻辑，不要边创建子进程边等待，否则会打乱回收顺序。
• 倒序遍历PID数组执行waitpid：从数组最后一个元素（也就是最后创建的子进程PID）开始，逐个调用waitpid阻塞等待对应子进程退出，回收完当前子进程资源后再等待前一个。你原来的循环起始下标有越界问题，修正后的代码如下：

// 注意遍历起始下标为num_processes - 1，避免访问数组越界
for (int i = num_processes - 1; i >= 0; i--) {
    // 第三个参数传0表示默认阻塞模式，直到对应子进程退出才返回
    waitpid(pid_list[i], NULL, 0);
    // 可在此处添加打印日志，验证回收顺序
    printf("已回收第%d个创建的子进程，pid=%d\n", i + 1, pid_list[i]);
}

常见踩坑提醒：如果子进程执行逻辑过短，可能会出现子进程在父进程调用waitpid之前就已经退出变成僵尸进程的情况，这是正常现象，waitpid依然可以正常回收僵尸进程，不会影响最终的逆序回收效果。如果需要严格控制子进程的执行顺序（而不只是回收顺序），可以在子进程中加信号等待逻辑，等父进程给对应子进程发信号之后再开始执行，一般作业场景下只要实现逆序回收就符合要求。

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