宋宝华：可以杀死的深度睡眠TASK_KILLABLE状态(最透彻一篇)

标签：跳过   pen   smo   缺省   直接   ctr   加载   迷茫   ast   

深度睡眠与浅度睡眠!

众所周知，Linux的进程睡眠有两种常规状态：

• TASK_INTERRUPTIBLE（浅度睡眠）：可以被等待的资源唤醒，也能被signal唤醒；
• TASK_UNINTERRUPTIBLE（深度睡眠）：可以被等待的资源唤醒，但是不能被signal唤醒。
  简单来说，深度睡眠的进程必须等待资源来了才能醒，在此之前，甚至你给它发任何的信号，它都不可能醒来。

浅度睡眠的进程，则可以被信号唤醒，对于常规的键盘、串口、触摸屏等等这些I/O设备，显然符合此类模型。所以Linux内核的代码里面经常看到这样的代码模板，笔者在《Linux设备驱动开发详解》一书中也花了大篇幅解释如下模板：

调用_ _set_current_state(TASK_INTERRUPTIBLE)并schedule()出去的进程，醒来第一件事往往就是通过signal_pending(current)查看信号是否存在，如果存在，就跳出去处理信号，无需等待I/O的完成（大不了信号处理完了再重新read）。
TASK_INTERRUPTIBLE看起来很理想，不至于在I/O没完成的时候，连CTRL+C都不响应（当然也不会响应其他SIGIO、SIGUSR1等信号）。
那么，有的童鞋就会问，既然浅度睡眠这么好，那么还要TASK_UNINTERRUPTIBLE这种完全不响应信号的深度睡眠干什么？

深度睡眠不可避免

正在读本文的你，可能都有过这样的悲催经历，在NFS文件系统上面运行程序，但是NFS服务器挂了，你怎么都ctrl + c不掉那个进程，因为它就是个深度睡眠的场景。你徘徊，你迷茫，你问能不能直接都改为TASK_INTERRUPTIBLE，彻底删除TASK_UNINTERRUPTIBLE呢？

对此，祖师爷Linus的答复是：不可能。请看他2002年的邮件:

对于磁盘读等场景，如果读还没完成，就跳出去响应信号，application可能break，所以深度睡眠必须存在是一个客观的残酷的现实（cold fact）。

祖师爷还有更猛的一锤定音：

祖师爷没有点明为什么磁盘读的时候不应该跑用户态去执行信号处理函数，为什么引发application break。我理解其中的一个场景如下：Linux对于代码段、数据段、堆和栈都通常依赖demanding page在发生page fault的时候从磁盘swap进来的，从而导致磁盘读的行为。在这个过程中，如果我们执行浅度睡眠并响应信号而跳过去执行应用程序代码段设置的信号处理函数，则此信号处理函数的执行可能再次因为swap in的需求引发进一步的磁盘读，造成double page fault的场景。磁盘的读很大程度上不一定是read系统调用引发的，考虑到代码段、数据段、堆和栈的往往是发生了page fault后才去从磁盘swap进来。磁盘有其特殊性，在Linux这样的操作系统里面，磁盘某种意义上是"内存"。

但是，如果响应信号后，哪怕application break都已经无所谓了呢？如果我们的目的干脆就是发一个致命的信号，譬如杀死应用的信号(SIGKILL)，那么application break这个就显得无关紧要了，因为我们本身就不打算继续玩下去了！这样就使得深度睡眠的进程，还可以被杀死，妈妈再也不用担心NFS服务器挂了后，我痛苦，我孤独，我精分了!

可杀的深度睡眠

Linux因此推出了一个特殊的深度睡眠状态，叫做

• TASK_KILLABLE（可杀的深度睡眠）：可以被等到的资源唤醒，不能被常规信号唤醒，但是可以被致命信号唤醒，醒后即死。
  TASK_KILLABLE状态的定义是：

  #define TASK_KILLABLE (TASK_WAKEKILL | TASK_UNINTERRUPTIBLE)

所以它显然是属于TASK_UNINTERRUPTIBLE的，只是可以被TASK_WAKEKILL。
什么叫致命信号呢？talk is cheap，show me the code。

所以，足够致命的信号就是SIGKILL。SIGKILL何许人也，就是传说中的信号9，无法阻挡无法被应用覆盖的终极杀器：

仅仅从这个代码可以看出来，只有信号9才属于fatal signals。那么是不是只有信号9，才可以杀死TASK_KILLABLE的进程，信号2（CTRL+C）是否无能为力呢？
猜想再多，不如玩一个真实的代码，我们下面来改造下，把globalfifo.c的read改造为TASK_KILLABLE。

加载这个driver后，我们来读取它：

# insmod globalfifo.ko 
# insmod globalfifo-dev.ko 
# cat /dev/globalfifo 

这个时候，我们ps命令看一下，可以清楚到看到cat进程处于D状态：

root      7658  0.0  0.0  16800   752 pts/1    D+   19:21   0:00 cat /dev/globalfifo

从前面的代码可以看出，CTRL+C是不应该可以杀死这个cat进程的，因为它不是SIGKILL。但是我们来实际测试一下：

# cat /dev/globalfifo 
^C
#

实际却是可以杀死！！！
我们查看一下我们加的那个内核打印代码，看一下signal pending的情况：

# dmesg
[ 4670.082548] wake-up by fatal signal 100

明明我们发的是信号2，但是被置上的就是信号9(0x100的1对应SIGKILL的位)。这里发生了神奇的化学反应！！！
这踏马到底是怎么回事？不是一定致命的信号2，为什么转化为了最最致命的信号9呢？

信号2是如何转化为信号9的？

这个时候我们重点关注kernel/signal.c内核代码中的complete_signal()函数：

实际上，当Linux内核发现进程（线程组）收到了一个sig_fatal()的信号的时候，会给这个进程中的每个线程人为地插入一个SIGKILL信号，这个从while_each_thread循环可以看出。
sig_fatal()和fatal_signal_pending()不是一个概念。我们看看sig_fatal()的代码：

基本上，一个信号的行为如果是缺省的（SIG_DFL），它又没有被忽略，那么它就是满足sig_fatal()条件的。
如下图，流程大概是：
当我们给进程P1（假设内部有线程T1和T2，那么每个线程会有个tast_struct）发送信号2,这个2会填入T1和T2共享的进程级signal pending，由于我们对信号2没有绑定和忽略而是采用了默认行为，于是导致sig_fatal()条件满足。内核就会在T1和T2的各自独占的一份signal pending里面填入9，从而刺激fatal_signal_pending()条件的满足。

有的童鞋说，如果我的进程只有一个线程呢？那去掉上图中的T2以及T2独占的signal pending框即可：

为了进行验证，我们不再使用cat。而是自己写个app去访问globalfifo，而在此app里面修改信号2的行为：

我们通过signal(2, sigint)给信号2绑定了信号处理函数sigint()，这个时候read(fd, buf, 10)引发TASK_KILLABLE睡眠，我们无论怎么kill -2，都杀不死上面这个app。2到9的转化过程不再发生。

下面的修改也可达到类似效果：

上面我们是把信号2进行了SIG_IGN的忽略处理。
不仅信号2是这样的，其他的很多信号也类似，比如SIGHUP、SIGIO、SIGTERM、SIGPIPE等都可以在没有绑定和忽略的情况下，转化为信号9。但是SIGCHLD显然不一样，因为SIGCHLD默认就是忽略的。

(END)

宋宝华：可以杀死的深度睡眠TASK_KILLABLE状态(最透彻一篇)

标签：跳过   pen   smo   缺省   直接   ctr   加载   迷茫   ast   

原文地址：https://blog.51cto.com/15015138/2555352