一、基本概念
**二值信号量(Binary Semaphore)**是FreeRTOS提供的一种简单而强大的同步工具，它只有两个可能值：0或1。
形象理解：二值信号量就像公共卫生间的占用指示灯：
- 绿灯(值为1)：资源可用，任务可以获取
- 红灯(值为0)：资源被占用，需要等待
二、底层原理
二值信号量实质上是一个队列长度为1的特殊队列！在FreeRTOS内核中：
- 队列为空→ 信号量值为0（不可用）
- 队列有元素→ 信号量值为1（可用）
这种实现使二值信号量具有队列的所有优势，包括任务阻塞和优先级继承等特性。
三、核心应用场景
1. 资源互斥访问
当多个任务需要访问共享资源（如全局变量、外设）时，二值信号量能确保任一时刻只有一个任务能访问该资源：
// 任务想要访问共享资源时 xSemaphoreTake(xMutexSemaphore, portMAX_DELAY); // 获取访问权 // 访问共享资源 xSemaphoreGive(xMutexSemaphore); // 释放访问权2. 任务同步控制
实现"任务A必须在任务B之前完成"的先后依赖关系：
// 任务A完成工作后 xSemaphoreGive(xSyncSemaphore); // 发出"我完成了"的信号 // 任务B开始前 xSemaphoreTake(xSyncSemaphore, portMAX_DELAY); // 等待任务A完成 // 开始任务B的工作3. 任务阻塞与唤醒机制
FreeRTOS使用优先级管理等待同一信号量的多个任务：
- 不同优先级：高优先级任务优先获得信号量
- 相同优先级：先等待的任务先获得信号量
四、核心API详解
| 函数 | 描述 | 使用场景 |
|---|---|---|
xSemaphoreCreateBinary() | 创建二值信号量（不会自动释放） | 需要初始状态为"不可用"的场景 |
vSemaphoreCreateBinary() | 创建二值信号量（创建后自动释放一次） | 需要初始状态为"可用"的场景 |
xSemaphoreTake() | 获取信号量（将信号量由1变为0） | 任务中获取信号量 |
xSemaphoreGive() | 释放信号量（将信号量由0变为1） | 任务中释放信号量 |
xSemaphoreTakeFromISR() | 中断中获取信号量 | 中断服务程序中获取信号量 |
xSemaphoreGiveFromISR() | 中断中释放信号量 | 中断服务程序中释放信号量 |
五、二值信号量与互斥信号量的区别
| 特性 | 二值信号量 | 互斥信号量 |
|---|---|---|
| 优先级继承 | ❌ 没有 | ✅ 有 |
| 适用场景 | 任务同步、中断同步 | 互斥访问共享资源 |
| 中断使用 | ✅ 可以在中断中使用 | ❌ 不能在中断中使用 |
| 优先级翻转 | ❌ 会导致优先级翻转 | ✅ 通过优先级继承解决优先级翻转 |
| 创建函数 | xSemaphoreCreateBinary() | xSemaphoreCreateMutex() |
六、典型使用案例
1. 任务同步示例
SemaphoreHandle_t xSyncSemaphore; void TaskA(void *pvParameters) { while(1) { // 执行任务A的工作 // ... // 任务A完成，通知任务B xSemaphoreGive(xSyncSemaphore); vTaskDelay(pdMS_TO_TICKS(1000)); } } void TaskB(void *pvParameters) { while(1) { // 等待任务A完成 xSemaphoreTake(xSyncSemaphore, portMAX_DELAY); // 任务B开始工作 // ... vTaskDelay(pdMS_TO_TICKS(500)); } } int main() { xSyncSemaphore = xSemaphoreCreateBinary(); xTaskCreate(TaskA, "TaskA", 128, NULL, 1, NULL); xTaskCreate(TaskB, "TaskB", 128, NULL, 2, NULL); vTaskStartScheduler(); }2. 中断与任务同步
SemaphoreHandle_t xISRSemaphore; void vISRHandler(void) { // 中断处理 // ... // 释放信号量，通知任务 BaseType_t xHigherPriorityTaskWoken = pdFALSE; xSemaphoreGiveFromISR(xISRSemaphore, &xHigherPriorityTaskWoken); portYIELD_FROM_ISR(xHigherPriorityTaskWoken); } void TaskHandler(void *pvParameters) { while(1) { // 等待中断通知 xSemaphoreTake(xISRSemaphore, portMAX_DELAY); // 处理中断事件 // ... } }七、重要注意事项
1. 优先级翻转问题
- 二值信号量会导致优先级翻转问题
- 优先级翻转现象：当低优先级任务持有信号量时，高优先级任务等待该信号量，而中等优先级任务可以抢占低优先级任务，导致高优先级任务无法及时运行
2. 二值信号量的初始状态
- 创建后默认为0（不可用）
- 需要先调用
xSemaphoreGive()释放信号量，才能被获取
3. 二值信号量与队列
- 二值信号量是队列的特例，但不是队列的替代品
- 队列适合传输数据，二值信号量适合同步
4. 二值信号量 vs 直达任务通知
- 在许多使用场景中，直达任务通知比二值信号量速度更快，内存效率更高
- 信号量更适合用于需要阻塞等待的场景
八、实际应用建议
- 当需要任务间同步时，优先使用二值信号量
- 当需要保护共享资源时，应使用互斥信号量（避免优先级翻转）
- 在中断中使用：二值信号量可以用于中断，但互斥信号量不能
- 避免在任务中频繁获取和释放：这会导致不必要的上下文切换
九、总结
二值信号量是FreeRTOS中实现任务同步和中断同步的利器，它简单高效，特别适合以下场景：
- 任务A完成后通知任务B
- 中断发生后通知任务处理
- 任务间简单的同步需求
理解二值信号量的底层原理（队列长度为1的特殊队列）有助于我们更准确地使用它，避免优先级翻转等问题。在实际开发中，应根据具体需求选择合适的同步机制，二值信号量、互斥信号量和计数信号量各有其最佳适用场景。
