Linux CFS调度器完全指南：从原理到源码解析

一、CFS核心概念

虚拟运行时间（vruntime）是CFS的灵魂。每个可运行的进程都有一个vruntime，它记录进程实际运行时间的加权值。权重由进程优先级（nice值）决定：nice值越低，权重越高，vruntime增长越慢，从而获得更多CPU时间。CFS使用红黑树将所有可运行进程按vruntime排序，最左侧节点（vruntime最小）就是下一个要运行的进程。

二、工作原理详解

调度周期（sched_latency）内，CFS尽力让每个进程运行至少一次。当进程运行时，其vruntime随着实际时间增加，增加速度与权重成反比。被调度出去的进程，其vruntime被维护在红黑树中，下次调度时选择vruntime最小的。这种设计保证了所有进程的vruntime基本接近，实现“完全公平”。

如果进程睡眠或唤醒，其vruntime会进行调整（通常不更新，或补偿一些值），防止睡眠进程被饥饿。此外，CFS还支持组调度（task group），将进程分组管理，组间也按相同原则分配CPU。

三、关键数据结构与源码解析

在Linux内核源码中，与CFS相关的主要数据结构定义在 和 中。

• task_struct：进程描述符，包含 se 字段（sched_entity类型），即调度实体，存储vruntime、权重等信息。
• cfs_rq（位于 struct rq 中）：每个CPU的运行队列，包含红黑树根节点 tasks_timeline、最小vruntime min_vruntime 等。
• 红黑树操作：enqueue_task_fair() 将进程插入树中，dequeue_task_fair() 移除，pick_next_task_fair() 选取最左侧节点。

核心函数 update_curr() 更新当前进程的vruntime，并维护cfs_rq的min_vruntime。关键代码如下（简化）：

    static void update_curr(struct cfs_rq *cfs_rq){    struct sched_entity *curr = cfs_rq->curr;    u64 now = rq_clock_task(rq_of(cfs_rq));    u64 delta_exec = now - curr->exec_start;    curr->vruntime += calc_delta_fair(delta_exec, curr);    curr->exec_start = now;    // 更新最小vruntime    if (cfs_rq->nr_running)        update_min_vruntime(cfs_rq);}  

其中 calc_delta_fair() 根据权重将实际执行时间转换为虚拟时间。权重越大，虚拟时间增加越慢。

四、总结

CFS调度器通过虚拟运行时间和红黑树，以简单而优雅的方式实现了多任务环境下的公平调度。理解其原理有助于优化应用性能、排查调度相关问题，也为深入学习Linux内核打下基础。本文涉及的CFS调度器、Linux内核、进程调度、虚拟运行时间四个关键词是掌握CFS的核心，希望读者能从中获益。