1. 课程导论：CFS调度器概述、PELT负载跟踪的意义、调度延迟的定义与影响、联合优化的必要性
1.1 CFS调度器概述
完全公平调度器（Completely Fair Scheduler, CFS）自 Linux 2.6.23 引入以来，一直是主流内核的默认调度类。CFS 的核心设计哲学是：在理想的多任务处理器上，每个任务应获得 1/n 的 CPU 时间（n 为可运行任务数）。由于实际硬件无法实现真正的并行执行，CFS 通过虚拟运行时（vruntime）来模拟这种公平性。
CFS 摒弃了传统的时间片轮转与优先级队列，转而使用红黑树（Red-Black Tree）组织可运行任务。每个任务维护一个 vruntime 值，该值随实际运行时间按权重比例增长。调度器每次选择红黑树中最左侧（即 vruntime 最小）的任务投入运行，从而保证所有任务在统计意义上获得公平的 CPU 份额。
struct sched_entity 表示调度实体，内嵌于 struct task_struct 中。红黑树的根节点由 struct cfs_rq 维护，每个 CPU 运行队列对应一个 cfs_rq。
nice 值调整权重，高权重任务的 vruntime 增长更慢，从而获得更多 CPU 时间。
1.2 PELT负载跟踪的意义
PELT（Per-Entity Load Tracking）是 Linux 内核自 3.8 版本引入的负载跟踪机制，旨在解决传统负载统计（如平均运行队列长度）的滞后性与不精确问题。PELT 的核心思想是：每个调度实体（任务或任务组）独立维护一个衰减的负载贡献历史，通过半衰期（默认 32ms）对历史负载进行指数衰减，从而实时反映任务的 CPU 需求变化。
PELT 的数学基础是：load = load_prev * y + delta，其中 y = 0.5^(1/32) 为衰减因子，delta 为当前周期内的实际运行时间。这种设计使得负载值对短期突发敏感，同时保留长期趋势。
| 特性 | 传统负载统计 | PELT 负载跟踪 |
|---|---|---|
| 统计粒度 | per-CPU 队列级 | per-entity 级（任务/任务组） |
| 时间窗口 | 固定窗口（如 1s/5s/15s 平均） | 指数衰减，半衰期 32ms |
| 响应速度 | 滞后，对短时突发不敏感 | 快速响应负载变化 |
| 适用场景 | 宏观负载均衡 | 细粒度调度决策、迁移判断 |
| 实现复杂度 | 低（计数器累加） | 中（衰减计算 + 周期更新） |
1.3 调度延迟的定义与影响
调度延迟（Scheduling Latency）是指从任务变为可运行状态（如等待 I/O 完成、释放锁、被唤醒）到任务实际获得 CPU 开始执行之间的时间间隔。它是衡量系统响应能力的关键指标，直接影响交互式应用的体验和实时任务的 deadline 满足率。
调度延迟由以下三个主要阶段构成：
- 唤醒延迟（Wake-up Latency）： 从任务被唤醒到调度器将其插入运行队列的时间。
- 排队延迟（Queuing Latency）： 任务在运行队列中等待被调度的时间，取决于当前可运行任务数量和调度策略。
- 上下文切换延迟（Context Switch Latency）： 调度器执行任务切换的硬件/软件开销。
| 延迟类型 | 典型范围 | 主要影响因素 | 对系统的影响 |
|---|---|---|---|
| 唤醒延迟 | 1µs – 10µs | 中断响应、唤醒机制（如 try_to_wake_up） |
影响 I/O 密集型任务的吞吐 |
| 排队延迟 | 10µs – 100ms | 运行队列长度、CFS 调度周期、任务优先级 | 决定交互式应用的流畅度 |
| 上下文切换延迟 | 1µs – 5µs | TLB 刷新、缓存污染、寄存器保存/恢复 | 影响高频切换场景的性能 |
/proc/schedstat 和 perf sched 工具可以测量调度延迟。CFS 的 sysctl_sched_latency（默认 6ms）控制调度周期的目标延迟，sysctl_sched_min_granularity（默认 0.75ms）控制任务的最小执行时间。
1.4 联合优化的必要性
PELT 负载跟踪与调度延迟之间存在深刻的耦合关系：
- 负载感知的调度决策： CFS 依赖 PELT 提供的负载值进行任务迁移、负载均衡和 CPU 频率调节（schedutil）。如果 PELT 负载更新不及时或精度不足，调度器可能做出次优决策，导致调度延迟增加。
- 延迟敏感任务的负载特征： 交互式任务（如 GUI 应用、音频处理）通常具有短时突发、长时间休眠的特征。PELT 的衰减机制可能低估这类任务的真实负载，导致调度器将其视为低负载任务，从而增加排队延迟。
- 调度周期与负载更新的冲突： CFS 的调度周期（
sysctl_sched_latency）决定了任务切换的频率。过短的周期会增加上下文切换开销（延迟），过长的周期会降低交互式任务的响应性。PELT 的更新频率（1ms/tick）与调度周期需要协同设计。
(1) 优化 PELT 衰减参数以适应延迟敏感任务；
(2) 设计负载感知的调度周期调节策略；
(3) 减少 PELT 更新对调度路径的额外开销。
1.5 课程目标与路线图
本课程将系统性地探讨 CFS 调度器、PELT 负载跟踪与调度延迟之间的联合优化方法。通过理论分析、内核源码解读和实验验证，帮助学员掌握以下核心能力：
| 模块 | 核心内容 | 实践产出 |
|---|---|---|
| PELT 原理与实现 | 衰减算法、更新路径、NO_HZ 补偿 | PELT 负载可视化工具 |
| 调度延迟分析 | 延迟测量方法、perf sched 使用 | 延迟分布报告 |
| 联合优化策略 | 参数调优、负载感知调度、延迟预算 | 优化补丁与性能对比 |
| 案例实战 | 音频/视频/数据库场景优化 | 完整优化方案 |