Linux 内核 5.x 实时调度类 rt_sched_class 源码解析：FIFO/RR 队列与时间片实现
Linux 内核实时调度类 rt_sched_class 深度解析：从数据结构到时间片管理
在操作系统内核的世界里，调度器如同交通指挥中心，决定着每个进程何时获得CPU资源。而实时调度类（rt_sched_class）则是这个指挥中心里处理紧急任务的特殊通道，专门为那些对延迟极度敏感的任务提供服务。本文将带您深入Linux内核5.x版本的实时调度实现，揭开SCHED_FIFO和SCHED_RR两种实时调度策略背后的精妙设计。
1. 实时调度的核心数据结构
要理解Linux实时调度的运作机制，首先需要掌握其基础数据结构。内核通过两个关键结构体来管理实时任务：
struct sched_rt_entity { struct list_head run_list; unsigned long timeout; unsigned int time_slice; struct sched_rt_entity *back; /* 其他字段省略... */ }; struct rt_rq { struct rt_prio_array active; unsigned int rt_nr_running; u64 rt_time; u64 rt_runtime; /* 其他字段省略... */ };这两个结构体构成了实时调度的骨架：
sched_rt_entity：嵌入在每个实时任务中的调度实体，包含：
run_list：将该实体链接到运行队列的链表节点time_slice：RR策略下的剩余时间片（FIFO策略下为0）timeout：用于带宽控制的超时计时
rt_rq：实时运行队列，管理所有可运行的实时任务：
active：按优先级组织的任务数组（稍后详解）rt_nr_running：当前队列中可运行任务数rt_time和rt_runtime：用于实时带宽控制
实时调度队列的核心是rt_prio_array结构，它使用位图和链表高效管理不同优先级的任务：
struct rt_prio_array { DECLARE_BITMAP(bitmap, MAX_RT_PRIO+1); /* 包含1个哨兵位 */ struct list_head queue[MAX_RT_PRIO]; };这个设计有三大精妙之处：
- 位图快速查找：通过
find_first_bit()可以快速找到最高优先级的非空队列 - 优先级隔离：每个优先级（1-99）有独立的链表，避免优先级反转
- O(1)调度复杂度：无论系统中有多少任务，选择下一个任务都是常数时间
提示：Linux实时优先级范围是1-99，数值越大优先级越高。这与nice值（-20到19）的约定相反，使用时需特别注意。
2. 任务入队与出队机制
实时调度的核心操作体现在任务进出队列的过程中。内核通过一组函数指针将这些操作抽象为调度类接口：
2.1 enqueue_task_rt：任务入队
当实时任务变为可运行状态时，enqueue_task_rt()会被调用：
static void enqueue_task_rt(struct rq *rq, struct task_struct *p, int flags) { struct sched_rt_entity *rt_se = &p->rt; struct rt_rq *rt_rq = rt_rq_of_se(rt_se); /* 如果任务先前已在队列中，只需更新其位置 */ if (flags & ENQUEUE_RESTORE) { if (rt_se->on_rq) goto out; } /* 对于RR任务，如果时间片耗尽则重置 */ if (p->policy == SCHED_RR && !rt_se->time_slice) rt_se->time_slice = sched_rr_timeslice; /* 将任务添加到对应优先级的链表头部 */ list_add(&rt_se->run_list, rt_rq->active.queue + rt_se_prio(rt_se)); __set_bit(rt_se_prio(rt_se), rt_rq->active.bitmap); /* 更新统计信息 */ rt_rq->rt_nr_running++; inc_rt_tasks(p, rq); out: /* 触发抢占检查 */ if (p->prio < rq->curr->prio) resched_curr(rq); }关键点解析：
- FIFO与RR的区别处理：只有RR策略的任务会重置时间片
- 优先级队列管理：任务被添加到对应优先级的链表头部（FIFO特性）
- 位图更新：设置对应优先级位，确保快速查找
- 抢占检查：如果新任务优先级更高，立即触发重新调度
2.2 dequeue_task_rt：任务出队
当任务因阻塞、退出等原因需要离开运行队列时：
static void dequeue_task_rt(struct rq *rq, struct task_struct *p, int flags) { struct sched_rt_entity *rt_se = &p->rt; struct rt_rq *rt_rq = rt_rq_of_se(rt_se); /* 从优先级链表中移除 */ list_del_init(&rt_se->run_list); /* 如果这是该优先级最后一个任务，清除位图 */ if (list_empty(rt_rq->active.queue + rt_se_prio(rt_se))) __clear_bit(rt_se_prio(rt_se), rt_rq->active.bitmap); /* 更新统计信息 */ rt_rq->rt_nr_running--; dec_rt_tasks(p, rq); /* 处理组调度相关逻辑（简化） */ dequeue_rt_entity(rt_se, flags); }出队操作与入队对称，但有几个值得注意的细节：
- 链表状态维护：使用
list_del_init()确保节点可以被安全重用 - 位图同步更新：当某优先级队列为空时及时清除位图
- 统计信息准确：确保运行任务计数实时准确
3. 时间片管理与RR调度
SCHED_RR策略的核心在于时间片管理，这通过task_tick_rt()函数实现：
static void task_tick_rt(struct rq *rq, struct task_struct *p, int queued) { struct sched_rt_entity *rt_se = &p->rt; update_curr_rt(rq); /* FIFO任务不处理时间片 */ if (p->policy != SCHED_RR) return; /* 时间片递减 */ if (--p->rt.time_slice) return; /* 时间片耗尽时的处理 */ p->rt.time_slice = sched_rr_timeslice; /* 如果队列中还有其他任务，将当前任务移到队尾 */ for_each_sched_rt_entity(rt_se) { if (rt_se->run_list.prev != rt_se->run_list.next) { requeue_task_rt(rq, p, 0); resched_curr(rq); return; } } }时间片管理的几个关键机制：
- 默认时间片设置：通过
sched_rr_timeslice变量控制，默认为100ms - 时间片递减：每次时钟中断减少1个tick（通常1-10ms）
- 队列轮转：当时间片耗尽且同优先级有其他任务时，当前任务被移到队尾
时间片长度可通过/proc/sys/kernel/sched_rr_timeslice_ms动态调整，内核处理流程如下：
int sched_rr_handler(struct ctl_table *table, int write, void __user *buffer, size_t *lenp, loff_t *ppos) { int ret; static DEFINE_MUTEX(mutex); mutex_lock(&mutex); ret = proc_dointvec(table, write, buffer, lenp, ppos); /* 写入的值转换为jiffies */ if (!ret && write) { sched_rr_timeslice = sched_rr_timeslice <= 0 ? RR_TIMESLICE : msecs_to_jiffies(sched_rr_timeslice); } mutex_unlock(&mutex); return ret; }注意：写入
sched_rr_timeslice_ms的值以毫秒为单位，但读取时显示的是转换后的jiffies值。设置为0会恢复默认值。
4. 实时带宽控制机制
为防止实时任务独占CPU导致系统无响应，Linux实现了实时带宽控制：
| 控制参数 | 默认值 | 说明 |
|---|---|---|
| sched_rt_period_us | 1,000,000 | 带宽计算周期（1秒） |
| sched_rt_runtime_us | 950,000 | 每个周期内实时任务最大运行时间（0.95秒） |
带宽控制的实现涉及多个组件：
- 定时器检查：通过
hrtimer定期执行sched_rt_period_timer() - 时间记账：在
update_curr_rt()中累计运行时间 - 超额处理：当运行时间超过配额时，通过
sched_rt_runtime_exceeded()触发限流
关键代码逻辑：
static enum hrtimer_restart sched_rt_period_timer(struct hrtimer *timer) { struct rt_bandwidth *rt_b = container_of(timer, struct rt_bandwidth, rt_period_timer); int idle = 0; int overrun; raw_spin_lock(&rt_b->rt_runtime_lock); for (;;) { overrun = hrtimer_forward_now(timer, rt_b->rt_period); if (!overrun) break; raw_spin_unlock(&rt_b->rt_runtime_lock); idle = do_sched_rt_period_timer(rt_b, overrun); raw_spin_lock(&rt_b->rt_runtime_lock); } if (idle) rt_b->rt_period_active = 0; raw_spin_unlock(&rt_b->rt_runtime_lock); return idle ? HRTIMER_NORESTART : HRTIMER_RESTART; }带宽控制的工作流程：
- 每个CPU维护自己的
rt_time累计值 - 定时器周期性地从
rt_time中扣除分配的时间配额 - 当
rt_time超过sched_rt_runtime_us时，设置rt_throttled标志 - 被限流的任务会被移出运行队列，直到下一个周期
这种设计既保证了实时任务可以获得大部分CPU资源，又为普通任务保留了必要的响应能力。