第三章 进程与线程基础：进程与线程概念、QNX进程模型、线程调度策略、优先级管理
各位同学，今天我们聊聊进程和线程。说实话，这两个概念是操作系统的基石，也是很多嵌入式开发者容易混淆的地方。我在QNX上做项目这么多年，见过不少因为搞不清进程和线程关系而翻车的案例。嗯，咱们今天就把这事儿彻底讲透。
3.1 进程与线程：到底有什么区别？
先问大家一个问题：一个正在运行的程序，在操作系统眼里是什么？
答案是进程。进程是资源分配的最小单位。每个进程有自己的地址空间、文件描述符、信号处理器等。说白了，进程就是操作系统给程序划的一块“地盘”，这块地盘里别人不能随便进来。
那线程呢？线程是CPU调度的最小单位。同一个进程里的多个线程，共享这块“地盘”里的资源。它们可以访问同一块内存，读写同一个文件。我经常跟团队说：线程是干活的人，进程是干活的车间。
举个例子，你在QNX上启动一个应用程序，系统会创建一个进程。这个进程里可能有一个主线程在跑，也可能有多个线程并行处理任务。每个线程有自己的栈和寄存器上下文，但堆内存是共享的。
核心区别一句话总结：
- 进程：资源隔离，一个崩了不影响另一个
- 线程：资源共享，一个崩了整个进程可能挂
我的经验：在QNX上做高可靠性系统时，我习惯把关键功能拆成独立进程。比如汽车上的制动控制，绝对不能和娱乐系统放在同一个进程里。一个进程崩溃，至少还有另一个能顶上。
3.2 QNX进程模型：微内核的独特之处
QNX的进程模型和Linux有很大不同。QNX是微内核架构，内核只提供最基本的服务：进程调度、消息传递、中断处理。其他服务，比如文件系统、设备驱动，都跑在用户空间的独立进程中。
这意味着什么？意味着QNX的进程间通信（IPC）是核心中的核心。没有高效的IPC，微内核就玩不转。QNX的IPC基于消息传递，进程之间通过Send/Receive/Reply这三个原语通信。我刚开始接触QNX时，觉得这比Linux的共享内存复杂多了。但用久了才发现，这种设计让系统更稳定——一个驱动进程挂了，内核不会跟着崩。
QNX的进程状态也很清晰：
| 状态 | 说明 |
|---|---|
| READY | 就绪，等待CPU |
| RUNNING | 正在运行 |
| BLOCKED | 阻塞，等待某个事件（比如消息、信号量） |
| STOPPED | 停止，通常被调试器暂停 |
| ZOMBIE | 僵尸，进程已退出但父进程还没收尸 |
注意：QNX里没有Linux那种“孤儿进程被init收养”的机制。父进程必须显式调用waitpid()来回收子进程资源。我曾经在项目里漏掉了这个，结果系统跑了几天后内存耗尽——全是僵尸进程。
3.3 线程调度策略：FIFO、RR、SPORADIC
QNX支持多种调度策略。你想想看，一个系统里可能有几十个线程在跑，谁先执行谁后执行？这就是调度策略要解决的问题。
3.3.1 FIFO调度（先进先出）
FIFO调度，说白了就是“先来先服务”。线程按优先级排队，同优先级的线程，谁先就绪谁先跑。这个线程不主动让出CPU（比如阻塞或退出），同优先级的其他线程就只能等着。
我一般在实时性要求高、任务执行时间短的场景用FIFO。比如中断处理线程，来了就处理，处理完就阻塞，用FIFO最合适。
// 设置线程为FIFO调度策略
pthread_attr_t attr;
struct sched_param param;
pthread_attr_init(&attr);
pthread_attr_setinheritsched(&attr, PTHREAD_EXPLICIT_SCHED);
pthread_attr_setschedpolicy(&attr, SCHED_FIFO);
param.sched_priority = 30;
pthread_attr_setschedparam(&attr, ¶m);
pthread_create(&thread, &attr, my_thread_func, NULL);3.3.2 RR调度（时间片轮转）
RR调度和FIFO类似，但多了一个时间片限制。每个线程跑完一个时间片后，如果还没阻塞，就会被强制切换到同优先级的下一个线程。这防止了一个线程霸占CPU太久。
我个人习惯在多个同等重要的任务之间做负载均衡时用RR。比如数据采集线程和日志记录线程，它们优先级相同，用RR可以让它们轮流执行，谁也不饿着。
关键区别：
- FIFO：不主动让出就一直跑
- RR：时间片到了就换人
3.3.3 SPORADIC调度（零星调度）
SPORADIC调度是QNX的特色，专门为偶发性的实时任务设计。这种任务平时不跑，但一旦触发就必须在规定时间内完成。比如汽车上的安全气囊触发逻辑——平时没事，撞车了必须毫秒级响应。
SPORADIC调度允许线程在“紧急”时提高优先级，处理完后再降回来。它有几个参数：
- 初始预算：线程在高优先级下能跑的总时间
- 补充周期：预算用完多久后补充
- 最大优先级：紧急时能提升到的最高优先级
- 低优先级：平时的优先级
// 设置SPORADIC调度
struct sched_param param;
param.sched_priority = 10; // 低优先级
param.sched_ss_low_priority = 5; // 更低的基础优先级
param.sched_ss_repl_period.tv_sec = 0;
param.sched_ss_repl_period.tv_nsec = 100000000; // 100ms补充周期
param.sched_ss_init_budget.tv_sec = 0;
param.sched_ss_init_budget.tv_nsec = 10000000; // 10ms预算
param.sched_ss_max_repl = 3; // 最大补充次数
pthread_setschedparam_ex(pthread_self(), SCHED_SPORADIC, ¶m, NULL);避坑指南：我曾经在一个项目中把SPORADIC的补充周期设得太短，结果线程频繁触发高优先级，把其他关键任务都挤掉了。记住：补充周期要大于任务的实际执行间隔，否则系统会“假死”。
3.4 优先级管理：别让高优先级饿死低优先级
QNX的优先级范围是0到255，数字越大优先级越高。0是空闲线程，255是最高优先级（通常留给内核）。
优先级管理有个经典问题：优先级反转。高优先级线程等一个低优先级线程持有的资源，而低优先级线程又被中等优先级线程抢占了CPU。结果高优先级反而跑不了。
QNX怎么解决？它支持优先级继承协议。当高优先级线程阻塞在低优先级线程持有的资源上时，低优先级线程会临时继承高优先级的优先级，直到释放资源。这样中等优先级线程就抢不过它了。
// 创建带优先级继承的互斥锁
pthread_mutexattr_t mattr;
pthread_mutexattr_init(&mattr);
pthread_mutexattr_setprotocol(&mattr, PTHREAD_PRIO_INHERIT);
pthread_mutex_t mutex;
pthread_mutex_init(&mutex, &mattr);注意：优先级继承不是万能的。如果多个高优先级线程同时等一个资源，还是可能出问题。我建议在设计阶段就做好优先级规划，避免出现“高优先级线程依赖低优先级线程”的循环依赖。
3.5 实战建议：如何选择调度策略？
说了这么多，到底怎么选？我给大家一个简单的参考：
| 场景 | 推荐策略 | 理由 |
|---|---|---|
| 中断处理、短任务 | FIFO | 快速响应，不浪费时间片切换 |
| 多个同等重要的长任务 | RR | 公平分配CPU时间 |
| 偶发实时任务 | SPORADIC | 平时不占资源，紧急时能响应 |
| 普通应用 | 默认（通常是RR） | 够用，省心 |
最后说一句：调度策略和优先级是工具，不是目的。我见过有人把优先级设得乱七八糟，结果系统调度开销比实际干活还多。记住一个原则：够用就好，别过度设计。
嗯，这一章就到这里。下一章我们聊聊QNX的进程间通信——消息传递，这才是QNX的精髓所在。