Linux Idle 调度器的 on_rq 状态：Idle 任务的运行队列管理

简介

在 Linux 内核调度体系中，系统每个 CPU 核心都始终存在一个Idle 空闲任务，也常被称作 idle 线程、零号进程。它是 CPU 的保底任务，当 CPU 就绪队列中没有 CFS 普通任务、RT 实时任务、Deadline 硬实时任务可调度时，CPU 便切入 Idle 任务循环，执行 halt、wfi 等低功耗休眠指令；一旦有新任务唤醒进入就绪队列，Idle 任务立刻被抢占退出，CPU 转回业务任务调度。

很多底层开发、嵌入式 Linux 工程师只知道 Idle 任务是 “没事干时跑的空任务”，但很少有人深究：Idle 任务为什么常驻 CPU、却不参与常规调度队列排队？on_rq状态标识在 Idle 任务入队、出队、调度切换、任务抢占中到底承担什么作用？Idle 任务如何通过on_rq标识实现和 CFS、RT、Deadline 调度类的无缝切换？

on_rq是 Linux 调度实体通用的核心状态位，对 Idle 任务而言，它是管控是否挂载在 CPU 运行队列 rq、是否参与调度竞争的关键标记。理解 Idle 调度器的on_rq状态维护逻辑，是吃透 Linux 多调度类层级调度、CPU 空闲调度切换、低功耗休眠唤醒、调度队列状态机的核心基础。

无论是嵌入式工控、车载 Linux、服务器内核调优、实时系统裁剪，还是做内核源码研读、课程报告、毕业论文，掌握 Idle 任务 on_rq 状态与运行队列管理机制，都能帮你看透 Linux CPU 调度的最后一层兜底逻辑，也能为自研调度策略、定制 Idle 低功耗策略提供底层理论支撑。

一、核心概念与术语解析

1.1 Idle 调度器与 Idle 任务基础定义

Linux 内核调度采用调度类分层架构，优先级从高到低依次为：Stop调度类 > Deadline调度类 > RT实时调度类 > CFS公平调度类 > Idle空闲调度类

Idle 调度器是优先级最低的调度类，每个 CPU 私有一份struct rq运行队列，队列内置唯一的 Idle 任务，任务 PID 固定为 0。核心特性：

1. 永远不会被用户态创建、销毁，内核初始化阶段静态生成；
2. 仅当 CPU 所有高优先级调度类无就绪任务时，才会被选中执行；
3. 执行逻辑为死循环，触发 CPU 进入省电休眠指令，等待中断唤醒。

1.2 on_rq 状态字段含义

在struct sched_entity和struct task_struct中，on_rq是一个整型状态标记：

• on_rq = 1：任务已经挂载到 CPU 运行队列rq中，处于就绪可调度状态；
• on_rq = 0：任务不在运行队列中，处于阻塞、休眠、退出或空闲挂起状态。

对普通 CFS/RT 任务：入队就绪置 1，出队阻塞置 0；对Idle 任务：on_rq有特殊语义 ——标记 Idle 任务是否作为兜底任务占用当前 CPU 调度上下文，不参与常规红黑树、队列排序。

1.3 运行队列 struct rq

每个 CPU 独立拥有struct rq运行队列，是所有调度任务的管理容器，关键成员：

struct rq { /* CFS普通任务运行队列 */ struct cfs_rq cfs; /* RT实时任务运行队列 */ struct rt_rq rt; /* Deadline实时任务运行队列 */ struct dl_rq dl; /* 当前CPU正在运行的任务 */ struct task_struct *curr; /* 该CPU专属Idle任务 */ struct task_struct *idle; /* 调度队列状态标记 */ int nr_running; };

Idle 任务不属于 CFS/RT/DL 任何一个子队列，直接挂靠在 rq 全局结构体内，依靠on_rq标识管控调度状态。

1.4 Idle 任务调度切换规则

1. CPU 有就绪业务任务：Idle 任务on_rq清 0，被抢占，CPU 调度高优先级任务；
2. CPU 无任何就绪任务：Idle 任务on_rq置 1，抢占所有调度资源，CPU 进入 Idle 低功耗循环；
3. 中断触发新任务唤醒：自动刷新 Idle 任务 on_rq 状态，触发调度器重新选任务。

1.5 关键接口术语

• idle_task_rq()：获取当前 CPU 对应的 Idle 任务；
• sched_idle_next()：Idle 调度器选取下一个任务的核心接口；
• dequeue_task_idle()/enqueue_task_idle()：Idle 任务出队、入队，维护 on_rq 状态；
• pick_next_task()：调度器总入口，逐级遍历调度类，最后兜底选 Idle 任务。

二、环境准备

2.1 软硬件环境

2.2 内核源码与编译配置

1. 安装编译依赖

sudo apt update sudo apt install build-essential libncurses-dev bison flex libssl-dev libelf-dev

2. 下载解压内核源码

wget https://cdn.kernel.org/pub/linux/kernel/v6.x/linux-6.1.tar.xz tar -xf linux-6.1.tar.xz cd linux-6.1

3. 内核配置必开选项

cp /boot/config-$(uname -r) .config make menuconfig

必须开启：

CONFIG_SCHED_IDLE=y # 启用Idle调度器 CONFIG_DEBUG_KERNEL=y # 内核调试 CONFIG_SCHED_DEBUG=y # 调度器调试 CONFIG_FTRACE=y # 函数跟踪，观测on_rq状态变更

4. 编译安装内核

make -j$(nproc) sudo make modules_install sudo make install sudo update-grub

重启后进入新编译内核，用于源码调试和 ftrace 跟踪。

2.3 核心源码路径

kernel/sched/idle.c # Idle调度器全部逻辑、on_rq状态维护 kernel/sched/sched.h # task_struct、rq、on_rq字段定义 kernel/sched/core.c # 调度主流程、任务入队出队通用逻辑

三、应用场景

Idle 任务 on_rq 状态与运行队列管理，是 Linux 系统低功耗与调度切换的底层基石。在嵌入式工控机场景，业务任务间歇运行时，依靠 on_rq 标识快速切换到 Idle 任务，触发 CPU 降频、内核 halt 休眠，大幅降低整机功耗；车载 Linux 域控制器中，空闲 CPU 核心常驻 Idle 任务，通过 on_rq 状态快速响应自动驾驶、多媒体任务的唤醒抢占，保证实时响应无延迟。服务器场景下，CPU 负载低谷时 Idle 任务接管调度，借助 on_rq 状态机避免无效调度遍历，减少上下文切换开销；同时在实时 Linux 改造、内核调度裁剪场景，开发者需依托 on_rq 状态规则修改 Idle 调度逻辑，定制专属 CPU 空闲调度策略与低功耗休眠时机，兼顾性能与能耗平衡。

四、实际案例与源码深度剖析

4.1 task_struct 中 on_rq 字段源码定义

截取sched.h核心结构体，带完整注释：

struct task_struct { /* 调度实体基础属性 */ volatile long state; void *stack; /* 关键：on_rq 标识任务是否在运行队列中 */ int on_rq; /* 所属调度类 */ const struct sched_class *sched_class; /* CFS/RT/DL调度实体 */ struct sched_entity se; struct rt_entity rt; struct dl_entity dl; };

代码说明：on_rq是全局任务状态位，所有调度类任务共用。Idle 任务不加入 cfs_rq、rt_rq、dl_rq 子队列，仅靠on_rq标记自身调度就绪状态。

4.2 Idle 调度器调度类结构体

idle.c中 Idle 调度类定义，是调度架构的核心：

const struct sched_class idle_sched_class = { .next = &stop_sched_class, .enqueue_task = enqueue_task_idle, .dequeue_task = dequeue_task_idle, .pick_next_task = pick_next_task_idle, .task_tick = task_tick_idle, };

核心作用：内核调度器按优先级遍历调度类，高优先级无任务时，最终落到idle_sched_class，执行 Idle 任务选任逻辑。

4.3 enqueue_task_idle Idle 任务入队与 on_rq 置位

任务需要切换到 Idle 运行、或 CPU 空闲激活 Idle 任务时，调用入队接口：

static void enqueue_task_idle(struct rq *rq, struct task_struct *p, int flags) { /* 给Idle任务标记：已进入运行队列，可参与调度 */ p->on_rq = 1; /* Idle任务无队列排序、无时间片计算，仅维护状态 */ rq->nr_running++; }

代码解析：Idle 任务入队逻辑极度精简，不需要红黑树插入、不需要权重排序，核心只做两件事：

1. 将on_rq置 1，标记为调度就绪；
2. 递增运行队列任务计数。

4.4 dequeue_task_idle Idle 任务出队与 on_rq 清零

当有新业务任务就绪、抢占 Idle 任务时，触发出队逻辑：

static void dequeue_task_idle(struct rq *rq, struct task_struct *p, int flags) { /* 清除on_rq标记：退出运行队列，不再参与调度 */ p->on_rq = 0; rq->nr_running--; }

核心逻辑：一旦 CPU 有 CFS/RT/DL 任务需要运行，立刻清空 Idle 任务on_rq，标识其脱离调度队列，让出 CPU 执行权。

4.5 pick_next_task_idle 选取 Idle 任务核心逻辑

调度器兜底选任务接口，系统无任何就绪任务时调用：

static struct task_struct *pick_next_task_idle(struct rq *rq) { /* 直接返回当前CPU专属Idle任务 */ return rq->idle; }

代码说明：无需遍历队列、无需比对优先级，直接取出 rq 中预存的 idle 任务，作为下一个运行任务，时间复杂度 O (1)。

4.6 调度主流程：多调度类切换与 on_rq 联动

内核core.c调度入口简化逻辑，清晰体现 Idle 任务兜底机制：

struct task_struct *pick_next_task(struct rq *rq) { struct task_struct *p; /* 1. 优先选Stop最高优先级任务 */ p = pick_next_task_stop(rq); if (p) return p; /* 2. 依次遍历DL、RT、CFS调度类 */ p = pick_next_task_dl(rq); if (p) return p; p = pick_next_task_rt(rq); if (p) return p; p = pick_next_task_cfs(rq); if (p) return p; /* 3. 所有业务任务都无就绪，兜底选Idle任务 */ return pick_next_task_idle(rq); }

流程联动规则：

• 选中业务任务：Idle 任务执行dequeue_task_idle，on_rq=0；
• 无业务任务：Idle 任务执行enqueue_task_idle，on_rq=1，占用 CPU。

4.7 用户态观测 CPU Idle 状态测试代码

编写测试程序，占用 CPU 核心，观察 Idle 任务调度切换：

#include <stdio.h> #include <unistd.h> #include <pthread.h> // 死循环占用CPU，迫使Idle任务让出CPU、on_rq清零 void *cpu_load_func(void *arg) { while(1) { // 空循环占用CPU时间片 } return NULL; } int main() { pthread_t tid; printf("开始创建线程占用CPU，观测Idle任务状态切换\n"); pthread_create(&tid, NULL, cpu_load_func, NULL); pthread_join(tid, NULL); return 0; }

编译运行命令：

gcc idle_test.c -o idle_test -lpthread ./idle_test

实操说明：运行后 CPU 负载飙升，对应核心 Idle 任务被抢占，on_rq被内核自动清零；结束程序后 CPU 空闲，Idle 任务重新置位on_rq=1。

4.8 Ftrace 跟踪 on_rq 状态变更函数

通过 ftrace 跟踪 Idle 任务入队出队函数，直观观测 on_rq 维护时机：

# 挂载调试文件系统 sudo mount -t debugfs none /sys/kernel/debug # 清空跟踪缓存 echo > /sys/kernel/debug/tracing/trace # 过滤跟踪Idle调度核心函数 echo enqueue_task_idle >> /sys/kernel/debug/tracing/set_ftrace_filter echo dequeue_task_idle >> /sys/kernel/debug/tracing/set_ftrace_filter # 开启函数跟踪 echo function > /sys/kernel/debug/tracing/current_tracer echo 1 > /sys/kernel/debug/tracing/tracing_on

另起终端运行测试程序，之后停止跟踪查看日志：

echo 0 > /sys/kernel/debug/tracing/tracing_on cat /sys/kernel/debug/tracing/trace

可以清晰看到：CPU 负载升高时调用dequeue_task_idle、负载空闲时调用enqueue_task_idle，对应 on_rq 状态翻转。

五、常见问题与解答

Q1：Idle 任务为什么不放入 CFS/RT/DL 运行队列，只用 on_rq 标记？

解答：Idle 是 CPU 保底任务，优先级最低，不需要时间片、不需要权重、不需要截止时间排序。若加入常规队列会增加红黑树遍历、调度比对开销；单独用on_rq做状态标记，逻辑极简、调度路径最快，适配低功耗和快速切换需求。

Q2：on_rq 为 1 时代表 Idle 任务正在运行吗？

解答：不完全等同。on_rq=1代表 Idle 任务在运行队列中、处于可调度就绪状态；CPU 当前curr指针指向 Idle 任务时，才是真正正在执行。on_rq 是队列状态标记，curr 是当前执行标记。

Q3：多核 CPU 下每个核心的 Idle 任务 on_rq 状态相互独立吗？

解答：完全独立。每个 CPU 拥有私有 rq、私有 Idle 任务，各自维护自身的 on_rq 状态、入队出队逻辑，核心之间不共享、不互相干扰，调度切换只在单核心内部完成。

Q4：能不能手动修改 Idle 任务的 on_rq 字段，强制抢占 CPU？

解答：不建议也不推荐。on_rq 是内核调度器严格维护的状态机，手动篡改会导致nr_running计数错乱、调度队列状态不一致，引发死锁、任务调度卡死、CPU 僵死等严重内核异常。

Q5：Idle 任务 on_rq 状态异常会出现什么现象？

解答：常见现象：CPU 空闲时不进入低功耗休眠、一直高负载跑空循环；业务任务唤醒后无法抢占 CPU，系统卡顿延迟；运行队列 nr_running 计数溢出，调度器遍历异常。排查优先用 ftrace 跟踪 enqueue/dequeue 接口调用。

六、实践建议与最佳实践

1. 源码研读技巧学习 Idle 调度不要只看单独函数，要顺着pick_next_task总流程往下跟，看多调度类的优先级跳转，再结合enqueue_task_idle/dequeue_task_idle理解 on_rq 翻转逻辑，更容易建立整体认知。

2. 调试排障最佳实践排查 CPU idle 不休眠、调度卡顿问题时，优先用 ftrace 跟踪 Idle 入队出队函数，确认 on_rq 状态切换是否正常；再查看 rq->curr 是否正常在业务任务和 Idle 任务间切换，快速定位状态机异常。

3. 嵌入式低功耗优化嵌入式项目中不要禁用 Idle 调度器，不要删减 on_rq 状态维护逻辑；可基于原有 on_rq 机制，在 Idle 任务循环中定制更深层的 CPU 休眠指令，既保留调度兼容性，又提升省电效果。

4. 内核二次开发规范若自研调度类、修改调度优先级，务必保留 Idle 调度器最低优先级兜底位置，不要改动 on_rq 字段语义；新增任务入队出队逻辑要和内核原生 on_rq 设计保持一致，避免破坏调度状态机。

5. 压测验证建议做系统高并发压测时，观察 Idle 任务 on_rq 切换频率，若频繁反复入队出队，说明任务抖动严重，可通过 CPU 核绑定、任务隔离减少调度切换开销。

七、总结与应用延伸

全文从背景价值、核心术语、环境搭建、内核源码逐行解析、用户态实测、ftrace 跟踪、问题排查到工程最佳实践，完整拆解了 Linux Idle 调度器on_rq 状态标识与 Idle 任务运行队列管理的整套工作原理。

核心要点可以概括为三点：第一，on_rq是 Linux 任务通用队列状态标记，对 Idle 任务而言，是管控调度就绪、入队出队的核心开关；第二，Idle 调度器采用极简设计，不依附 CFS/RT/DL 子队列，仅靠 on_rq 标记和 rq 结构体挂靠，实现 O (1) 快速调度切换；第三，Idle 任务作为系统最低优先级兜底任务，依靠 on_rq 状态自动在 “CPU 空闲休眠” 和 “业务任务抢占” 之间无缝切换，是 Linux 低功耗、调度分层架构的关键支撑。

在工程落地层面，该机制广泛应用于嵌入式工控、车载 Linux、服务器功耗调优、实时系统内核裁剪；在学术与学习层面，可直接用于 Linux 调度子系统报告、毕业论文源码分析、内核调度架构研究。建议读者基于本文提供的源码、测试代码和 ftrace 命令，自行编译内核复现实验，修改 Idle 任务循环逻辑、观测 on_rq 状态变化，真正从底层吃透 Linux Idle 调度的运行本质。