1. 计数型信号量原理与工程定位
在嵌入式实时操作系统中，信号量（Semaphore）是实现任务间同步与资源互斥访问的核心机制。二值信号量（Binary Semaphore）作为最基础的形态，其内部状态仅能取 0 或 1，本质上等价于一个“锁”或“开关”，适用于对单一临界资源（如一个串口、一个ADC通道、一个全局缓冲区）的排他性访问控制。然而，当系统需要管理可复用的有限数量同类资源时，二值信号量便显现出根本性局限——它无法表达“当前可用资源数量为 N”的状态信息。
计数型信号量（Counting Semaphore）正是为此类场景而生。其核心设计思想在于：将信号量的抽象模型从“布尔开关”升级为“整数计数器”。该计数器的数值直接映射为当前系统中可用的某类资源的实例数量。这个数值并非随意设定，而是严格受限于两个关键参数：最大计数值（Maximum Count）和初始计数值（Initial Count）。前者定义了该信号量所能表示的资源总量上限，后者则决定了系统启动或初始化完成时，该类资源的初始可用量。
以停车场为例，这是理解计数型信号量最直观的工程类比。假设一个小型停车场仅有 3 个固定车位。那么，为管理该停车场的使用状态，我们创建一个计数型信号量：
-最大计数值设为 3：这代表该停车场的物理容量上限，即最多只能同时停放 3 辆车。
-初始计数值设为 3：系统上电初始化后，所有车位均为空闲，因此初始可用数量为 3。
当一
