如何理解 TASK_UNINTERRUPTIBLE 状态 ？

_nosay

int do_fork(unsigned long clone_flags, unsigned long stack_start,
            struct pt_regs *regs, unsigned long stack_size)
{
        int retval = -ENOMEM;
        struct task_struct *p;
        ... ...

        p->state = TASK_UNINTERRUPTIBLE;

        copy_flags(clone_flags, p);
        p->pid = get_pid(clone_flags);
        ... ...
}

《Linux内核源代码情景分析》P289：
    “为什么要在597行把状态设成TASK_UNINTERRUPTIBLE呢？这是因为在get_pid()中产生一个新pid的操作必须是独占的，当前进程可能会因为一时进不了临界区而只好暂时进入睡眠状态等待，所以先事先把状态设成UNINTERRUPTIBLE。”

网上资料：
TASK_INTERRUPTIBLE 等待状态，可接受信号；
TASK_UNINTERRUPTIBLE 等待状态，不能接受信号。

可以看出：UNINTERRUPTIBLE 的2个特点：① 等待；② 不接受信号。
请问两个问题：
1. 对于①，应该就是将当前进程对应的task_struct结构从runqueue里面删除吧？现在假设在get_pid()函数中遇到进不了临界区的情况了，那从runqueue移除的操作，什么时候进行？
2. 对于②，表现应该就是不执行信号处理函数了吧？那现在的情况就是不在queue，也没有信号可以“驱动”它，这个进程怎么恢复执行呢？


抱歉，问题不对！这里只是把正在“创建”的子进程状态设置为TASK_UNINTERRUPTIBLE了。
那新的问题是：这里连task_struct结构的构造都还没完成，更没有挂到被调度的队列，设置为TASK_UNINTERRUPTIBLE的意义是什么？这个子进程都还没造好呢，本来就不可能被调度呀。

http: //wenku.baidu.com/link?url=PJz9bm5P0Ed7SAqfEyl7xWAOhUsnK3SSRx2o4ZA6d4EMyIp2UDd5Ru_tJA_IrTQTUlDo78VWR9mwuTzUF2jbi7z9HJU3wMKdCymA3AJnA5S[/url]
ppt第10页图，资源到位或wake_up()时，TASK_UNINTERRUPTIBLE→TASK_RUNNING，现在进程都不会被调度了，进程自己没办法判断，即使不是自己判断，那如果是别的进程通过信号告诉它又怎样呢，不是也不接受信号了吗 ？

http: //www. embedu.org/Column/Column462.htm

nswcfd

2. 需要显式被wakeup，否则一直是D状态。

kerryxi

2.  对于访问IO磁盘的资源进程，等待IO返回，通常是TASK_UNINTERRUPTIBLE, 此时不接受信号，只能在资源满足后，才能显示wakeup**。

1. 可以wakup，也可以处理signal，此时process可以认为是有效处理外面情况的。

_nosay

回复 2# nswcfd

@nswcfd, kerryxi ：wakeup()调用时机是什么？按照kerryxi举的IO资源例子，wakeup()是不是要在磁盘驱动调用？那写磁盘驱动的时候，是不是就要考虑那些资源可能被进程等待，使其状态变为TASK_UNINTERRUPTIBLE？


   

_nosay

回复 3# kerryxi

@nswcfd, kerryxi ：wakeup()调用时机是什么？按照kerryxi举的IO资源例子，wakeup()是不是要在磁盘驱动调用？那写磁盘驱动的时候，是不是就要考虑那些资源可能被进程等待，使其状态变为TASK_UNINTERRUPTIBLE？


   

nswcfd

是的，拿network api举个栗子吧。

用户态调用sys_recv来接收udp报文，如果报文没有ready（接收队列为空），udp stack会调用wait_for_packt等待报文，
这个等待就是通过把task的状态改为TASK_INTERRUPTIBLE并调用schedule_timeout来完成的。

等到报文到达的时候，同样是udp stack，会把报文送入接收队列，然后调用wakeup**等待的进程。

磁盘io应该也是这个模式，不过具体的函数不太熟悉。

_nosay

回复 2# nswcfd

  之前被这个词搞糊涂了。TASK_UNINTERRUPTIBLE的“UN” 只针对信号，调用wakeup()显式**是可以的。相对的TASK_INTERRUPTIBLE又可以被wake_up_interruptible()，又可能被信号**，是吧？


   

_nosay

huàn xǐng 被和谐了 。