3. 优先级继承协议：协议原理、实现机制、代码示例（FreeRTOS优先级继承）、优缺点分析

好，咱们接着聊优先级反转的解法。

上一节我提到，优先级反转最让人头疼的地方，就是低优先级任务“拖死”高优先级任务。那怎么解决？一个很经典的方案就是——优先级继承协议。

我个人习惯把这个协议叫做“临时升职”。什么意思呢？说白了，就是当一个低优先级任务占着高优先级任务需要的资源时，系统会临时把低优先级任务的优先级，提升到跟高优先级任务一样高。这样它就能尽快跑完、释放资源，高优先级任务就不用干等了。

3.1 协议原理

优先级继承的核心思想就一句话：谁拿着锁，谁就继承等待者的优先级。

举个例子：

• 任务A（优先级高）和任务B（优先级低）共享一个互斥锁。
• 任务B先拿到了锁，正在执行。
• 任务A来了，想拿锁，发现锁被B占着，于是A被阻塞。
• 这时候，系统会把任务B的优先级临时提升到和任务A一样高。
• 任务B以高优先级运行，尽快释放锁。
• 锁释放后，任务B的优先级恢复原样，任务A拿到锁继续执行。

你想想看，这样一来，任务C（中等优先级）就算想抢，也抢不过临时升职的任务B。任务A的等待时间就大大缩短了。

3.2 实现机制

实现优先级继承，操作系统内核需要做几件事：

1. 记录锁的持有者：每个互斥锁都要知道当前被谁拿着。
2. 记录等待者优先级：当高优先级任务来等锁时，内核要记住它的优先级。
3. 动态提升优先级：把锁持有者的优先级提升到等待者中最高那个。
4. 恢复优先级：锁释放时，把持有者的优先级降回原来的值。

嗯，这里要注意：如果多个高优先级任务在等同一个锁，那锁持有者的优先级要提升到这些等待者中最高的那个。不能只提升一次就完事。

3.3 代码示例：FreeRTOS 优先级继承

FreeRTOS 的互斥量（Mutex）默认就支持优先级继承。咱们直接看代码：

// 创建互斥量（带优先级继承）
SemaphoreHandle_t xMutex = xSemaphoreCreateMutex();

// 高优先级任务
void HighPriorityTask(void *pvParameters) {
    while(1) {
        // 尝试获取锁
        if(xSemaphoreTake(xMutex, portMAX_DELAY) == pdTRUE) {
            // 访问共享资源
            // ...
            // 释放锁
            xSemaphoreGive(xMutex);
        }
    }
}

// 低优先级任务
void LowPriorityTask(void *pvParameters) {
    while(1) {
        // 先拿到锁
        if(xSemaphoreTake(xMutex, portMAX_DELAY) == pdTRUE) {
            // 模拟长时间操作
            vTaskDelay(pdMS_TO_TICKS(100));
            // 释放锁
            xSemaphoreGive(xMutex);
        }
    }
}

你看，代码本身没什么特别的。关键在于 xSemaphoreCreateMutex() 这个函数。它创建的不是普通二值信号量，而是带优先级继承机制的互斥量。

我曾经踩过一个坑：用 xSemaphoreCreateBinary() 代替了 xSemaphoreCreateMutex()。结果高优先级任务被中等优先级任务堵得死死的，查了半天才发现是信号量类型用错了。所以，记得用 Mutex，别用 Binary Semaphore。

3.4 优缺点分析

优点	缺点
实现相对简单，内核改动小	可能发生“死锁链”继承，导致优先级混乱
能有效解决无界优先级反转	不能完全避免死锁（需要配合其他机制）
实时性提升明显，等待时间可预测	多次继承时，系统开销增加
FreeRTOS 等主流 RTOS 原生支持	嵌套锁场景下，逻辑复杂度上升

3.5 核心逻辑流程图

下面我用一张 SVG 图，把优先级继承的整个流程画出来。你看完应该就清楚了：

这张图从左到右、从上到下，把优先级继承的完整路径走了一遍。核心就是：阻塞 → 继承 → 执行 → 恢复。

---

公众号:蓝海资料掘金营，微信deep3321