优先级反转在互斥量与消息队列混用时，隐蔽触发点常在于任务A持有互斥量后，因等待空队列而阻塞，此时低优先级任务C获得CPU并尝试获取同一互斥量，导致高优先级任务B被间接延迟。排查方法：1) 使用内核跟踪工具（如FreeRTOS的traceALAW或SystemView）记录任务状态切换，重点观察持有互斥量的任务是否在队列等待中阻塞；2) 检查互斥量是否被错误地用于保护队列操作（如直接锁队列而非使用队列自带阻塞机制），这会造成锁持有时间不可控；3) 实施优先级继承测试：在临界区中故意插入长延时，观察高优先级任务是否被低优先级任务阻塞；4) 代码审查时，标记所有互斥量获取点，并确认其释放路径不经过任何队列等待。实操建议：将互斥量保护范围最小化，队列操作改用队列自身的阻塞发送/接收，避免锁内等待；若必须混用，可引入优先级天花板协议或使用递归互斥量并严格限制嵌套深度。
mcuku 阿沐 · 2026-08-27