全球 - 艾赫巴里通讯社
当调度器开始仰望星空：scx_horoscope 如何揭示 Linux 内核灵活调度器的未来
2024 年末，GitHub 上出现了一个项目，成功地让即使是最资深的系统程序员也露出了笑容。这个名为 scx_horoscope 的项目，不仅仅是 Linux 内核的一个任务调度器；它是一个迷人的工具，旨在根据行星位置、月相，甚至占星逆行来调整 CPU 行为。它的创建者 Lucas Zampieri 巧妙地利用了系统管理员那句古老的格言：“系统根据月相运行”，将这个幽默的迷因转化为功能性代码，该代码确实加载到内核中并参与 CPU 时间的分配。然而，在这个异想天开的外表之下，却隐藏着一个更重要的突破：将 sched_ext 机制集成到 Linux 内核中，从根本上改变了资源管理的方法，并开启了任务调度前所未有的灵活性时代。
从历史上看，任何改进或调整 Linux 任务调度器的尝试都充满了巨大的困难。调度器是操作系统的核心，它决定了哪个任务可以访问处理器以及访问多长时间。在每个计时器滴答时，它会做出三个关键决策：在可用核心上启动哪个任务，它应该运行多长时间而不会被抢占，以及如何平衡通常相互冲突的目标，例如交互式应用程序的最小延迟、构建服务器的最大吞吐量，或容器的严格隔离。过去，即使是微小的修改也需要更改单片内核代码。这意味着需要数月甚至数年等待补丁审查、将其纳入下一个版本，然后通过发行版进行分发。因此，内核获得了一个通用但通常是折衷的算法，使得许多特定场景无法进行优化调整。像 O(1) 和 Completely Fair Scheduler (CFS) 这样的例子展示了进步，但它们的普遍性总是伴随着代价。
另请阅读
这种情况在 2024 年 12 月，随着 6.12 版本的发布，sched_ext 调度器类正式纳入 Linux 内核主分支而发生了巨大变化。该机制使得复杂的调度逻辑可以从严格编码的内核中移出，进入用 BPF (Berkeley Packet Filter) 编写的动态可加载策略中。现在，开发人员和系统管理员可以试验资源分配算法，根据他们的独特需求进行调整，并在无需重新编译内核或长时间等待上游合并的情况下进行部署。这不仅仅是一次演进，更是任务管理领域的一场革命，为创建高度专业化和自适应的调度器铺平了道路。
sched_ext 的架构建立在清晰的职责分离原则之上。内核保留了至关重要的功能：任务状态管理、以队列 (DSQ) 形式存在的基本调度原语、核心间的迁移机制，以及最重要的是安全系统。如果外部 BPF 调度程序发生故障或操作不正确，内核会自动启动中止程序，将所有任务返回到标准 SCHED_NORMAL 类。这确保了强大的容错能力，防止系统完全崩溃。然而，需要注意的是，回滚机制只保护免受灾难性故障的影响，而不能保护免受调度启发式算法本身的逻辑错误的影响。例如，如果某个策略持续分配过短的时间片或错误地分类任务，系统将继续运行，但性能会显著下降。
决策逻辑——任务分类、内部等级（分数）计算和时间片持续时间的确定——完全交由从用户空间加载的 BPF 程序处理。这提供了前所未有的灵活性。在 sched_ext 管理下，任务的生命周期如下展开：当任务唤醒时，内核通过 enqueue() 钩子通知策略。策略分析任务（其唤醒模式、资源使用、组归属）并决定将其放置在哪里。当核心空闲时，dispatch() 钩子被调用，策略从队列中检索任务，通过 scx_bpf_dispatch() 将其传递给内核，指定任务 ID 和纳秒级的时间片持续时间。策略还可以通过 scx_bpf_kick_cpu() 启动核心间的任务迁移，以平衡负载或优化缓存局部性。
scx_horoscope 项目，尽管带有讽刺意味，却是这些能力的一个生动展示。它利用 astro 库定期（每 60 秒）计算地心行星位置和月相。这些占星数据点对 CPU 不会产生物理影响，但它们充当调度器内部逻辑的系数。任务根据客观标准进行分类，例如实时策略的存在、唤醒模式或 cgroup 成员资格。随后，根据“占星优先级”计算的修正应用于基本时间片。例如，某些十二星座可能会提供增强或减少系数，而行星逆行可能会导致其领域内任务的时间片减少 50%。至关重要的是要理解，这是一种内部策略指标，仅影响时间片持续时间和从调度队列中选择的顺序；它不改变内核优先级（例如 nice、prio 或 SCHED_FIFO），这些优先级继续由内核独立处理。
相关新闻
scx_horoscope 的作者明确指出，该项目仅用于教育和娱乐目的。天文学计算是真实的，调度器能够稳定加载并在内核中运行，但使用占星学进行 CPU 时间分配并没有科学依据。这是 sched_ext 架构能力的一个出色演示，而不是生产使用的建议。scx_horoscope 只是更广泛的 scx 生态系统中的一个项目，在该生态系统中，其他实现，例如 scx_lavd（Latency-Aware Virtual Deadline），解决了实际问题，例如专注于桌面系统的交互性。因此，这个“仰望星空”的调度器不仅带来了笑容，还生动地说明了 sched_ext 引入的灵活性如何在 Linux 内核中为优化和资源管理开辟全新的视野。
