优先级反转在互斥量与消息队列混用时，常因任务间隐式依赖链而引发死锁。典型场景：高优先级任务H持有互斥量M，等待低优先级任务L释放M，而L正阻塞在消息队列Q上，等待中优先级任务M1发送消息，但M1被H的优先级继承所压制（或M1自身优先级低于H且不参与继承），导致H永远等不到M。排查方法：1) 使用静态分析工具（如FreeRTOS+Trace、SEGGER SystemView）记录任务状态切换，绘制等待图（mutex owner、queue sender/receiver）；2) 在互斥量获取和消息发送处添加超时（如xSemaphoreTake带ticks），并打印超时时的任务栈回溯；3) 检查优先级继承是否覆盖所有共享资源——若互斥量保护了队列操作，需确保继承链完整；4) 采用优先级天花板协议（如CMSIS-RTOS2的osMutexPrioCeiling）替代继承，从根上消除反转。实操建议：先复现死锁，再通过trace工具定位最后阻塞点，重点检查是否有任务在持锁时调用阻塞API（如vTaskDelay、xQueueReceive），这是常见陷阱。
mcuku 阿沐 · 2026-08-27