μC/OS-III计数型信号量原理与事件计数实践

1. 计数型信号量的核心原理与工程定位

在嵌入式实时操作系统中，信号量并非抽象概念，而是资源竞争与事件同步的底层基础设施。μC/OS-III 提供的计数型信号量（Counting Semaphore）与二值信号量（Binary Semaphore）共享同一套 API 接口，但其设计哲学与适用场景存在本质差异。这种共用性并非偷懒，而是内核对“资源计数”这一通用模型的抽象——无论资源是“有/无”的布尔状态，还是“数量为 N”的可计量实体，其同步语义均可归结为“获取-释放”操作对。

计数型信号量的本质是一个带符号整型变量（OS_SEM.Ctr），其取值范围为[-2^31, 2^31-1]（32位系统）。该变量的数值直接映射为当前可用资源的数量。当Ctr > 0时，表示至少有一个资源可供获取；当Ctr == 0时，表示资源已全部被占用或尚未产生；当Ctr < 0时，则表明有任务因等待资源而被挂起，其绝对值即为挂起任务的数量。这一设计将资源管理、事件计数、任务同步三重职责统一于单一数据结构之上，极大降低了内核复杂度。

与二值信号量的关键区别在于初始值设定与语义解读。二值信号量的初始值严格限定为0或1，其语义聚焦于“互斥访问”或“事件通知”的二元状态。而计数型信号量的初始值可设为任意非负整数，其语义核心是资源池容量。例如，初始化为10表示系统启动时即拥有