二值信号量原理与uC/OS-III同步实践

1. 二值信号量的本质与工程定位

二值信号量（Binary Semaphore）是实时操作系统中最基础、最精炼的同步原语之一。其名称中的“二值”并非指代某种数值运算，而是严格限定其内部计数器仅能取两个离散状态：0 和 1。这种极简设计使其在硬件资源受限的嵌入式系统中具有不可替代的价值。

从底层实现角度看，一个二值信号量本质上是一个受操作系统内核保护的单比特标志位。当其值为 1 时，表示该信号量处于“满”（Full）或“可用”（Available）状态；当其值为 0 时，则表示“空”（Empty）或“不可用”（Unavailable）状态。这种二元性直接映射到物理世界中的开关逻辑：灯的亮与灭、门的开与关、设备的就绪与忙。

必须明确区分其与互斥信号量（Mutex）的根本差异。二者虽在 API 层面高度相似，但设计目标截然不同。二值信号量的核心使命是任务同步（Task Synchronization），即协调多个任务在时间轴上的执行次序，确保某项操作在另一项操作完成之后才得以启动。例如，一个数据采集任务必须在 ADC 转换完成并产生中断后，才能开始读取转换结果；一个网络发送任务必须等待 DMA 传输完成中断触发后，才能释放缓冲区内存。在此类场景中，二值信号量扮演的是一个精确的“事件通知器”。

而互斥信号量则专为临界资源互斥访问（Mutual Exclusion）而生，其核心诉求是保证同一时刻只有一个任务能进入临界区，防止数据被并发修改。它内置了优先级继承等复杂机制，以规避优先级翻转（Priority Inversion）问题。若将二值信号量用于保护共享资源，一旦高优先级任务因等待低优先级任务持有的信号量而被