4、QNX调度策略：FIFO调度、Round-Robin调度、Sporadic调度、优先级继承协议、调度策略选择指南

调度策略，说白了就是系统决定「下一个该谁跑」的规则。

QNX 是个硬实时系统，它的调度器不是「尽量公平」，而是「必须准时」。我见过不少从 Linux 转过来的工程师，上来就用默认调度，结果中断延迟飙到毫秒级——嗯，那画面太美我不敢看。

今天咱们就把 QNX 的几种调度策略掰开揉碎，讲清楚它们各自适合什么场景，以及怎么选。

4.1 FIFO 调度（SCHED_FIFO）

FIFO 调度，全称 First In First Out。名字听着像排队，但实际不是「先来后到」那么简单。

核心规则：

  • 优先级高的线程先跑
  • 同优先级线程，谁先就绪谁先跑
  • 线程一旦获得 CPU，除非主动让出（sleep、阻塞、yield），否则一直跑

你想想看，这意味着什么？

如果一个高优先级线程是个死循环，那所有同优先级或低优先级的线程就永远没机会了。我在项目中遇到过这种情况：一个传感器采集线程用了 FIFO 调度，结果里面有个 bug 导致偶尔卡住，整个系统的低优先级任务全部饿死，连看门狗都喂不上。

适用场景：

  • 需要最短且最确定响应时间的任务
  • 任务执行时间短，且不会长时间占用 CPU
  • 中断服务线程（ISR）的后续处理

注意：FIFO 调度下，同优先级线程之间没有时间片轮转。如果一个线程不主动让出 CPU，其他同优先级线程会一直饿着。我曾经调试过一个系统，两个 FIFO 线程互相等待对方释放资源，结果死锁了三天才找到原因。

4.2 Round-Robin 调度（SCHED_RR）

Round-Robin 可以理解为「带时间片的 FIFO」。

同优先级线程之间，每个线程跑一个时间片（默认 4ms，可配置），时间到了就切换到下一个。这样就不会出现一个线程霸占 CPU 的情况。

核心区别：

特性 FIFO Round-Robin
时间片 无 有（默认 4ms）
同优先级调度 谁先就绪谁跑，直到主动让出 轮流跑，时间片用完就切换
确定性 更高（无时间片中断） 稍低（时间片到期会打断）
适用场景 短任务、高实时性 多个同优先级任务需要公平共享 CPU

我个人习惯是：如果多个同优先级任务都是周期性的，且每个周期内执行时间差不多，我会用 Round-Robin。但如果某个任务对延迟特别敏感，我会把它单独提一个优先级，用 FIFO。

小技巧：时间片大小可以调整。我在一个视频处理项目中，把时间片从 4ms 改成了 1ms，画面卡顿感明显改善。但注意，时间片太小会导致上下文切换开销增大，得不偿失。

4.3 Sporadic 调度（SCHED_SPORADIC）

Sporadic 调度是 QNX 特有的，也是很多人不太熟悉的策略。说白了，它是为「偶尔突发、但平时很闲」的任务设计的。

工作原理：

  • 任务有一个「正常优先级」和一个「紧急优先级」
  • 平时任务以正常优先级运行
  • 当任务被唤醒（比如收到事件），它立即提升到紧急优先级
  • 跑完一个「预算时间」后，降回正常优先级
  • 如果任务在预算时间内没跑完，会被强制降级

为什么会需要这种调度？

我举个例子：一个网络数据包处理任务，平时几乎不干活，但一旦有突发流量，需要在极短时间内处理大量包。如果用 FIFO 给它高优先级，它平时闲着也是浪费；如果用低优先级，突发时又来不及。

Sporadic 调度就是解决这个矛盾的——平时低优先级不干扰别人，突发时自动提权，处理完再降回去。

关键参数：

  • 正常优先级：任务大部分时间运行的优先级
  • 紧急优先级：突发时提升到的优先级
  • 预算时间：每次突发允许使用紧急优先级的总时间
  • 补充周期：预算时间用完后的恢复时间

避坑指南：我曾经在一个工业控制项目中，把 Sporadic 的预算时间设得太短，结果任务每次突发都跑不完，频繁降级，导致数据丢包。后来我把预算时间改成了最大突发量的 1.5 倍，问题解决。记住：预算时间要留余量，别卡得太死。

4.4 优先级继承协议

优先级继承不是一种独立的调度策略，而是一种解决「优先级反转」的机制。

什么是优先级反转？

假设有三个线程：高优先级 H、中优先级 M、低优先级 L。

  1. L 先拿到了一把锁
  2. H 来了，想拿同一把锁，被阻塞，于是 L 继续跑
  3. M 来了，它不需要那把锁，所以它抢占了 L
  4. 结果：H 在等 L，L 被 M 抢占，H 反而被 M 间接阻塞了

这就是优先级反转——高优先级线程被中优先级线程「反杀」了。

优先级继承怎么解决？

当 H 被 L 阻塞时，L 临时继承 H 的优先级。这样 M 就无法抢占 L 了，L 能尽快跑完释放锁，H 就能继续执行。

QNX 的 pthread 支持优先级继承协议，通过设置 PTHREAD_PRIO_INHERIT 属性启用。

// 启用优先级继承的互斥锁示例
pthread_mutexattr_t attr;
pthread_mutex_t mutex;

pthread_mutexattr_init(&attr);
pthread_mutexattr_setprotocol(&attr, PTHREAD_PRIO_INHERIT);
pthread_mutex_init(&mutex, &attr);

个人经验：我建议所有涉及多优先级线程共享资源的互斥锁，都启用优先级继承。虽然会带来一点点性能开销（大约 5-10%），但能避免 99% 的优先级反转问题。我在一个雷达信号处理系统中吃过这个亏，后来全部改成优先级继承，系统稳定性提升了一个档次。

4.5 调度策略选择指南

说了这么多，到底怎么选？我整理了一个简单的决策流程，你照着走就行。

第一步：看任务类型

  • 硬实时任务（必须按时完成，否则系统崩溃）：用 FIFO 调度，给最高优先级
  • 软实时任务（偶尔超时可以接受）：用 FIFO 或 Round-Robin，优先级适中
  • 非实时任务（后台处理、日志等）：用默认调度（SCHED_OTHER），优先级最低

第二步：看任务行为

  • 任务执行时间短且固定（比如 100μs 内搞定）：FIFO 调度
  • 多个同优先级任务需要公平共享：Round-Robin 调度
  • 平时不干活，偶尔突发大量工作：Sporadic 调度

第三步：看资源竞争

  • 有共享资源（锁、信号量等）：启用优先级继承协议
  • 没有共享资源：不用操心，直接用 FIFO 或 RR

我的推荐组合：

场景 推荐策略
中断处理 + 后续工作 FIFO，最高优先级
周期性传感器采集 FIFO，中高优先级
多个控制环路 Round-Robin，同优先级
网络协议栈处理 Sporadic 调度
日志、监控、调试 默认调度，最低优先级

最后说一句：调度策略没有银弹。你想想看，每个系统都有自己的脾气，最好的办法是先在测试环境跑一遍，用 QNX 的 slogger2 和 tracelogger 抓一下调度延迟数据，再根据实际情况微调。

我曾经在一个项目中，把所有任务都设成 FIFO 最高优先级，结果系统直接卡死——因为中断线程和用户线程互相抢 CPU。后来花了整整一周重新梳理优先级和调度策略，才把系统调顺。所以，别偷懒，该测试就测试，该调就调。

← 上一章 📖 返回目录 下一章 →