2、QNX内核调度基础：QNX调度器架构、线程与进程模型、优先级调度策略回顾
好，咱们正式开始聊调度。说实话，调度器是实时操作系统的灵魂。你想想看，一个系统里同时跑着几十个任务，谁先执行、谁后执行、谁该被踢出去——这些决策全得靠调度器。QNX的调度器设计得相当精巧，我做了这么多年嵌入式，见过不少系统，但QNX这套机制确实让人服气。
2.1 QNX调度器架构：一个微内核的调度哲学
QNX是微内核架构，这一点和Linux完全不同。微内核意味着什么？意味着内核只做最核心的事——调度、IPC、中断处理。其他东西，比如文件系统、设备驱动，全跑在用户空间。
我个人习惯把QNX的调度器想象成一个「交通警察」。它站在十字路口，手里拿着秒表，决定哪辆车先走。这个警察很聪明，它知道每辆车的优先级，也知道每辆车已经等了多久。
调度器的核心职责：
- 维护就绪队列（Ready Queue）
- 根据调度策略选择下一个要执行的线程
- 执行上下文切换（保存当前线程状态，恢复目标线程状态）
- 处理定时器事件和抢占
我在项目中遇到过一个问题：一个多核系统上，四个核都在跑实时任务，但偶尔会出现某个核空转，其他核忙得要死。后来发现是调度器的亲和性设置没配好。嗯，这里要注意——QNX的调度器默认是全局调度的，但你可以通过绑定CPU亲和性来精细控制。
2.2 线程与进程模型：别搞混了
很多从Linux转过来的朋友，一开始容易把QNX的线程和进程搞混。其实很简单：
- 进程：拥有独立的地址空间。一个进程可以包含多个线程。
- 线程：调度的基本单位。同一个进程内的线程共享地址空间。
说白了，进程是资源的容器，线程是执行的实体。QNX里调度器根本不关心进程，它只认线程。你创建100个线程，调度器就管这100个线程，至于它们属于哪个进程——调度器不在乎。
我记得有一次调试一个内存泄漏问题，发现某个进程的线程数暴涨到300多个。每个线程都在等一个信号量，结果整个系统响应变慢。为什么？因为线程太多了，调度器光切换上下文就忙不过来。
我的建议：实时系统中，线程数不要超过CPU核心数的2-3倍。线程不是越多越好，上下文切换是有代价的。
2.3 优先级调度策略回顾：FIFO、RR、SPORADIC
QNX支持三种调度策略，我一个个说。
2.3.1 FIFO调度（SCHED_FIFO）
FIFO，先进先出。一个线程一旦获得CPU，除非它主动让出（比如调用sleep、等待IPC），或者被更高优先级的线程抢占，否则它会一直跑下去。
我曾经在一个数据采集项目里用了FIFO调度。采集线程优先级设得最高，它拿到CPU后就开始疯狂采集数据，直到缓冲区满了才让出CPU。结果呢？其他线程饿死了，界面卡死，日志写不出去。
避坑指南：FIFO调度下，同优先级的线程不会自动让出CPU。如果你写了一个死循环，整个系统就卡死了。我曾经见过一个同事，调试时忘了加sleep，结果系统直接挂掉。
2.3.2 轮转调度（SCHED_RR）
RR和FIFO很像，但多了一个时间片的概念。同优先级的线程轮流执行，每个线程跑完一个时间片后，调度器就把它放到队尾，换下一个线程上。
时间片默认是4毫秒，你可以通过ThreadCtl()修改。我个人习惯把时间片设成2毫秒，这样响应更快，但上下文切换开销也更大。你得权衡。
// 设置线程为RR调度，时间片2ms
struct sched_param param;
param.sched_priority = 10;
param.sched_quantum = 2000; // 微秒单位
pthread_setschedparam(thread_id, SCHED_RR, ¶m);
2.3.3 零星调度（SCHED_SPORADIC）
这个策略比较特殊，QNX独有的。它专门用来处理「偶尔爆发」的任务。比如一个监控线程，平时不干活，但一旦检测到异常，就需要立刻处理大量数据。
SPORADIC调度允许线程在短时间内「借用」高优先级，用完后再降回来。这样既保证了紧急任务的响应，又不会长期霸占CPU。
| 策略 | 适用场景 | 注意事项 |
|---|---|---|
| SCHED_FIFO | 需要连续执行的任务 | 小心同优先级线程饿死 |
| SCHED_RR | 多个同优先级任务轮流执行 | 时间片设太短会增加开销 |
| SCHED_SPORADIC | 偶发高负载任务 | 参数配置复杂，需要仔细调优 |
2.4 优先级反转与优先级继承
聊调度策略，不能不提优先级反转。这是个经典问题，也是面试常考题。
简单说：低优先级线程拿着一个锁，高优先级线程在等这个锁。结果中优先级线程抢占了低优先级线程，导致高优先级线程一直等不到锁。这就是优先级反转。
QNX怎么解决？优先级继承。当高优先级线程等待低优先级线程持有的锁时，低优先级线程会临时「继承」高优先级线程的优先级。这样中优先级线程就抢不过它了，锁能尽快释放。
我记得在某个车载项目中，一个传感器数据线程优先级设得很高，但偶尔会出现数据延迟。查了半天，发现是另一个线程在操作共享内存时没释放锁。开了优先级继承后，问题立刻解决。
关键点：QNX的互斥量（pthread_mutex）默认支持优先级继承。但信号量（semaphore）不支持。所以，如果你用信号量做同步，小心优先级反转。
2.5 调度相关的系统调用
最后，我列几个常用的调度相关API，你们可以收藏一下：
pthread_setschedparam()：设置线程的调度策略和优先级pthread_getschedparam()：获取当前调度参数ThreadCtl()：更底层的线程控制，比如设置时间片sched_yield()：主动让出CPU
嗯，调度这块内容其实挺深的。今天咱们先把基础打牢，后面章节我会详细讲自适应分区调度——那才是QNX真正厉害的地方。
好，今天就到这儿。下一章我们聊分区调度的核心概念，到时候见。