4. 优先级抢占调度机制

VxWorks 的实时性核心，来自“优先级抢占”这一调度策略。理解它需要抓住三件事：优先级数值代表什么、就绪队列如何组织、以及内核在什么时刻决定切换任务。这三者共同决定了任务从“就绪”到“运行”的延迟是否可预测。

一、优先级数值语义：小数字，高优先级

在 VxWorks 中，任务优先级是一个整数，取值范围通常为 0～255（由内核配置决定，默认 256 级）。关键语义是：数值越小，优先级越高。0 为最高优先级，255 为最低优先级。这与很多“数值越大越优先”的系统相反，是初学者最容易混淆的地方。

内核在创建任务时通过 taskSpawn 或 taskInit 指定优先级。例如：

/* 创建三个任务，优先级分别为 10、50、200 */
taskSpawn("tHigh", 10, 0, 4096, highTask, 0,0,0,0,0,0,0,0,0,0);
taskSpawn("tMid",  50, 0, 4096, midTask,  0,0,0,0,0,0,0,0,0,0);
taskSpawn("tLow", 200, 0, 4096, lowTask,  0,0,0,0,0,0,0,0,0,0);

这里 tHigh 优先级最高，tLow 最低。VxWorks 还提供 taskPrioritySet() 在运行时动态修改优先级，这是实现优先级继承的基础。需要强调的是，优先级数值本身不携带“时间”含义，它只表达相对顺序；真正的确定性来自“高优先级就绪即抢占”这一规则。

二、就绪队列组织：每级一个队列，位图定位最高

VxWorks 的就绪队列不是一条链表，而是按优先级分级的多个队列。内核维护一个就绪位图（ready bitmap），每一位对应一个优先级；当某个优先级上有任务就绪时，对应位置 1。调度器只需在位图中找到最低的置位位（即最高优先级），就能 O(1) 定位到应运行的任务。

同一优先级内的多个任务采用轮转（round-robin）方式共享 CPU，前提是启用了轮转调度（kernelTimeSlice）。若未启用，同优先级任务按 FIFO 顺序执行，先就绪者先运行，直到阻塞或主动让出。这种“位图 + 分级队列”的结构，使调度决策时间与任务数量无关，只与优先级级数相关，是 VxWorks 确定性的重要来源。

三、抢占发生时机：内核在哪些点检查重调度

抢占不是随时发生的，而是在内核的重调度点被触发。典型时机包括：

• 高优先级任务就绪时：如中断服务程序（ISR）释放信号量，唤醒了等待该信号量的高优先级任务。ISR 返回前，内核检查是否有更高优先级任务就绪，若有则立即切换。
• 当前任务主动阻塞时：任务调用 semTake、taskDelay、msgQReceive 等进入阻塞态，内核从就绪队列中选出最高优先级任务运行。
• 任务优先级被提升时：调用 taskPrioritySet() 将某任务优先级提高到超过当前运行任务，若该任务处于就绪态，则触发抢占。
• 时间片耗尽时：同优先级轮转场景下，时间片用完触发切换，但不会抢占更高优先级任务。

需要特别注意：中断服务程序本身不参与任务调度，它运行在中断上下文，优先级高于所有任务。ISR 应尽可能短，把耗时工作通过信号量或消息队列交给任务处理，否则会破坏系统的确定性。

四、优先级反转与火星探路者案例

优先级反转是指：高优先级任务因等待一个被低优先级任务持有的资源而阻塞，而中优先级任务又抢占了低优先级任务，导致高优先级任务被“间接”地长时间延迟。经典场景如下：

1. 低优先级任务 L 获取了互斥信号量 M。
2. 高优先级任务 H 就绪，尝试获取 M，失败后阻塞。
3. 中优先级任务 M 就绪，抢占 L 运行。
4. L 无法运行，M 无法释放，H 被无限期延迟。

1997 年火星探路者号（Mars Pathfinder）就遭遇了这一问题。着陆器上的信息总线管理任务（低优先级）持有互斥量，气象数据任务（高优先级）等待该互斥量，而通信任务（中优先级）长时间运行，导致高优先级任务无法执行，系统反复复位。NASA 通过远程上传补丁，启用互斥量的优先级继承协议，让低优先级任务在持有互斥量期间临时继承等待者的高优先级，从而避免被中优先级任务抢占，问题得以解决。

五、实践要点与配置示例

在实际工程中，建议遵循以下原则：

• 关键任务优先级应高于非关键任务，但不要滥用 0～10 的极高级别，留出余量。
• 共享资源访问一律使用互斥量，并启用优先级继承。
• ISR 中只做最少的处理，通过 semGive() 唤醒任务。
• 同优先级任务若需公平共享，启用轮转调度并设置合理时间片。

下面是一个启用优先级继承的互斥量创建示例：

SEM_ID mutex;
mutex = semMCreate(SEM_Q_PRIORITY | SEM_INVERSION_SAFE);
if (mutex == NULL) {
    /* 创建失败处理 */
}

/* 任务中访问共享资源 */
semTake(mutex, WAIT_FOREVER);
/* 临界区操作 */
semGive(mutex);

通过位图调度、明确的重调度点和优先级继承机制，VxWorks 在大多数场景下能提供可预测的响应时间。但确定性不是自动获得的，它要求开发者在任务划分、优先级分配和资源共享设计上做出正确决策。火星探路者的教训说明：一个看似微小的调度策略选择，可能决定整个系统的成败。