之前在学习wait和waitpid函数的时候,就对使用宏WIFEXITED来检查获取的进程终止状态产生过疑惑:一般我们在程序中是调用的exit或者_exit函数来退出的,那么wait和waitpid函数获取的终止状态直接就是我们传递给exit的参数不就OK了吗?
后来了解到是我考虑简单了,因为程序退出不仅仅只有我们显示地调用exit这么简单,还会有异常退出等情况,本文就对wait函数获取的状态做个总结!
先来对wait status做个整体总结,一般我们通过wait status可以判定子进程发生了以下事件:
(1)子进程通过传递一个整形参数给exit(或者_exit)而正常退出
(2)子进程被一个信号终止
(3)子进程被一个信号暂停(调用waitpid时指定WUNTRACED标志)
(4)暂停的子进程被信号SIGCONT恢复(调用waitpid时指定WCONTINUED标志)
平时我们说的进程termination status指的只是前两个wait status(可以通过$?来查看进程的termination status)。
那么wait status是如何表示这些事件的呢? —— 具体如何表示的,不同的平台有不同的定义,因为POSIX并没有对实现做出详细的定义,这也是为什么推荐使用宏来检查wait status了,主要是考虑到程序可移植问题。本文针对x86平台32位。
通过上图可以发现,虽然wait status是int型的,但实际上只使用了它的低2个字节。
高8位用来记录正常退出状态,这也正解释了为什么程序退出状态的范围总是0~255。
低8位用来记录信号。
好了,现在来看看这些宏具体是如何实现的吧!
在/usr/include/i386-linux-gnu/sys/wait.h中
在/usr/include/i386-linux-gnu/bits/waitstatus.h中
接下来我们简单分析下这几个宏:
WIFEXITED/WEXITSTATUS:当程序是正常退出时则WIFEXITED(status)为真,这种情况下WEXITSTATUS(status)返回子进程的退出状态。
WIFEXITED最后可以简写为:
[html] view plain copy
- #define WIFEXITED(status) (((status) & 0x7f) == 0)
当WIFEXITED(status)为真则表示((status) & 0x7f)为0,意思是:程序退出不是信号导致的退出,那么就是正常退出了。
WEXITSTATUS(status)可以简写为:
[html] view plain copy
- #define WEXITSTATUS(status) (((status) & 0xff00) >> 8)
先将低8位清零,然后右移8位,则取得高8位数值,即程序正常退出状态。
WIFSTOPPED/WSTOPSIG:当子进程是因为被一个信号暂停而返回时则WIFSTOPPED(status)为真,在这种情况下WSTOPSIG(status)返回这个暂停子进程信号的编号。
WIFSTOPPED(status)可以简写为:
[html] view plain copy
- #define WIFSTOPPED(status) (((status) & 0xff) == 0x7f)
当wait status低八位数值是0x7f时,则表明子进程是被信号暂停而返回的。
WSTOPSIG(status)可以简写为:
[html] view plain copy
- #define WSTOPSIG(status) (((status) & 0xff00) >> 8)
可以发现,在这种情况下,WSTOPSIG(status)与WEXITSTATUS(status)取值方式是一样的。
WIFCONTINUED:当一个暂停的子进程被信号SIGCONT唤醒而返回状态,则WIFCONTINUED(status)为真,否则为假。
WIFCONTINUED(status)可以简写为:
[html] view plain copy
- #define WIFCONTINUED(status) ((status) == 0xffff)
当wait status低两个字节数值为0xfff时,表明一个暂停的子进程被SIGCONT信号唤醒。
WIFSIGNALED/WTERMSIG/WCOREDUMP:当程序异常终止时WIFSIGNALED(staus)为真,这种情况下WTERMSIG(status)返回终止进程的信号编号。并且程序异常终止时产生了core文件的话,则WCOREDUMP(status)为真,否者为假。
WIFSIGNALED(status)可以简写为:
[html] view plain copy
- #define WIFSIGNALED(status) (((signed char)((status) & 0x7f + 1) >> 1) > 0)
这个宏的写法是这些宏当中最难理解的一个,以下是我的简单分析过程,对错还请批评指正!
(status) & 0x7f 的范围是0 ~ 127
(status) & 0x7f + 1 的范围是0 ~ 128
那么(signed char)((status) & 0x7f + 1) 的范围是1 ~ 127 和一个-128
由此推出:(signed char)((status) & 0x7f + 1) >> 1的范围是0 ~ 63 和一个-64
由此得出当wait status的低7位数值是0x7f时是不符合要求的,即宏WIFSIGNALED(status)的这种写法其实是排除了wait status的低7位数值是0x7f的。因为当低7位是0x7f(第8位为0)时表示的是子进程被信号暂停。其实现有的平台的信号编号也没有达到127的。
我们知道信号编号是从1开始的(kill函数对信号编号0有特殊的处理)。右移一位相当于除以2的操作,1除以2在程序中是等于0的,所有其中的加1操作其实很有技巧性,既利用了信号编号从1开始这个特性,又排除了127这个数值。
这个宏还可以如下实现:
[html] view plain copy
- #define WIFSIGNALED(status) (!WIFSTOPPED(status) && !WIFEXITED(status))
这样就好理解了,既不是信号暂停,又不是正常退出,那么肯定也不是被信号SIGCONT唤醒,那就肯定是被信号终止的情况了,哈哈。
WTERMSIG(status)可以简写为:
[html] view plain copy
- #define WTERMSIG(status) ((status) & 0x7f)
这个就不用解释了吧
WCOREDUMP(status)可以简写为:
[html] view plain copy
- #define WCOREDUMP(status) ((status) & 0x80)
这个也很好理解,就是检测第8位是否为1,是1,则生成core文件,否则不生成。
综上,可以发现APUE的pr_exit函数实现的不够全,下面给个全面的如下:
[cpp] view plain copy
- #include <stdio.h>
- #include <stdlib.h>
- #include <string.h>
- #include <sys/wait.h>
- void pr_exit(const char *msg, int status)
- {
- if (msg)
- printf("%s ", msg);
- if (WIFEXITED(status)) {
- printf("normal termination, exit status = %d\n", WEXITSTATUS(status));
- } else if (WIFSIGNALED(status)) {
- printf("abnormal termination, signal number = %d(%s)%s\n",
- WTERMSIG(status), strsignal(WTERMSIG(status)),
- #ifdef WCOREDUMP
- WCOREDUMP(status) ? " (core file generated)" : "");
- #else
- "");
- #endif
- } else if (WIFSTOPPED(status)) {
- printf("child stopped, signal number = %d(%s)\n",
- WSTOPSIG(status), strsignal(WSTOPSIG(status)));
- }
- #ifdef WIFCONTINUED
- else if (WIFCONTINUED(status)) {
- printf("child continued by SIGCONT signal\n");
- }
- #endif
- else { /* Should never happen */
- printf("what happened to this child? (status=%x)\n",
- (unsigned int) status);
- }
- }
PS:C标准对一个有符号数值并且是负数时的右移操作的说明是未实现的,我试了gcc,结果还是负数,对这块了解的不是很多,还请谅解。
参考链接:
http://tsecer.blog.163.com/blog/static/15018172012323975152/
http://www.cs.virginia.edu/pipermail/splint-discuss/2008-March/001136.html
参考书籍:
《The Linux Programming Interface》