4、QNX实时调度策略（一）：FIFO调度策略原理、优先级设置、调度点分析

各位同学，今天我们正式进入实时调度策略的实战环节。

先聊FIFO调度。说实话，很多做Linux移植过来的工程师，第一次看到QNX的FIFO调度，容易把它和普通的先入先出队列搞混。其实两者完全不是一回事。QNX里的FIFO调度，全称是SCHED_FIFO，它是一种基于优先级的、非时间片轮转的实时调度策略。

4.1 FIFO调度策略的核心原理

FIFO调度的核心逻辑，我用一句话概括：高优先级的线程只要就绪，就立即抢占低优先级线程；同优先级的线程，按就绪顺序排队，先来先服务，直到主动让出CPU。

嗯，这里要注意一个关键点：没有时间片。这和普通的轮转调度（SCHED_RR）有本质区别。在FIFO调度下，一个线程如果自己不主动挂起、不阻塞、不主动让出CPU，那它会一直跑下去。同优先级的其他线程只能干等着。

核心特征总结：

  • 严格基于优先级抢占
  • 同优先级线程按FIFO顺序执行
  • 没有时间片限制
  • 线程主动让出CPU的方式：阻塞、挂起、主动调用sched_yield()

我在项目中遇到过这样一个场景：一个数据采集线程和日志写入线程被设成了相同优先级，都用了FIFO调度。结果日志线程一旦开始写文件，采集线程就永远拿不到CPU——因为日志线程在循环写，从不阻塞。这就是典型的FIFO调度陷阱。

4.2 优先级设置：从0到255的博弈

QNX的优先级范围是0到255，其中0是最低优先级，255是最高优先级。实时线程通常使用63到255这个区间。我个人习惯把关键控制线程放在200以上，普通实时任务放在100-199，非实时任务放在0-99。

优先级设置不是越高越好。你想想看，如果把所有线程都设成255，那FIFO调度就退化成普通的先入先出队列了，完全失去了优先级抢占的意义。

下面是一个典型的优先级设置示例：

#include <sys/neutrino.h>
#include <sys/sched.h>

// 设置线程为FIFO调度，优先级200
struct sched_param param;
param.sched_priority = 200;

if (pthread_setschedparam(pthread_self(), 
                          SCHED_FIFO, 
                          &param) != 0) {
    // 需要root权限或适当的capability
    perror("设置FIFO调度失败");
}

避坑指南：

我曾经在项目中犯过一个低级错误——在非root进程里调用pthread_setschedparam设置高优先级。结果返回EPERM，线程直接挂掉。记住：设置实时优先级需要PROCMGR_AID_RTID权限。要么以root运行，要么在构建时添加权限。

4.3 调度点分析：什么时候发生调度？

搞清楚了优先级设置，接下来要理解调度点。说白了，就是在哪些时刻，调度器会重新评估该让哪个线程运行。

FIFO调度下，调度点主要有以下几个：

  1. 线程创建时：新线程就绪，如果优先级高于当前运行线程，立即抢占。
  2. 线程阻塞时：当前线程调用阻塞API（如MsgReceive、sleep、wait等），调度器从就绪队列选下一个。
  3. 线程主动让出时：调用sched_yield()，当前线程放到同优先级队列尾部。
  4. 线程优先级改变时：某个线程的优先级被调高，可能触发抢占。
  5. 中断返回时：中断处理完成后，如果有更高优先级的线程就绪，会直接抢占。

这里有个容易被忽略的点：中断返回时的调度。我记得有一次调试一个电机控制程序，发现中断服务程序明明很快，但控制线程就是响应慢。后来发现是中断里调用了某个API，触发了线程优先级反转。嗯，这个后面讲优先级继承时会细说。

重要提醒：

FIFO调度下，如果多个同优先级线程都在做纯计算（不阻塞、不yield），那么只有第一个线程能运行，其他线程永远得不到CPU。这不是bug，是设计如此。解决方案：要么用SCHED_RR，要么在关键位置主动调用sched_yield()。

4.4 实战：一个FIFO调度示例

我们写一个简单的例子，看看FIFO调度在实际中怎么表现：

#include <stdio.h>
#include <pthread.h>
#include <sys/neutrino.h>

void* worker_thread(void* arg) {
    int prio = *(int*)arg;
    
    // 设置当前线程为FIFO调度
    struct sched_param param;
    param.sched_priority = prio;
    pthread_setschedparam(pthread_self(), SCHED_FIFO, &param);
    
    printf("线程启动，优先级: %d\n", prio);
    
    // 模拟计算任务
    volatile int i;
    for (i = 0; i < 1000000; i++) {
        // 纯计算，不阻塞
    }
    
    printf("线程结束，优先级: %d\n", prio);
    return NULL;
}

int main() {
    pthread_t t1, t2;
    int prio1 = 200, prio2 = 150;
    
    // 先创建低优先级线程
    pthread_create(&t2, NULL, worker_thread, &prio2);
    sleep(1);  // 确保t2先运行
    
    // 再创建高优先级线程
    pthread_create(&t1, NULL, worker_thread, &prio1);
    
    pthread_join(t1, NULL);
    pthread_join(t2, NULL);
    
    return 0;
}

运行结果会是什么？你猜猜看。实际输出是：

线程启动，优先级: 150
线程启动，优先级: 200
线程结束，优先级: 200
线程结束，优先级: 150

看到了吗？高优先级线程200虽然创建得晚，但它一就绪就立即抢占了正在运行的150线程。这就是FIFO调度的抢占特性。

4.5 性能调优建议

基于我多年的QNX调优经验，给你几条FIFO调度策略的实战建议：

场景 建议优先级 说明
中断处理线程 250-255 响应最快，但执行时间要短
控制环路线程 200-249 周期性任务，如PID控制
数据采集线程 150-199 需要及时但允许少量延迟
日志/监控线程 100-149 非关键任务，可被抢占
后台维护线程 50-99 空闲时执行

个人经验：

我建议你在设计阶段就画一张优先级分配表，明确每个线程的优先级和调度策略。别等到调试时再临时改优先级，那样很容易出现优先级冲突。我曾经在一个项目中，两个团队各自把线程优先级设成了255，结果系统启动后只有一个线程在跑，另一个完全没动静——查了两天才发现是优先级撞车了。

好了，FIFO调度策略的原理和实战就讲到这里。下一节我们会讲SCHED_RR轮转调度，以及如何在实际项目中混合使用这两种策略。记住：FIFO调度是一把双刃剑，用好了是实时利器，用不好就是系统卡死的元凶。

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