4、进程管理核心：进程创建、状态转换与调度策略

好，咱们今天聊点实在的。进程管理这块，说白了就是操作系统怎么“生”进程、怎么“管”进程、怎么让进程“跑”起来。QNX 作为硬实时系统，它的进程管理跟 Linux 有挺大区别。我刚开始接触 QNX 时，就吃过不少亏，今天把这些经验掰开揉碎了讲给你听。

4.1 进程创建：fork、exec 与 spawn

进程创建，是进程管理的起点。QNX 里主要有三种方式：fork、exec 和 spawn。嗯，这里有个关键点——QNX 的 fork 跟 Linux 的 fork 不完全一样。

4.1.1 fork：复制进程

fork() 会创建一个当前进程的副本。子进程几乎拥有父进程的一切：代码段、数据段、堆栈、文件描述符……但注意，QNX 是微内核，它的 fork 实现依赖于 proc 管理器。我个人习惯在嵌入式场景里尽量少用 fork，为什么？因为复制整个进程空间开销不小，尤其是在资源受限的板子上。

关键区别：QNX 的 fork 不会复制线程。只有调用 fork 的那个线程会出现在子进程中。其他线程？没了。这一点我当年踩过坑——多线程程序里调 fork，子进程莫名其妙死锁，查了半天才发现是锁没处理好。

// 典型 fork 用法
pid_t pid = fork();
if (pid == 0) {
    // 子进程
    printf("I am child, PID = %d\n", getpid());
    exit(0);
} else if (pid > 0) {
    // 父进程
    printf("I am parent, child PID = %d\n", pid);
} else {
    // fork 失败
    perror("fork");
}

4.1.2 exec：替换进程映像

exec 系列函数（execl、execp、execve 等）会加载一个新程序，替换当前进程的地址空间。说白了，就是“换芯”。fork + exec 是经典组合，先复制自己，再把自己换成别的程序。

但 QNX 里有个细节：exec 成功后，进程的调度策略和优先级会怎样？默认情况下，它们会继承。不过，如果你在 exec 时指定了 SPAWN_SETPARAM 标志，就可以重新设置。我曾经在一个项目中，子进程需要跑实时任务，但父进程是普通优先级，结果子进程继承后调度延迟超标……后来用 spawn 直接指定优先级才解决。

4.1.3 spawn：QNX 的推荐方式

spawn() 是 QNX 特有的进程创建函数。它把 fork + exec 合并成一步，而且更灵活。你可以直接指定新进程的路径、参数、环境变量，甚至能设置它的调度策略、优先级、CPU 亲和性。

我的建议：在 QNX 上开发，优先用 spawn 而不是 fork。原因有三：一是性能更好（省了一次内存复制）；二是可以精细控制子进程属性；三是避免了多线程 fork 的那些坑。

// spawn 示例：创建子进程并设置实时优先级
pid_t pid;
int ret;
struct sched_param param;
param.sched_priority = 50;  // 实时优先级

ret = spawn("my_realtime_task", 0, NULL, NULL,
            &param, SCHED_FIFO, NULL);
if (ret == -1) {
    perror("spawn failed");
} else {
    printf("Spawned PID = %d with FIFO priority 50\n", ret);
}

4.2 进程状态与转换

进程不是一直“跑”着的。它会在不同状态间跳来跳去。QNX 的进程状态比 Linux 少一些，但更清晰。

4.2.1 基本状态

状态 含义 说明
READY 就绪 进程已准备好运行，等待 CPU
RUNNING 运行 正在 CPU 上执行
BLOCKED 阻塞 等待某个事件（I/O、信号、消息等）
STOPPED 停止 被信号暂停（如 SIGSTOP）
DEAD 僵尸 进程已退出，但父进程未回收

你想想看，一个进程从创建到消亡，状态是怎么转的？

  • 创建后：进入 READY 状态，等待调度器选中它。
  • 被调度：从 READY 变成 RUNNING。
  • 时间片用完或被抢占：从 RUNNING 回到 READY。
  • 等待 I/O 或消息：从 RUNNING 变成 BLOCKED。
  • I/O 完成或收到消息：从 BLOCKED 回到 READY。
  • 收到 SIGSTOP：从 RUNNING 变成 STOPPED。
  • 收到 SIGCONT：从 STOPPED 回到 READY。
  • 调用 exit：变成 DEAD，直到父进程调用 wait() 回收。

避坑指南：我曾经在调试一个网络服务时，发现进程莫名其妙卡住了。用 pidin 一看，状态是 BLOCKED，等待一个消息。但消息发送方早就崩溃了。这就是典型的“死等”问题。解决办法？加超时机制，或者用 TimerTimeout() 设置阻塞超时。

4.2.2 查看进程状态

QNX 下用 pidin 命令可以查看所有进程的状态。我个人习惯加 -p 参数只看某个进程：

# 查看所有进程
pidin

# 查看 PID 为 123 的进程
pidin -p 123

# 输出示例：
#   PID   NAME   STATE   PRI   TICKS
#   123   myapp  RUNNING  10   2345
#   124   server  BLOCKED  20   5678

STATE 列就是进程当前状态。如果看到大量进程处于 BLOCKED 状态，嗯，你的系统可能 I/O 瓶颈了。

4.3 进程优先级与调度策略

这部分是实时系统的灵魂。QNX 支持三种调度策略：FIFO、RR 和 SPORADIC。优先级范围是 0~255，数字越大优先级越高。0 是空闲优先级，1~63 是实时优先级，64~255 是普通优先级。

4.3.1 FIFO 调度

FIFO（First In, First Out）调度，说白了就是“先来先服务，不打断”。一个 FIFO 进程一旦获得 CPU，就会一直运行，直到它主动放弃（比如阻塞、退出），或者被更高优先级的进程抢占。

我记得有一次做数据采集系统，采集线程用 FIFO 调度，优先级设得很高。结果它一直占着 CPU，把通信线程饿死了。后来我把采集线程改成 RR，问题就解决了。

适用场景：需要短时间独占 CPU 的任务，比如中断处理、紧急响应。但要注意，别让 FIFO 进程长时间运行，否则低优先级任务会“饿死”。

4.3.2 RR 调度

RR（Round Robin）调度，就是带时间片的 FIFO。每个 RR 进程运行一个时间片（默认 4 毫秒，可配置），时间到了就切换到同优先级的下一个 RR 进程。如果同优先级没有其他 RR 进程，那它继续运行。

RR 的好处是公平。多个同优先级的任务可以轮流执行，不会出现一个任务霸占 CPU 的情况。我一般把周期性的控制任务设为 RR，比如 10ms 周期的传感器读取。

// 设置当前进程为 RR 调度，优先级 30
struct sched_param param;
param.sched_priority = 30;
int ret = pthread_setschedparam(pthread_self(), SCHED_RR, &param);
if (ret != 0) {
    printf("Failed to set RR scheduling\n");
}

4.3.3 SPORADIC 调度

SPORADIC（零星调度）是 QNX 的特色。它专门为偶发性的实时任务设计。什么叫偶发性？就是平时不怎么跑，但一跑起来就必须在规定时间内完成的任务。

SPORADIC 调度有两个关键参数：

  • 预算（budget）：每个周期内允许运行的最大时间。
  • 周期（replenishment period）：预算补充的时间间隔。

举个例子：一个任务每 100ms 最多运行 10ms。那么它的预算就是 10ms，周期是 100ms。任务运行 10ms 后，优先级会被降低，直到下一个周期开始才恢复。

我的经验：SPORADIC 调度特别适合“平时低负载、偶尔高负载”的场景。比如一个看门狗任务，平时不做事，但一旦检测到异常，需要在 5ms 内响应。用 SPORADIC 调度，既能保证响应及时，又不会浪费 CPU 资源。

// 设置 SPORADIC 调度
struct sched_param param;
param.sched_priority = 40;          // 正常优先级
param.sched_ss_low_priority = 10;   // 预算耗尽后的低优先级
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 预算

int ret = pthread_setschedparam(pthread_self(), SCHED_SPORADIC, &param);
if (ret != 0) {
    printf("Failed to set SPORADIC scheduling\n");
}

4.3.4 如何选择调度策略？

我一般这样选：

  • 硬实时任务（必须按时完成）：用 FIFO，优先级设高。但确保任务执行时间短。
  • 周期性任务（固定频率执行）：用 RR，同优先级任务轮流跑。
  • 偶发性任务（平时不跑，偶尔爆发）：用 SPORADIC，省 CPU 又能保证响应。
  • 普通后台任务：用默认的普通调度（优先级 10~20 左右），别跟实时任务抢资源。

重要提醒：千万别把所有任务都设成 FIFO 高优先级。我曾经见过一个系统，所有线程都是 FIFO 优先级 255，结果调度器根本没法做时间片轮转，系统响应变得极其不稳定。记住，实时系统不是“优先级越高越好”，而是“合适的优先级给合适的任务”。

好了，进程创建、状态转换、调度策略，这三块是进程管理的核心。你想想看，一个进程从 spawn 出来，在 READY、RUNNING、BLOCKED 之间跳来跳去，被调度器按照 FIFO 或 RR 规则分配 CPU 时间——这就是 QNX 进程管理的全貌。下一章咱们聊聊线程，那又是另一番天地了。

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