2. 实时操作系统基础

在工业控制领域，操作系统是否“快”并不是唯一指标，真正决定系统可用性的是可预测性。VxWorks 之所以长期占据工业实时控制的核心位置，正是因为它把实时性、确定性和抢占式调度做成了可度量、可验证的工程能力。本节从概念到机制，再到工业场景要求，建立一套完整的实时操作系统认知框架。

一、实时性不等于“快”：核心原理

实时性（Real-Time）指系统在规定的时间约束内完成响应并给出正确结果的能力。一个响应时间 1ms 但偶尔抖动到 50ms 的系统，在硬实时场景中可能比响应时间 5ms 但抖动不超过 0.1ms 的系统更危险。因此实时系统关注三个维度：

• 响应时间：从事件发生到任务开始执行的时间。
• 抖动（Jitter）：多次响应时间的波动范围，越小越确定。
• 最坏情况执行时间（WCET）：任务在极端条件下仍能保证的上界。

确定性（Determinism）则强调行为可重复、可预测。同样的输入和状态，系统应在可界定的时间窗口内产生同样的响应。VxWorks 通过固定优先级抢占调度、优先级继承、确定性中断延迟和内存锁定等机制，把不确定性压缩到可接受范围。

二、抢占式调度：让高优先级任务先跑

VxWorks 默认采用基于优先级的抢占式调度。每个任务拥有 0～255 的优先级，数值越小优先级越高。当高优先级任务就绪时，内核立即保存当前任务上下文，切换到高优先级任务执行。其关键流程如下：

1. 任务创建时指定优先级和栈大小，进入就绪队列。
2. 调度器始终选择就绪队列中优先级最高的任务运行。
3. 中断或信号量释放使更高优先级任务就绪时，立即触发重调度。
4. 同优先级任务可采用时间片轮转，避免饥饿。

/* VxWorks 任务创建示例：优先级 50，栈 8KB */
taskId = taskSpawn("ctrlTask", 50, VX_FP_TASK, 0x2000,
                   (FUNCPTR)controlLoop, 0,0,0,0,0,0,0,0,0,0);

/* 提高优先级，确保控制任务抢占非关键任务 */
taskPrioritySet(taskId, 40);

抢占式调度的价值在于：控制回路任务不会被低优先级的日志、通信或界面任务阻塞。但抢占也带来共享资源竞争问题，最典型的就是优先级反转。

三、优先级反转与优先级继承

优先级反转指高优先级任务因等待被低优先级任务持有的互斥资源而被迫阻塞，而中间优先级的任务又抢占了低优先级任务，导致高优先级任务被“间接”延迟。经典案例是火星探路者号因优先级反转导致系统复位。

VxWorks 提供优先级继承机制：当高优先级任务等待低优先级任务持有的互斥信号量时，低优先级任务临时继承高优先级，尽快释放资源，从而缩短阻塞时间。使用互斥信号量而非二值信号量保护共享资源，是避免反转的关键。

/* 创建支持优先级继承的互斥信号量 */
mutexId = semMCreate(SEM_Q_PRIORITY | SEM_INVERSION_SAFE);

/* 任务中保护共享资源 */
semTake(mutexId, WAIT_FOREVER);
/* 临界区：访问共享数据 */
semGive(mutexId);

四、硬实时与软实时的区别及工业场景要求

硬实时与软实时的分界线在于错过截止时间是否造成不可接受后果。硬实时系统中，错过截止时间等同于系统失败；软实时系统中，偶尔超时只降低服务质量。

工业场景对实时系统提出更具体的要求：

• 确定性中断延迟：中断响应时间必须可界定，不能随负载剧烈波动。
• 内存锁定：关键任务代码和数据锁定在物理内存，避免缺页导致不可预测延迟。
• 优先级规划：控制任务高于通信任务，通信任务高于日志和界面任务。
• 资源保护：共享资源必须使用互斥信号量，并尽量缩短临界区。
• 可观测性：通过 WindView、系统时钟和任务钩子记录调度轨迹，验证最坏情况。

五、案例与复盘：一个运动控制任务的优先级设计

某伺服控制系统中，控制周期为 1ms，要求抖动小于 50μs。初始设计将控制任务、EtherCAT 通信任务和日志任务设为同一优先级，结果日志写 Flash 时导致控制周期抖动超过 300μs。复盘后调整如下：

1. 控制任务优先级设为 40，通信任务设为 45，日志任务设为 120。
2. 控制任务与通信任务共享的数据用互斥信号量保护，启用优先级继承。
3. 日志任务改为低优先级后台任务，批量写入，避免频繁 Flash 操作。
4. 控制任务代码和数据通过 memPartAlloc 锁定，关闭该任务的浮点上下文保存开销。

/* 锁定关键任务内存，减少不可预测延迟 */
memPartAlloc(memSysPartId, size);
/* 使用系统时钟测量控制周期抖动 */
tickGet();
/* 通过 WindView 记录任务切换轨迹，验证最坏调度延迟 */

调整后，控制周期抖动稳定在 20μs 以内，满足硬实时要求。这个案例说明：实时性不是靠提高 CPU 主频解决的，而是靠优先级设计、资源保护和确定性机制共同保证的。

综上，实时操作系统的核心不是“跑得快”，而是“跑得稳、跑得可预测”。VxWorks 通过抢占式调度、优先级继承、内存锁定和确定性中断处理，为工业硬实时场景提供了可验证的时间保障。理解硬实时与软实时的边界，合理规划优先级和资源保护策略，是工业控制系统稳定运行的基础。