📚 课程目录第3章进程与线程管理

3. 进程与线程管理

在 QNX Neutrino 微内核架构中，进程与线程是资源分配与调度的两个核心维度。进程提供独立的地址空间与资源容器，线程则是内核真正参与调度的执行单元。理解二者的创建方式、调度策略、同步机制以及生命周期关系，是编写稳定 IPC 程序的基础。

一、核心原理：进程是容器，线程是执行体

QNX 中每个进程拥有独立的虚拟地址空间、文件描述符表、信号处理环境以及一组线程。线程共享所属进程的地址空间与资源，但拥有独立的寄存器上下文、栈、优先级和调度策略。因此，进程切换代价高，线程切换代价低，IPC 设计应尽量利用线程模型降低上下文开销。

进程创建在 QNX 中通常通过 posix_spawn() 或 fork() 完成。由于 QNX 微内核没有传统意义上的写时复制大内核，fork() 在资源受限场景下并不推荐，posix_spawn() 更高效，适合嵌入式实时环境。线程创建则使用 pthread_create()，并可通过属性对象设置调度策略、优先级、栈大小和分离状态。

关键点：QNX 的调度单位是线程，不是进程。进程只是线程的“资源容器”，因此优先级、调度策略、同步原语都作用在线程层面。

二、方法流程：创建、调度与同步

线程创建时，pthread_attr_t 决定其调度行为。QNX 支持 SCHED_FIFO、SCHED_RR、SCHED_SPORADIC 等策略。实时线程通常使用 FIFO 或 RR，并配合优先级继承避免优先级反转。

pthread_attr_t attr;
pthread_attr_init(&attr);
pthread_attr_setinheritsched(&attr, PTHREAD_EXPLICIT_SCHED);
pthread_attr_setschedpolicy(&attr, SCHED_FIFO);
struct sched_param param = { .sched_priority = 20 };
pthread_attr_setschedparam(&attr, &param);
pthread_create(&tid, &attr, worker_thread, NULL);

同步原语方面，QNX 提供互斥锁、条件变量、读写锁、信号量和屏障。互斥锁默认支持优先级继承，适合保护短临界区；条件变量用于线程间等待/通知；信号量适合计数型资源控制；屏障用于多线程阶段性同步。选择不当会导致优先级反转、死锁或实时性下降。

三、进程间关系与生命周期

QNX 进程之间存在父子关系、会话关系以及资源继承关系。父进程退出后，子进程可能被 init 进程收养。进程生命周期包括创建、运行、阻塞、停止、僵尸和终止等状态。线程生命周期则包括就绪、运行、阻塞、终止。若主线程退出而其他线程仍在运行，进程不会立即结束；若调用 exit()，整个进程终止。

进程间通信常通过通道、连接、消息传递、共享内存和脉冲实现。理解进程与线程的生命周期，有助于避免资源泄漏、句柄失效和 IPC 通道悬挂。

四、案例场景：多线程消息服务

假设一个 QNX 消息服务进程，主线程负责创建通道并接收消息，工作线程池负责处理请求。主线程使用 ChannelCreate() 建立通道，工作线程通过互斥锁保护共享队列，使用条件变量等待任务。若工作线程优先级低于接收线程，可能导致消息积压；若使用 FIFO 且未设置优先级继承，则可能出现优先级反转。

// 主线程：创建通道并派发任务
chid = ChannelCreate(0);
while (1) {
    rcvid = MsgReceive(chid, &msg, sizeof(msg), NULL);
    pthread_mutex_lock(&queue_lock);
    enqueue(&msg);
    pthread_cond_signal(&queue_cond);
    pthread_mutex_unlock(&queue_lock);
}

该场景中，进程提供通道与共享内存，线程承担并发处理，同步原语保证队列安全。若线程创建时未设置 PTHREAD_EXPLICIT_SCHED，线程可能继承创建者调度属性，导致实时性不符合预期。

五、误区与复盘

误区	后果	正确做法
把进程当作调度单位	优先级设置无效或误判	明确线程才是调度对象
fork 后立即 exec 大程序	地址空间复制开销大	优先使用 posix_spawn
互斥锁未启用优先级继承	优先级反转，实时性下降	使用默认 PTHREAD_PRIO_INHERIT
主线程退出即认为进程结束	工作线程被意外终止或资源泄漏	显式 join 或分离线程并等待
忽略僵尸进程回收	进程表项耗尽	父进程 waitpid 或设置 SIGCHLD

在 QNX 实时系统中，线程优先级与调度策略必须显式设置，不能依赖默认继承。同步原语的选择要结合临界区长度、阻塞时间和优先级反转风险综合判断。

调试建议：使用 pidin 查看进程与线程状态，使用 hogs 观察 CPU 占用，结合 tracelogger 分析调度延迟与 IPC 阻塞点。

综上，QNX 的进程与线程管理围绕“进程管资源、线程管执行”展开。创建方式决定资源开销，调度策略决定实时性，同步原语决定并发正确性，生命周期管理决定系统长期稳定运行。掌握这四者之间的关系，才能为后续 IPC 通道、消息传递和共享内存开发打下坚实基础。