互斥信号量和二值信号量的区别
互斥量（Mutex）和二值信号量（Binary Semaphore）都是实时操作系统中用于任务间通信和同步的机制，但它们在设计目的、行为和适用场景上有本质区别。理解这些区别对于编写健壮的嵌入式代码至关重要。
核心区别
| 特性 | 互斥量 (Mutex) | 二值信号量 (Binary Semaphore) |
|---|---|---|
| 所有权 | 有所有权概念。只有获取它的任务才能释放它。 | 无所有权。任何任务都可以释放信号量（甚至中断）。 |
| 优先级继承 | 支持。可有效避免优先级反转问题。 | 不支持。可能导致优先级反转。 |
| 递归获取 | 通常支持（如FreeRTOS的互斥量允许同一任务多次获取，需要相同次数的释放）。 | 不支持。同一任务多次获取会导致死锁。 |
| 初始状态 | 初始为可用（即可以被获取）。 | 初始通常为空（用于同步），也可以先给出（但很少这样用）。 |
| 主要用途 | 保护共享资源（互斥访问）。 | 任务间同步（事件通知）。 |
| 释放限制 | 只能由持有者释放。 | 任何任务/中断都可释放。 |
| 典型API | xSemaphoreCreateMutex() | xSemaphoreCreateBinary() |
详细解析
1. 所有权与优先级继承
互斥量：系统会记录哪个任务当前持有互斥量。当高优先级任务被阻塞等待互斥量时，持有互斥量的低优先级任务会临时继承高优先级任务的优先级，从而尽快运行并释放互斥量，减少优先级反转的时间。这是互斥量最重要的特性。
二值信号量：没有所有权记录，无法进行优先级继承。若用于互斥，一旦出现优先级反转，高优先级任务可能被无限期阻塞。
2. 递归获取
互斥量：允许同一任务多次获取同一个互斥量（嵌套），只需释放相同次数即可。这在函数递归调用或分层设计中很有用。
二值信号量：同一任务第二次获取同一个信号量时会死锁，因为信号量已经为0。
3. 使用场景
互斥量：保护共享资源（如全局变量、外设、内存池等），确保每次只有一个任务能访问。
二值信号量：用于任务同步（如任务A等待某个事件发生后再继续执行，该事件可由任务B或中断触发）。
何时使用哪种？
使用互斥量的情况
需要保护共享资源的互斥访问（例如多个任务操作同一块内存、同一外设）。
存在优先级不同的任务竞争同一资源，希望避免优先级反转影响实时性。
可能会递归获取同一资源（如函数A调用函数B，两者都需要同一互斥量）。
代码中需要清晰的“谁持有谁释放”逻辑，便于调试。
示例：两个任务通过同一串口打印日志，使用互斥量防止打印内容交错。
使用二值信号量的情况
任务间或任务与中断间同步：例如任务等待传感器数据准备好，数据到达时中断给出信号量，任务被唤醒处理。
一次性的事件通知（类似于“旗标”）。
不需要所有权和优先级继承的场景。
示例：按键中断释放二值信号量，任务获取信号量后处理按键动作。
为什么不能用二值信号量代替互斥量？
虽然二值信号量也可以实现互斥（初始为1，获取/释放成对出现），但不推荐，原因：
无优先级继承：若高优先级任务等待低优先级任务释放信号量，而中等优先级任务抢占低优先级任务，就会发生优先级反转，系统响应不可预测。
无所有权检查：任何任务都能释放信号量，可能导致误操作（比如别的任务意外释放了信号量，破坏互斥逻辑）。
FreeRTOS中的注意事项
互斥量使用
xSemaphoreCreateMutex()创建，使用时务必成对调用xSemaphoreTake()/xSemaphoreGive()，且必须在同一任务中释放。二值信号量使用
xSemaphoreCreateBinary()创建，创建后信号量为空，需要先xSemaphoreGive()一次才能用于互斥，但通常用于同步时初始为空，等待事件到来时再给出。
总结：保护资源用互斥量，同步事件用二值信号量。遵循这个原则可以让你的系统更可靠、更易维护。