2. 任务优先级反转与互斥量(Mutex)的正确使用

说到多任务系统，优先级反转这个问题，我敢说每个做嵌入式开发的兄弟都遇到过。说白了，就是高优先级任务被低优先级任务"拖后腿"了。嗯，咱们今天就把这个坑彻底填上。

2.1 什么是优先级反转？

先看一个典型场景。系统里有三个任务：

• Task_High：高优先级，处理紧急数据
• Task_Mid：中等优先级，做普通计算
• Task_Low：低优先级，控制外设

正常情况下，Task_High应该随时抢占CPU。但问题出在共享资源上。

假设Task_Low先拿到了一个互斥锁，正在操作共享数据。这时候Task_High来了，也想用这个资源。它发现锁被占着，只能挂起等待。好戏开始了——Task_Mid突然就绪了，它不需要那个锁，直接抢占了CPU。Task_Low被Task_Mid打断，锁一直释放不了。Task_High呢？只能干等着。

你看，高优先级的Task_High，现在反而被中优先级的Task_Mid"踩在脚下"。这就是优先级反转。

2.2 我在项目中踩过的坑

我记得有一次做工业控制器的项目，系统里跑着十几个任务。有个数据采集任务优先级设得很高，负责读取传感器数据。它和一个日志记录任务共享一个缓冲区，用了二值信号量做保护。

结果呢？现场调试时发现，采集任务偶尔会"卡死"几十毫秒。一开始我以为是硬件问题，查了三天。后来用FreeRTOS的跟踪功能一看，好家伙，优先级反转！日志任务优先级低，但它拿着锁不放，中间还有个网络任务在疯狂发包，把日志任务挤得死死的。

那次之后，我对优先级反转就特别敏感了。

2.3 互斥量(Mutex) vs 二值信号量

很多初学者分不清这两个东西。我直接说结论：

特性	互斥量 (Mutex)	二值信号量
优先级继承	✅ 支持	❌ 不支持
谁创建谁释放	必须	任意任务
递归加锁	✅ 支持	❌ 不支持
适用场景	共享资源互斥	任务同步/通知

说白了，保护共享资源就用互斥量。为什么？因为它自带优先级继承机制。

2.4 优先级继承是怎么工作的？

FreeRTOS的互斥量内部实现了优先级继承。它的原理很简单：

1. 低优先级任务持有锁时，如果高优先级任务来等锁
2. 系统临时把低优先级任务的优先级提升到和高优先级一样
3. 低优先级任务释放锁后，优先级恢复原样

你想想看，这样一来，Task_Low拿着锁的时候，Task_Mid就抢不了它了。Task_Low能快速执行完、释放锁，Task_High就能拿到资源继续跑。

2.5 代码示例：正确使用互斥量

下面是一个典型的使用模式：

// 创建互斥量
SemaphoreHandle_t xMutex = xSemaphoreCreateMutex();

// 任务A：写数据
void TaskA(void *pvParameters) {
    while(1) {
        // 获取互斥量
        if(xSemaphoreTake(xMutex, portMAX_DELAY) == pdTRUE) {
            // 操作共享资源
            write_to_shared_buffer(data);
            // 释放互斥量
            xSemaphoreGive(xMutex);
        }
        // 做其他事情
        vTaskDelay(pdMS_TO_TICKS(10));
    }
}

// 任务B：读数据
void TaskB(void *pvParameters) {
    while(1) {
        if(xSemaphoreTake(xMutex, portMAX_DELAY) == pdTRUE) {
            read_from_shared_buffer();
            xSemaphoreGive(xMutex);
        }
        vTaskDelay(pdMS_TO_TICKS(20));
    }
}

2.6 避坑指南

我曾经犯过几个错误，分享出来大家引以为戒：

• 不要在中断中用互斥量：中断里只能用二值信号量或队列。互斥量的优先级继承机制在中断上下文中不适用。
• 注意死锁：两个任务互相等待对方释放锁，就死锁了。我一般用超时机制，比如 portMAX_DELAY 改成 pdMS_TO_TICKS(100)，超时了就报错。
• 递归锁：如果一个任务可能多次获取同一个互斥量，用 xSemaphoreCreateRecursiveMutex()。我有个同事没注意这个，同一个任务连续take两次，直接卡死。

2.7 知识体系图

下面这张图展示了优先级反转问题的完整脉络：

2.8 总结一下

优先级反转不是洪水猛兽，理解了原理就好办。我的建议是：

• 保护共享资源，优先用互斥量
• 任务同步、中断通知，用二值信号量或队列
• 设计任务优先级时，尽量让共享资源的持有者优先级高一些
• 实在不行，关中断或使用调度器锁，但时间要短

嗯，这一节就到这里。记住一句话：互斥量不只是锁，它还是优先级反转的"灭火器"。