C语言中wait函数底层是如何实现的？为何可逐个回收多子进程？

要搞清楚这个问题，核心是要区分 信号通知机制 和 内核进程状态维护机制 是两个完全独立的内核模块，二者没有强绑定关系：

1. 内核的子进程状态存储逻辑 #

每个进程在内核中对应唯一的task_struct（进程描述符）结构，子进程终止后不会被立刻释放全部资源，会进入僵尸状态（TASK_ZOMBIE），仅保留PID、退出状态、资源统计等必要信息，供父进程回收。
内核会为每个父进程维护一个已终止子进程链表，只要子进程进入僵尸状态，就会被插入到这个链表中。这个链表的更新完全独立于信号体系，所有终止的子进程都会被完整记录，不存在「丢弃」「合并」的问题，也不受信号排队规则的影响。

2. wait() 的执行逻辑 #

wait() 族函数的执行完全基于上述链表，不需要依赖SIGCHLD信号，核心流程如下：

• 调用wait()后，内核首先遍历当前进程的已终止子进程链表：
  • 如果链表非空：取出链表中的第一个僵尸子进程，将其退出状态写入传入的status指针，释放该子进程剩余的全部内核资源，将其从链表中移除，最后返回该子进程的PID
  • 如果链表为空，且当前进程还有处于运行状态的子进程：父进程进入阻塞睡眠，直到有新的子进程终止被插入链表，内核唤醒父进程执行回收逻辑
  • 如果链表为空且没有任何存活子进程：直接返回-1，设置errno为ECHILD
    你调用两次wait()就能回收两个子进程，本质就是两次从已终止链表中取出元素的操作，自然不会出现遗漏。

3. SIGCHLD 和 wait() 的关系 #

SIGCHLD只是一个可选的异步通知：子进程终止时，内核除了更新已终止子进程链表，还会额外给父进程发送一个SIGCHLD信号，作用仅为「提醒父进程现在有子进程终止，可以调用wait()回收」。它本身不承载子进程的具体信息，也不会记录终止的子进程数量，所以才会出现同类型信号合并丢弃的问题。
实际编程中为了避免SIGCHLD不排队导致的遗漏回收，通常的处理方式是在SIGCHLD信号处理函数中循环调用waitpid(-1, &status, WNOHANG)，直到返回-1，就可以一次性回收所有当前已终止的子进程。 #

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