5.3 互斥量（Mutex）与递归互斥量
5.3.1 互斥量的核心目标：安全的独占访问
在FreeRTOS多任务系统中，当两个或更多任务需要访问同一共享资源（如全局变量、静态数据结构、外设寄存器或非线程安全的库函数）时，必须进行同步以避免竞态条件。竞态条件指系统输出依赖于任务执行的相对时序，这种不确定性是嵌入式系统稳定性的重大威胁。互斥量正是为解决此问题而设计的核心同步原语。
互斥量的核心语义是提供对资源的互斥访问，即任一时刻只允许一个任务进入受保护的代码区域（临界区）。在形式上，互斥量可视为一个具有特殊所有权属性的二进制信号量：
- 持有：任务成功获取（Take）互斥量后，称为该互斥量的持有者（Owner）。
- 释放：只有持有者才能释放（Give）该互斥量。
- 嵌套：标准互斥量不支持嵌套获取，即持有者再次尝试获取同一互斥量将导致死锁。
这种所有权模型是互斥量与普通二进制信号量的根本区别。二进制信号量是一个“事件”，任何任务都可以给予（Signal）；而互斥量是一个“令牌”，其释放必须由获取它的任务执行。FreeRTOS通过记录互斥量持有者的任务句柄来强制执行此所有权规则。
5.3.2 优先级继承协议：应对优先级反转
1. 优先级反转问题
考虑一个由三个任务（优先级高H> 中M> 低L）和互斥量Mtx保护的共享资源组成的系统：
L运行并成功获取Mtx，进入临界区。H就绪，抢占L。H尝试获取Mtx，发现已被L持有，于是阻塞。M就绪（此时H被阻塞，L被挂起），因优先级高于L，M开始运行。
此时，高优先级任务H的阻塞时间不仅包括L持有Mtx的时间，还被迫包括完全无关的中优先级任务M的执行时间。在最坏情况下，M（或更多中优先级任务）可能无限期运行，导致H永远无法运行。这种高优先级任务因资源被低优先级任务持有，而被中等优先级任务间接无限期阻塞的现象，称为无界优先级反转，它彻底破坏了实时系统的可调度性分析。
2. 优先级继承协议机制
FreeRTOS的互斥量通过实现优先级继承协议来解决此问题。当高优先级任务H因请求已被低优先级任务L持有的互斥量而阻塞时，内核会临时将任务L的优先级提升至与H相同。该协议的运行流程如下图所示：
