FreeRTOS 优先级继承机制源码解析：vTaskPriorityInherit 与 xTaskPriorityDisinherit

3.3 根据任务状态处理就绪列表

if( listIS_CONTAINED_WITHIN( &( pxReadyTasksLists[ pxTCB->uxPriority ] ), &( pxTCB->xStateListItem ) ) != pdFALSE ) {
    /* 任务当前在就绪列表中，需先移除再重新插入 */
    if( uxListRemove( &( pxTCB->xStateListItem ) ) == ( UBaseType_t ) 0 ) {
        taskRESET_READY_PRIORITY( pxTCB->uxPriority );
    }
    pxTCB->uxPriority = pxCurrentTCB->uxPriority;
    prvAddTaskToReadyList( pxTCB );
} else {
    /* 任务不在就绪列表，仅更新优先级数值 */
    pxTCB->uxPriority = pxCurrentTCB->uxPriority;
}

任务可能处于就绪或非就绪（阻塞、挂起）状态：

• 若在就绪列表：需要先将其从原优先级就绪列表中移除，更新优先级后重新插入新优先级就绪列表。
• 若不在就绪列表：暂时只需修改 uxPriority，待任务恢复就绪时将使用新优先级。

最后调用跟踪宏 traceTASK_PRIORITY_INHERIT 记录事件。

4. xTaskPriorityDisinherit() 源码分析

xTaskPriorityDisinherit() 在任务释放互斥量时被调用，用于恢复持有者的原始优先级。其原型如下：

BaseType_t xTaskPriorityDisinherit( TaskHandle_t const pxMutexHolder );

返回值 pdTRUE 表示需要触发一次上下文切换，否则返回 pdFALSE。源码解析：

4.1 参数检查与断言

if( pxMutexHolder != NULL ) {
    configASSERT( pxTCB == pxCurrentTCB );
    configASSERT( pxTCB->uxMutexesHeld );
    ( pxTCB->uxMutexesHeld )--;
}

首先确保持有者存在，并通过断言验证：

• 只有当前运行的任务才能释放互斥量（pxTCB == pxCurrentTCB）。
• 任务确实持有至少一个互斥量（uxMutexesHeld > 0）。

随后将互斥量持有计数减 1。

4.2 判断是否需要解除继承

if( pxTCB->uxPriority != pxTCB->uxBasePriority ) {
    /* 优先级曾被提升 */
    if( pxTCB->uxMutexesHeld == ( UBaseType_t ) 0 ) {
        /* 这是最后一个互斥量，允许恢复 */

只有当前优先级与基础优先级不同时，才说明任务曾因继承而提升优先级。进一步，仅当 uxMutexesHeld 变为 0 时，才真正需要恢复原始优先级。这是因为任务可能同时持有多个互斥量，若还有其他互斥量被持有，优先级仍需保持较高状态。

4.3 恢复优先级操作

if( uxListRemove( &( pxTCB->xStateListItem ) ) == ( UBaseType_t ) 0 ) {
    taskRESET_READY_PRIORITY( pxTCB->uxPriority );
}
/* 恢复基础优先级 */
pxTCB->uxPriority = pxTCB->uxBasePriority;
/* 更新事件列表项值 */
listSET_LIST_ITEM_VALUE( &( pxTCB->xEventListItem ), ( TickType_t ) configMAX_PRIORITIES - ( TickType_t ) pxTCB->uxPriority );
/* 重新加入就绪列表 */
prvAddTaskToReadyList( pxTCB );
xReturn = pdTRUE;

此处执行的操作与继承时类似：先从就绪列表（如果任务在其中）移除，更新优先级数值，更新事件列表项，再重新插入就绪列表。最后将返回值设为 pdTRUE，提示系统可能需要进行一次上下文切换。

4.4 返回值的意义

注释明确指出，返回 pdTRUE 是为了应对'多个互斥量以与获取时不同的顺序释放'的特殊情况。若第一次释放互斥量时未触发切换，则最后一次释放时必须触发，以确保任何等待该互斥量的任务能够及时得到调度。

5. 两个函数的协同工作流程

假设有以下任务场景：

• 任务 L：优先级 1，持有互斥量 M。
• 任务 H：优先级 10，试图获取 M。
• 任务 M：优先级 5，无资源依赖。

流程如下：

1. 任务 H 调用 xSemaphoreTake 获取 M，发现已被 L 持有，进入阻塞。
2. 内核调用 vTaskPriorityInherit(L)，将 L 的优先级提升至 10，并将 L 移入优先级 10 的就绪列表。
3. 调度器选择最高优先级任务运行，此时 L（优先级 10）继续执行，尽快释放 M。
4. 任务 L 调用 xSemaphoreGive 释放 M，内核调用 xTaskPriorityDisinherit(L)，将 L 的优先级恢复为 1，重新插入优先级 1 的就绪列表。
5. 函数返回 pdTRUE，触发一次上下文切换，任务 H（优先级 10）获得 CPU，成功获取 M 后继续运行。

在此过程中，中等优先级的任务 M 始终无法抢占 L，因为 L 已被临时提升至高于 M 的优先级，从而避免了优先级反转。

6. 使用与配置

6.1 使能互斥量功能

优先级继承机制仅在创建互斥量时生效（使用 xSemaphoreCreateMutex()），且必须将宏 configUSE_MUTEXES 设置为 1。

6.2 任务设计建议

1. 避免任务持有多个互斥量：从源码可见，当任务持有多个互斥量时，优先级解除会被延迟，可能导致任务长时间运行在较高优先级，影响其他低优先级任务。
2. 合理划分优先级：优先级继承虽能缓解反转，但过度依赖会增加系统复杂度。建议在设计阶段减少高、低优先级任务对同一资源的竞争。
3. 中断服务程序限制：中断服务程序中不能直接调用 vTaskPriorityInherit，因为该函数涉及任务状态操作，只能在任务上下文中使用。
4. 调试跟踪：跟踪宏 traceTASK_PRIORITY_INHERIT 和 traceTASK_PRIORITY_DISINHERIT 可用于调试，但默认未开启，需在 FreeRTOSConfig.h 中定义。

7. 总结

FreeRTOS 的优先级继承机制通过两个关键函数 vTaskPriorityInherit 和 xTaskPriorityDisinherit，在保证系统实时性的同时，提供了简洁高效的实现。深入理解其源码不仅有助于正确使用互斥量，更能为分析和解决复杂调度问题打下基础，有助于应对相关技术考核。