Linux如何终止D状态的进程

static void wait_for_zero_refcount(struct module *mod)
{
    /* Since we might sleep for some time, release the mutex first */
    mutex_unlock(&module_mutex);
    for (;;) {
        DEBUGP("Looking at refcount...\n");
        // 设置为不可中断。
        set_current_state(TASK_UNINTERRUPTIBLE);
        // 除非引用计数为0，否则不退出循环。
        if (module_refcount(mod) == 0)
            break;
        // 等待期间，出让CPU资源。
        schedule();
    }
    current->state = TASK_RUNNING;
    mutex_lock(&module_mutex);
}

几乎所有的D进程在D状态期间都符合上述代码里的场景，明确了这个场景之后，你就应该知道下面的办法并不奏效的原因了：

// 新编写一个模块，在init函数中更改D进程状态，然后唤醒它。
static int __init mymm(void)
{
    struct task_struct *p;
    if (pid > 0) {
        for_each_process(p) {
            if (task_pid_vnr(p) == pid) {
                // 企图更改其状态为”可中断状态“，然后kill之！
                set_task_state(p, TASK_INTERRUPTIBLE);
                // 然则一旦被wakeup，根据上述D场景，又会进入那个死结！
                wake_up_process(p);
                break;
            }
        }
    }
    return -ENOMEM;
}

这是一种典型的头痛医头脚痛医脚的方案，你不是状态为D吗？我就把你的状态改成不是D。然而，如果了解了D进程本质，就知道这是没用的。那么怎么办呢？

        上述的D进程场景中，很显然，D进程在等待module的refcount变成0，正如我之前的文章中描述的那种方法，编写一个模块找到出问题的module，将其refcount设置为0即可，然而不同的D进程可能在等待不同的资源，100类D进程就有100种解决的办法。

        下面的办法用来把D进程本身带出死结怪圈：

void exit_task1()
{
    // 这个有点猛，仅为测试。
    // emergency_restart();
    // TODO：这里要做的事情非常多，类似ret_from_fork那样，要执行schedule_tail后处理之类的事情。
    // 首先，你必须preempt_enable_no_resched，不然会锁死，其次，还要考虑schedule_tail的逻辑。
 }
static int __init mymm(void)
{
    struct task_struct *p;
    if (pid > 0) {
        for_each_process(p) {
            if (task_pid_vnr(p) == pid) {
                // 企图更改其状态为”可中断状态“，然后kill之！
                set_task_state(p, TASK_INTERRUPTIBLE);
                // 修改D进程被切换前保存的PC指针，待它被唤醒后，将其引入别处，脱离那个死循环怪圈。
                p->thread.ip = (unsigned long)exit_task1;
                // 一旦被唤醒，执行流将开始执行exit_task1。
                wake_up_process(p);
                break;
            }
        }
    }
    return -ENOMEM;
}

以上方案的关键在于修改p->thread.ip的值。如果没有意外，不在运行状态(即current不是它)的进程其p->thread.ip值就是schedule中__switch_to后面的指令地址，意思是其被切换回来后要执行的地址，但是fork新进程时除外，新进程由于没有谁将其切换出，也就不存在切换入的情况了，因此对于fork出来的新进程而言，要手工帮它制造一个被切换出的现场，待其被切换入的时候执行，这个就是ret_from_fork。

        受到ret_from_fork的启发，其实我们可以更改任何进程的p->thread.ip指针，从而将其从原来的执行绪中拉出，就好像穿越虫洞一样进入另一个时空。

        最后，要说明的是，exit_task1是一个非常复杂的函数，不是想象的那样直接调用do_exit就完事的。它要把schedule函数中从__switch_to冒出来以后一直到结束的逻辑全部执行一遍。另外，要注意的是，上述的代码都是基于32位系统的，如果是64位系统，就会比较麻烦，因为64位的话，不能采用修改p->thread.ip的方法，它完全是另外一套机制。如果想在64系统将D进程拉出死循环，需要动态HOOK switch_to的二进制指令(你看，64位情况下，ret_from_fork是在__switch_to汇编里直接条件跳转的，copy_thread只是设置了一个TIF_FORK标志)，学着64位ret_from_fork的样子，在__my_switch_to里面增加条件跳转逻辑，我尝试了大半个晚上就panic了大半个晚上，没能成功...