4. 任务调度算法（二）：优先级抢占式调度原理、优先级反转问题、优先级继承协议、实际应用场景
上一章我们聊了时间片轮转和协作式调度，那些算法在简单场景下够用。但一旦进入实时系统，比如工业控制、汽车电子、无人机飞控，你就必须面对一个核心问题：高优先级的任务能不能立刻抢到CPU？
答案就是优先级抢占式调度。这玩意儿是RTOS的脊梁骨，但用不好也会翻车。今天我就把它的原理、坑点、以及怎么填坑，一次性讲透。
4.1 优先级抢占式调度：到底怎么“抢”？
说白了，就是每个任务都有一个优先级数字（通常数字越小优先级越高）。调度器每次只干一件事：从就绪队列里挑优先级最高的任务去跑。
关键点在于“抢占”二字。当一个低优先级任务正在跑的时候，如果有一个更高优先级的任务就绪了，调度器会立刻打断当前任务，保存现场，然后切到高优先级任务去执行。等它跑完或者被阻塞了，再回来继续跑原来的低优先级任务。
核心规则： 任何时候，CPU都属于就绪态中优先级最高的那个任务。这是硬实时系统的基石。
我画了一张图，帮你理解这个切换过程：
你想想看，这种机制保证了紧急任务能及时响应。但代价是什么？上下文切换的开销。每次抢占都要保存一堆寄存器、栈指针、状态字。如果系统里任务太多，切换太频繁，CPU时间都花在“换人”上了，实际干活的时间反而少了。
我的经验： 任务数量控制在10个以内，优先级分3-5级就够了。别搞出几十个优先级，调度器自己先累死了。
4.2 优先级反转：一个经典的“坑”
优先级抢占式调度看起来完美，但一旦涉及共享资源（比如一个全局变量、一个硬件寄存器、一个内存池），问题就来了。
我给你讲个真实场景。假设有三个任务：
- 任务H（高优先级，优先级1）：需要访问共享资源R
- 任务M（中优先级，优先级3）：纯计算任务，不需要R
- 任务L（低优先级，优先级5）：正在使用资源R
正常逻辑：任务H应该最先跑。但实际流程是这样的：
- 任务L拿到资源R的锁，开始执行。
- 任务H就绪，抢占任务L。但任务H需要资源R，发现锁被任务L拿着，只能阻塞等待。
- 任务L恢复执行，但还没跑完，任务M就绪了。任务M优先级比任务L高，于是任务M抢占任务L。
- 任务M跑完，任务L才能继续。任务L释放锁后，任务H才能跑。
结果： 最高优先级的任务H，硬生生被两个低优先级任务堵在后面。这就是优先级反转。
我曾经踩过的坑： 在一个电机控制项目中，高优先级的电流环任务被一个低优先级的通信任务堵了整整2毫秒。电机直接抖成筛子。查了两天才发现是优先级反转。从那以后，我对共享资源的访问控制再也不敢马虎。
优先级反转的危害有多大？看这个表格你就明白了：
| 场景 | 任务H响应时间 | 系统影响 |
|---|---|---|
| 无资源竞争 | 立即响应 | 正常 |
| 有资源竞争（无反转） | 等待任务L释放锁 | 可接受（微秒级） |
| 优先级反转 | 等待任务L + 任务M + 任务L | 不可预测，可能毫秒甚至秒级 |
4.3 优先级继承协议：怎么填坑？
解决优先级反转，最经典的办法就是优先级继承协议。它的核心思想很简单：
当一个低优先级任务持有高优先级任务需要的资源时，低优先级任务临时“继承”高优先级任务的优先级。
还是刚才那个例子，用优先级继承协议处理：
- 任务L持有资源R，任务H来请求资源R，被阻塞。
- 调度器发现任务H在等任务L，于是把任务L的优先级临时提升到任务H的级别（优先级1）。
- 任务M（优先级3）就绪时，发现任务L现在是优先级1，比它高，所以任务M无法抢占任务L。
- 任务L一口气跑完，释放资源R，优先级恢复为原来的5。
- 任务H拿到资源，开始执行。
你看，任务H的等待时间被压缩到只有任务L执行临界区的时间。这才是我们想要的效果。
关键点： 优先级继承是“临时”的，只在持有资源期间有效。释放资源后，优先级必须恢复原值。否则系统优先级体系就乱套了。
我画了张对比图，让你直观感受一下区别：
4.4 实际应用场景：什么时候用？怎么用？
优先级继承协议不是万能的。我总结了几种典型场景，帮你判断该不该用：
| 场景 | 推荐方案 | 理由 |
|---|---|---|
| 共享资源访问频繁，且优先级层级多 | 优先级继承协议 | 有效防止反转，实现简单 |
| 临界区极短（几条指令） | 关中断 | 开销最小，无需协议 |
| 资源访问可预测，无中优先级任务干扰 | 优先级天花板协议 | 更简单，但需要静态分析 |
| 复杂资源依赖，多个锁嵌套 | 优先级继承 + 死锁检测 | 防止死锁和反转同时发生 |
我个人的习惯： 在项目初期，先用关中断保护短临界区。等系统稳定后，再针对长临界区引入优先级继承。别一开始就上复杂协议，容易把自己绕进去。
最后说一个实际案例。我之前做的一个工业机器人控制器，有6个关节电机需要同步控制。每个关节有一个高优先级的控制任务（优先级1），还有一个低优先级的参数上报任务（优先级5）。它们共享一个电机参数结构体。
一开始没加优先级继承，结果某个关节的控制任务偶尔会延迟几百微秒。机器人走直线时，末端会抖一下。加上优先级继承后，延迟稳定在10微秒以内，问题彻底解决。
注意： 优先级继承协议需要RTOS内核支持。市面上主流的RTOS（FreeRTOS、uC/OS-III、RT-Thread）都内置了这个功能。但默认可能是关闭的，需要你在配置文件中手动开启。别想当然以为它自动生效。
嗯，优先级抢占式调度和优先级反转的问题，今天就聊到这儿。记住一句话：抢占是好东西，但共享资源是它的软肋。优先级继承就是补上这块软肋的补丁。