5.2 信号量（Semaphore）

5.2 信号量（Semaphore）

5.2.1 信号量的抽象本质与同步哲学

在并发编程理论中，信号量由艾兹赫尔·戴克斯特拉于1965年提出，是一种用于控制多个执行实体对共享资源访问，或用于同步彼此操作的通用同步原语。FreeRTOS中的信号量严格遵循了这一经典定义，其本质是一个受内核保护的整型计数器，并配有两个原子操作：xSemaphoreTake（P操作，或wait）用于尝试减少计数，xSemaphoreGive（V操作，或signal）用于增加计数。

信号量的值与操作规则构成了其同步逻辑的核心：

• xSemaphoreTake：当任务调用此API时，内核检查信号量的计数值。如果值大于0，则将其减1，任务继续执行（称为“获取”信号量成功）。如果值等于0，则任务可以选择阻塞等待，直到其他实体执行xSemaphoreGive使计数值变为正数。
• xSemaphoreGive：此操作将信号量的计数值加1。如果此时有任务正因等待此信号量而阻塞，则内核会将其中的一个任务（通常是优先级最高的）解除阻塞，使其得以完成之前的Take操作（计数值随之被该任务减1）。

与之前介绍的队列（主要用于传递数据）不同，信号量的核心目的是传递“事件”或“权限”。数据本身通常不通过信号量携带；信号量的“给予”操作本身就是一个事件，其“获取”操作是对该事件的等待。这种机制将任务间的协作从“数据流”层面提升到了“控制流”层面，是构建复杂同步关系的基石。

FreeRTOS实现了两种主要的信号量：二进制信号量和计数信号量。两者共享相同的Take/GiveAPI，但其内部计数器的上限和典型用途有本质区别。

5.2.2 二进制信号量：事件通知与互斥的利器

二进制信号量可以看作是计数信号量的一种特例，其计数值被约束在0和1之间。因此，它最多只能记录一个“事件”或保存一个“权限”。

1. 事件通知：解耦任务与中断
这是二进制信号量最经典的应用。用于在中断服务程序（ISR）与任务之间传递一个事件发生的信号，实现“中断延迟处理”。

// 场景：UART接收完成中断通知处理任务SemaphoreHandle_t xUartRxSemaphore;voidvUART_ISR(void){BaseType_t xHigherPriorityTaskWoken=pdFALSE;// ... 读取数据到缓冲区 ...// 给予信号量，通知任务xSemaphoreGiveFromISR(xUartRxSemaphore,&xHigherPriorityTaskWoken);portYIELD_FROM_ISR(xHigherPriorityTaskWoken);}voidvUartProcessTask(void*pvParameters){for(;;){// 阻塞等待信号量（事件）if(xSemaphoreTake(xUartRxSemaphore,portMAX_DELAY)==pdTRUE){// 信号量到来，处理接收缓冲区中的数据vProcessUartData();}}}

优势：与在ISR中直接处理数据相比，这种方式将耗时的数据处理工作移到了任务上下文，极大缩短了ISR的执行时间，提升了系统对其它中断的响应能力。同时，任务可以等待并处理多个不同来源的事件，结构清晰。

2. 同步任务执行顺序
二进制信号量可用于确保两个或多个任务按特定顺序执行，构成一个简单的“汇合点”。

// 场景：任务B必须等待任务A完成初始化后才能运行SemaphoreHandle_t xInitSemaphore=NULL;// 初始为NULL，表示“事件未发生”voidvTaskA(void*pvParameters){vPerformCriticalInit()