僵尸进程
在介绍wait、waitpid和waitid函数之前，首先要介绍一下僵尸进程，因为，这三个函数的本质任务就是处理僵尸进程的问题。
进程会我们的生命体一样，也有消亡。进程在退出时，内核会清理进程几乎所有的资源。例如：内存资源、文件资源、信号量资源、共享内存资源或者引用数减一 又或释放共享内存资源。但还有少量的资源没有被内核清理，例如：进程控制块PCB task_struct、内核栈资源。这些资源没有被释放，是为了保留一些进程退出是的重要信息，例如：进程消耗的系统cpu时间、用户cpu时间；收到了多少信号等待这些信息，类似于“墓志铭”，总结了进程的一生。而wait、waitpid和waitid函数就是来释放这些“墓志铭”信息的。之后进程就脱离了僵尸进程的状态。
进程的僵尸进程的状态，是一种“刀枪不入的状态”，即使是用kill -9 也无法杀死。只能通过wait这些函数活着是通过init进程来“收尸”；
对于创建了很多的子进程的父进程，获取子进程的退出信息是非常有意义的。
wait函数
函数声明
include <sys/wait.h>
pid_t wait(int *status);
返回值
- 返回退出子进程的pid；
- 等待过程中，收到了信号。信号打断了系统调用，并且注册信号处理函数时没有设置SA_RESTAR标识位，系统调用不会被重启。wait函数返回-1，全局变量error=EINIR（表示函数被信号中断）；
- 所有需要等待的子进程都已经退出，没有要等的子进程的。wait函数返回-1，全局变量error=ECHLD（表示调用进程时发现并没有子进程需要等待）；
由上述返回值的含义，等待所有子进程的退出时，要注意不要丢掉对信号中断情况的考虑，代码如下：
pit_t my_wait(int *state)
{
int retval;
while( (retval=wait(state))!=-1 && (error==EINIR) );
return retval;
}
参数说明
wait函数的参数和waitpid函数的参数是一个意思。但waitpid函数对wait函数的局限性做了扩展，所以，在介绍waitpid时，再来讲wait的参数。
wait函数的局限性
- 不能等待特定的子进程
- 如果子进程不存在，就会阻塞
- 只能探知子进程的死亡，却不能探测子进程的暂停，也无法探知进程的苏醒
waitpid函数
waitpid函数的声明
#include<sys/wait.h>
pid_t waitpid(pit_t pid,int *status,int options);
返回值
返回值和wait函数一样。
参数说明
pid参数
- pid > 0：表示等待进程ID为pid的子进程；
- pid = 0：表示等待与调用进程同一进程组的任意子进程；
- pid = -1：表示等待任意子进程；
- pid < -1：表示等待所有子进程中，进程组ID与pid绝对值相等的所有子进程；
pid参数的理解：
首先给父进程要等待的子进程分类。子进程分为：和父进程同一进程组的子进程，和父进程不同进程组的子进程。子进程可以设置自己的进程组，所以某些子进程不一定和父进程归属于同一个进程组；pid>0,很自然，代表要等待的子进程pid，这叫做“精准打击”；还有情况就是分类等待子进程。由上述分类可知，与父进程为同一进程组的子进程怎么表示，调用waitpid函数的父进程本来就知道自己的进程组pid，所以，不用设置参数pid的值，即给0就行；那与父进程不在同一进程组的子进程的话，就得设置参数pid的值了，但要和“精准打击”的方式区别开，所以给负值，但取绝对值；当然，等待任意子进程的需求还是有的，而现在也正好只剩下一个值“-1”，刚好给它用；综述，通过上面的分析才有了pid参数的使用方式。
内核实现简述
内核之中，wait和waitpid函数调用的都是wait4函数。根据pid的值来给wait_ opts结构体变量wo中的wo_type复制，再以实参的形式传参给do_wait函数,do_wait函数来决定等待什么状态的子进程。
wait4中的部分代码：
struct wait_opts wo;
.
. //给type复制的过程
.
wo.wo_type = type;
wo.wo_pid = pid;
.
.
.
ret = do_wait(&wo);
在do_ wait函数中，主要要完成两个人物，第一，父进程中的每个线程都会去遍历子进程，第二，筛选要等待的子进程；在内核中，task_struct成员中children变量是保存子进程链表的链表头，利用list_for_each_enpty函数来遍历。利用eligible_pid函数来筛选。
遍历子进程代码：
static int do_wait_thread(struct wait_opts *wo,
struct task_struct *tsk)
{
struct task_struct *p;
list_for_each_enpty(p,&tsk->children,silbling)
{
int ret = wait_consider_task(wo,0,p);
if(ret)
return ret;
}
return 0;
}
筛选子进程的代码：
static int eligible_pid(struct wait_opts *wo,
struct task_struct *p)
{
return wo->wo_type == PIDTYPE_MAX ||
task_pid_type(p,wo->wo_type) == wo->wo_pid;
}
当waitpid函数参数pid的值为-1时，wo_type的值为PIDTYPE_MAX；其他三种情况由task_pid_type函数来处理。
参数options
是一个位掩码，可以同时存在多个标志。当options的值为0时，行为和wait类似。
标志位：
- WUNTRACE：关心终止子进程和因信号中断的子进程的信息（阻塞）；
- WCONTINUED：关系终止子进程和信号终止后由恢复执行的子进程（阻塞）；
- WNOHANG：指定的子进程没有发生变化，waitpid立即返回，返回值为0；出错返回时，返回值为-1，通过error=ECHILD和返回值来区分这两种情况。注意：error的值不会为EINTR，因为信号中断由WUTRACE来控制。
参数status
该参数存储的信息时按位存储的，我们没办法解析status的值，只能通过系统提供的宏去解析。这些宏安功能分可以分为两类：获取子进程状态和判断是非由相应信号产生；
- 进程正常退出
WIFEIXITED（status）：正常退出，返回true；
WEXITSTATUS（status）：正常退出，获取进程退出状态；
- 进程收到信号退出
WIFSIGNALED(status): 被信号杀死，返回true；
WTREMSIG（status）：被信号杀死，返回杀死进程的pid；
WCOREDUMOP（status）：子进程产生core dump，返回true；
- 进程收到信号停止
WIFSTOPPED(status)：收到相关信号，暂停执行，返回true；
WSTOPSIG（status）：如果子进程处于停止状态，该宏返回导致子进
程停止的信号值；
- 进程收到信号回复执行
WIFCONTINUED(status): 递送SIGCONT信号，子进程回复执行，返回true；
没有必要返回使子进程苏醒的信号的值，因为只有唯一一个SIGCONT信号才能使进程又停止状态恢复到执行状态。