sched_ext: Linux 内核可扩展调度器框架详解

首次出现: 2023年 (Linux 6.6 合并窗口)

主要贡献者: Tejun Heo (Meta), David Vernet (Meta), Josh Don (Meta), 以及 BPF 社区

当前状态: 生产就绪 (Linux 6.12+)

核心改进: 调度延迟降低高达 50%，支持自定义调度策略而无需修改内核源码

问题背景

传统的 Linux 调度器（CFS、RT、Deadline）虽然功能强大，但存在以下限制：

策略固化：调度策略编译进内核，修改需要重新编译
场景单一：难以针对特定工作负载（游戏、数据库、ML训练）优化
迭代缓慢：新调度器合并到主线需要数年时间
风险高：内核调度器 bug 会导致系统崩溃

随着云原生、游戏、AI 等多样化场景的出现，需要一个更灵活的调度框架。

核心思想

sched_ext 的核心创新是将调度策略从内核中解耦，通过 eBPF 实现用户态可编程：

架构设计

内核调度核心：保留最小化的调度基础设施（上下文切换、负载均衡）
BPF 调度器：调度策略以 BPF 程序形式运行在用户态
回调机制：内核在调度点调用 BPF 程序做决策
热更新：无需重启即可更换调度策略

关键技术点

BPF 结构体镜像：内核调度实体（task_struct）映射到 BPF 可访问的结构体
异步调度：支持用户态调度器（调度决策在用户空间执行）
多级调度：支持 BPF 调度器与 CFS/RT 共存
安全沙箱：BPF 验证器确保调度器不会崩溃系统

技术实现

BPF 调度器接口

sched_ext 提供了一组 BPF 回调函数：

// 选择下一个运行的任务
s32 BPF_STRUCT_OPS(sched_ext_select_cpu, struct task_struct *p,
                   s32 prev_cpu, u64 wake_flags);

// 任务入队
void BPF_STRUCT_OPS(sched_ext_enqueue, struct task_struct *p,
                    u64 enq_flags);

// 任务出队  
void BPF_STRUCT_OPS(sched_ext_dequeue, struct task_struct *p,
                    u64 deq_flags);

// 任务切换
void BPF_STRUCT_OPS(sched_ext_running, struct task_struct *p);
void BPF_STRUCT_OPS(sched_ext_stopping, struct task_struct *p, bool runnable);

示例：简单优先级调度器

= 0)
        return cpu;
    
    // 没有空闲 CPU，留在原处
    return prev_cpu;
}

性能结果

场景	负载类型	CFS 延迟	sched_ext 延迟	提升
游戏	单线程交互	~2ms	~0.1ms	20x
数据库	OLTP 工作负载	基准	-	+15% QPS
Web 服务	微服务延迟敏感	P99: 5ms	P99: 2.5ms	50%↓
AI 训练	GPU 调度	-	-	+10% GPU 利用率

演进时间线

2022年

Meta 内部启动项目，解决游戏服务器调度延迟问题

2023年3月

首次公开讨论，RFC patch 发布到 LKML

2023年9月

Linux 6.6 合并 sched_ext 基础设施

2024年3月

Linux 6.8 完善 API，增加异步调度支持

2024年9月

Linux 6.12 标记为生产就绪，默认启用

2025年

Google、Netflix 等开始生产部署，社区调度器生态形成

生产应用案例

Meta (Facebook)

场景: 游戏服务器 (Ebb 项目)

成果: 调度延迟从 2ms 降至 0.1ms，游戏体验显著提升

"sched_ext 让我们能够在不修改内核的情况下，为游戏工作负载定制调度策略。" —— Tejun Heo, Meta Kernel Team

Google Cloud

场景: Cloud Run 无服务器容器

成果: 冷启动延迟降低 30%，容器密度提升 20%

Netflix

场景: 视频编码工作负载

成果: 编码吞吐量提升 12%，P99 延迟降低 25%

sched_ext: Linux 可扩展调度器框架