4. RTOS核心机制

在 Linux 与 RTOS 混合部署的系统中，Linux 侧通常负责网络、文件系统、人机界面与复杂业务，而 RTOS 侧承担电机控制、传感器采样、通信协议栈、安全联锁等硬实时任务。两侧能否稳定协作，关键取决于 RTOS 内核是否具备可预测的任务调度、确定的抢占延迟、可靠的任务间通信以及可控的内存与中断行为。本节围绕这些核心机制展开，帮助读者建立“确定性优先”的工程判断。

一、任务调度与优先级抢占

RTOS 调度器通常采用基于优先级的抢占式调度。每个任务拥有静态或动态优先级，调度器始终选择就绪队列中优先级最高的任务运行。当更高优先级任务就绪时，当前任务被立即抢占，CPU 控制权在有限周期内完成切换。与 Linux 的 CFS 公平调度不同，RTOS 不追求吞吐公平，而追求最坏情况下的响应时间可计算。

常见调度策略包括：抢占式优先级调度、时间片轮转（同优先级）、协作式调度以及速率单调调度（RMS）。在混合部署中，RTOS 任务优先级分配应遵循“截止期越短、优先级越高”的原则，并避免优先级反转。

二、任务间通信：信号量、互斥量与消息队列

RTOS 任务之间不能随意共享全局变量，必须通过内核对象同步与通信。信号量用于事件通知与资源计数；互斥量用于临界区保护并支持优先级继承；消息队列用于任务间传递结构化数据，实现解耦与缓冲。

• 二值信号量：用于任务与中断之间的同步，例如中断服务程序释放信号量，任务获取后处理数据。
• 计数信号量：用于管理多个相同资源，如缓冲区槽位、DMA 通道。
• 互斥量：必须成对获取与释放，适合保护共享外设寄存器或全局状态。
• 消息队列：支持定长消息、阻塞超时与优先级投递，适合命令下发与事件上报。

在混合部署中，Linux 与 RTOS 之间的通信通常通过共享内存加中断或 RPMsg 实现，而 RTOS 内部任务通信仍以信号量和消息队列为主。设计时应明确“谁生产、谁消费、缓冲区多大、超时多久”，避免无限阻塞。

三、内存管理与中断处理

RTOS 内存管理强调确定性与碎片可控。常见方案包括静态分配、内存池和固定大小块分配。静态分配在编译期确定所有任务栈、队列和控制块，运行时无动态申请，确定性最好；内存池将大块内存划分为固定大小块，分配与释放时间为常数，适合频繁申请释放的场景。

中断处理遵循“快进快出”原则：中断服务程序只做最紧急的硬件操作，如清标志、读寄存器、释放信号量，将耗时处理交给任务。中断延迟由硬件响应、内核关中断时间和 ISR 入口开销共同决定。混合部署时，Linux 侧的中断可能被 RTOS 侧抢占，需要合理配置中断亲和性与优先级。

/* 典型 RTOS 中断与任务同步伪代码 */
void ISR_Sensor(void) {
    BaseType_t woken = pdFALSE;
    raw = read_register(SENSOR_DATA);
    xSemaphoreGiveFromISR(sem_sensor, &woken);
    portYIELD_FROM_ISR(woken);
}

void Task_Process(void *arg) {
    for (;;) {
        if (xSemaphoreTake(sem_sensor, portMAX_DELAY) == pdTRUE) {
            process(raw);
        }
    }
}

四、确定性保障方法与工程清单

确定性不是单一机制的结果，而是调度、内存、中断、通信与测量共同保障的系统属性。工程上应优先使用静态分配、固定优先级、短临界区、中断下半部任务化，并通过 GPIO 翻转、示波器或跟踪工具测量最坏执行时间与抖动。

五、典型场景与误区复盘

以工业伺服控制为例：RTOS 侧以 1 kHz 周期执行电流环，优先级最高；位置环 200 Hz，优先级次之；通信任务 50 Hz，优先级较低。电流环通过互斥量读取共享编码器数据，通过消息队列接收上位机指令。若通信任务在临界区内执行浮点运算，会拉长电流环阻塞时间，导致控制抖动。正确做法是将浮点运算移出临界区，仅复制必要数据。

常见误区包括：用信号量代替互斥量保护共享资源，导致优先级反转；在中断中调用可能阻塞的 API；动态内存分配发生在实时路径；任务栈按经验值设置过小，运行一段时间后溢出；以及只关注平均延迟而忽略最坏情况。复盘时应以“最坏情况执行时间、阻塞时间、中断关闭时间”三项指标为核心，逐项测量并留出安全裕量。

综上，RTOS 核心机制的价值在于把“不可预测”转化为“可计算”。在混合部署工程中，应把调度优先级、互斥保护、消息缓冲、内存分配和中断延迟作为一组相互约束的参数统一设计，并通过实测验证最坏情况，才能让 Linux 的灵活性与 RTOS 的确定性在同一颗芯片上稳定共存。