Linux进程的不可中断休眠与可中断休眠状态

Linux中进程状态变迁的状态机如下图所示：

进程的睡眠状态是进程为了等待特定事件（如：等待IO完成、等待条件变量为真）发生而进行休眠的状态。需休眠的进程会从CPU的运行队列上移除，并放入到休眠队列中等待被唤醒。

Linux 中的进程睡眠状态有两种：一种是可中断的睡眠状态（S状态），其状态标志位为TASK_INTERRUPTIBLE；另一种是不可中断的睡眠状态（D状态），其状态标志位为TASK_UNINTERRUPTIBLE。

可中断睡眠状态的进程在睡眠状态等待某特定事件发生，即使其等待的某特定事件没有发生，可中断休眠状态的进程也是可以被唤醒的，如：用户空间等待条件变量，在条件满足之前，也是可以被信号唤醒的。产生一个中断、释放进程正在等待的系统资源或是传递一个信号都可以唤醒可中断休眠状态的进程。用户空间的条件变量和互斥锁、sleep函数、内核空间的互斥锁mutex_lock_interruptible和信号量down_interruptible函数等都可以导致进程进入可中断休眠状态。

不可中断睡眠状态与可中断睡眠状态类似，但是不可中断休眠的进程必须等到某特定事件发生后才能被唤醒。将信号（如：kill函数发出的信号）传递到这种睡眠状态的进程不能改变它的状态（因为发送给处于不可中断休眠状态的进程的信号会被丢弃掉），也就是说它不响应信号的唤醒或者被调试（如：gdb，pstack等）。等待IO响应（如：磁盘IO，网络IO，其他外设IO等）、内核空间的互斥锁mutex_lock函数等都可以导致进程进入不可中断休眠状态。