Linux 4.19 kthreadd函数疑问：为何未关中断执行休眠逻辑？

相关代码 #

Linux 4.19内核中kthreadd函数的核心代码如下：

int kthreadd(void *unused)
{
    struct task_struct *tsk = current;

    /* Setup a clean context for our children to inherit. */
    set_task_comm(tsk, "kthreadd");
    ignore_signals(tsk);
    set_cpus_allowed_ptr(tsk, cpu_all_mask);
    set_mems_allowed(node_states[N_MEMORY]);

    current->flags |= PF_NOFREEZE;
    cgroup_init_kthreadd();

    for (;;) {
        set_current_state(TASK_INTERRUPTIBLE);
        if (list_empty(&kthread_create_list))
            schedule();
        __set_current_state(TASK_RUNNING);

        spin_lock(&kthread_create_lock);
        while (!list_empty(&kthread_create_list)) {
            struct kthread_create_info *create;

            create = list_entry(kthread_create_list.next,
                        struct kthread_create_info, list);
            list_del_init(&create->list);
            spin_unlock(&kthread_create_lock);

            create_kthread(create);

            spin_lock(&kthread_create_lock);
        }
        spin_unlock(&kthread_create_lock);
    }

    return 0;
}

疑问点 #

提问者认为以下这段代码应该在关闭中断后执行：

set_current_state(TASK_INTERRUPTIBLE);
if (list_empty(&kthread_create_list))
    schedule();
__set_current_state(TASK_RUNNING);

理由是：若不关闭中断，可能出现设置线程状态为TASK_INTERRUPTIBLE后，线程被定时器中断调度出去的场景，此时即便kthread_create_list不为空，线程也会进入休眠，需要重新唤醒才能执行预期操作。

解答 #

你忽略了内核唤醒机制的核心保障，以及这种休眠检查范式的合理性：

• 主动唤醒机制覆盖竞态：当有新的内核线程创建请求被添加到kthread_create_list时，对应的代码会主动调用wake_up_process(kthreadd_task)唤醒kthreadd线程。哪怕出现你描述的时序问题——设置TASK_INTERRUPTIBLE后、检查队列前被中断调度走，只要队列已被修改为非空，唤醒操作已经触发，kthreadd被调度回来后会重新执行循环逻辑，此时检查队列非空，就不会进入休眠。

• 内核通用休眠范式：这种“设置可中断状态 → 检查条件 → 条件满足则休眠”的模式是内核中广泛使用的标准范式，不需要通过关闭中断来避免竞态。关闭中断会带来额外的系统开销，甚至影响中断响应，而内核通过唤醒机制已经确保了不会出现“队列非空但线程永久休眠”的问题。

• 无永久性休眠风险：即便极端情况下线程进入了休眠，只要队列非空，唤醒操作已经发出，线程会立刻被唤醒并处理队列中的请求，不会出现无法恢复的情况。

内容的提问来源于stack exchange，提问作者kwonryul