一、任务调度基础：调度器到底在干什么？

大家好，我是老张。做了十几年系统底层优化，今天咱们聊聊任务调度。

很多人觉得调度就是“把任务排个队，挨个执行”。嗯，这么说也没错，但太粗糙了。你想想看，一个操作系统里同时跑着几十上百个进程，CPU 就那么几个核，谁先上、谁后上、谁该被踢下去——这些决策，就是调度器的活儿。

1.1 什么是任务调度？

任务调度，说白了就是决定哪个任务在什么时候、在哪个 CPU 上运行。

我刚开始做嵌入式开发时，觉得调度器就是个“排队机”。直到有一次，一个实时控制系统因为调度策略选错，导致关键任务被延迟了 200 毫秒——整个产线停了。那次之后我才真正明白：调度不是排队，是资源博弈。

调度器面对的核心矛盾就一个：任务无限多，CPU 有限少。怎么分？分给谁？分多久？这就是调度器每天要回答的三个问题。

1.2 调度器的核心职责拆解

咱们把调度器的工作拆开看，其实就五件事：

职责	说明	我踩过的坑
任务排队	维护就绪队列，按策略排序	队列用链表实现，结果频繁插入删除导致 cache miss 严重
时间片管理	分配和回收 CPU 时间片	时间片设太短，切换开销占用了 30% CPU
上下文切换	保存/恢复寄存器、栈指针、PC	一次切换 2000 个时钟周期，高频切换直接拖垮系统
优先级处理	高优先级任务抢占低优先级	优先级反转导致低优先级任务阻塞了高优先级，整个系统卡死
负载均衡	多核间迁移任务，避免忙闲不均	迁移太频繁，cache 亲和性全丢了，性能反而下降

1.3 调度算法分类：抢占式 vs 非抢占式

调度算法分两大类，这个分类决定了任务能不能被中途打断。

非抢占式调度

任务一旦获得 CPU，就一直运行到主动释放（比如 I/O 等待、任务结束）。调度器只在任务释放 CPU 时才做决策。

优点：实现简单，上下文切换少，适合批处理系统。

缺点：一个任务死循环，整个系统就挂了。响应时间不可控。

我记得早期的一些 RTOS 就支持非抢占模式，用在一些非常简单的控制场景。但说实话，现在很少见了。

抢占式调度

调度器可以在任意时刻中断当前任务，把 CPU 分配给另一个任务。中断、时钟 tick、优先级变化都可能触发抢占。

优点：响应快，实时性好，适合交互系统和实时系统。

缺点：实现复杂，需要处理竞态条件，上下文切换开销大。

你想想看，现在主流的 Linux、Windows、FreeRTOS，哪个不是抢占式？因为用户受不了“点一下鼠标等三秒”的体验。

对比维度	非抢占式	抢占式
调度时机	任务主动让出 CPU	任意时刻可中断
响应时间	不可预测	可预测，上限可控
实现复杂度	低	高（需处理锁、信号量）
上下文切换频率	低	高
典型场景	批处理、简单嵌入式	通用 OS、实时系统

1.4 调度算法的全景图

为了让你有个整体认识，我画了张图。这张图涵盖了调度算法的核心分类和典型代表。

1.5 实际系统中的调度策略

理论说完了，咱们看看实际系统怎么选。

Linux 的 CFS（完全公平调度器）： 本质上是抢占式，但用红黑树维护任务，保证每个任务都能获得公平的 CPU 时间。我调优过一个数据库服务器，默认 CFS 参数下，I/O 密集型任务经常被 CPU 密集型任务抢占，导致磁盘利用率上不去。后来调整了 sched_latency_ns 和 sched_min_granularity_ns，问题解决。

FreeRTOS： 支持抢占式和时间片轮转混合模式。我做过一个智能家居网关，传感器采集任务用抢占式保证实时性，日志上报任务用时间片轮转避免饿死。

Windows： 基于优先级的抢占式调度，优先级范围 0-31。我记得有一次排查一个桌面应用卡顿问题，发现是某个驱动把优先级提得太高，导致 UI 线程被频繁抢占。