linux的0号进程是不可抢占的
从linux的调度策略来讲,当一个CPU没有调度实体可被调度的时候,才会轮到0号进程idle的运行。调度实体就是sched_entity结构,由于每个task_struct都嵌入了sched_entity的一个实例,所以linux进程是可调度实体,但逆命题是不正确的,因为还有线程和进程组。
idle是优先级最低的进程,可以想象在任何情况下都能被别的进程immediately抢占,而实际上,通过ftrace可以看到idle在运行的时候一直是关抢占的(preempt-depth不为零),也就是说只有idle主动让出cpu别的进程才能运行。这里ftrace的swapper/3就是cpu 3上的0号进程idle,cpuhp/3是cpu 3上的hotplug线程。
idle进程为什么要关抢占呢?这是2005年的一个patch引入的,当时为了解决cpu hotplug过程中与idle进程交互时偶现的bug
在后来的code中,idle进程退出运行前又需要完成RCU在dyntick-idle模式下的工作,于是就不能被立即抢占了。