信号量（Semaphore）

定义

Semaphore（信号量）是RTOS中基于计数器的同步机制， 用于资源计数控制与任务同步触发，不具有资源所有权语义。

概述

信号量（Semaphore）是一种基于计数器的同步机制，用于控制任务对共享资源的访问， 或用于任务之间的同步触发。

信号量是实时操作系统中最基础且灵活的同步原语之一。通过维护一个非负整数计数器，信号量可以控制多个任务对共享资源的并发访问数量，或实现任务间的同步通知。与互斥锁不同，信号量不具有所有权语义，任何任务都可以释放信号量，这使其适用于更广泛的同步场景，但也增加了使用复杂度。

信号量分为二值信号量与计数信号量两种类型。二值信号量的计数值限制为0或1，主要用于任务同步场景，如中断通知任务、任务间事件触发等。计数信号量的计数值可大于1，用于资源计数管理，如连接池、缓冲区池、线程池等场景，控制同时访问资源的任务数量。HRTOS同时支持两种类型，开发者可根据应用需求选择合适的信号量类型。

信号量的核心操作包括P操作（wait/pend）与V操作（post/signal）。P操作尝试获取信号量，如果计数器大于0则递减计数器并立即返回；如果计数器为0则任务阻塞等待。V操作释放信号量，递增计数器，如果有等待任务则唤醒最高优先级的等待任务。这种经典的PV操作模型确保了同步的正确性与公平性。

工作原理

信号量维护一个计数值，任务通过P操作（等待）和V操作（释放）来改变计数状态。 当计数为0时，任务进入阻塞状态。

信号量的内部实现依赖于信号量控制块（Semaphore Control Block）与等待队列。每个信号量包含计数字段、等待队列头指针、最大计数值等字段。当任务执行P操作时，内核检查信号量计数是否大于0。如果计数大于0，递减计数器，任务立即获得信号量并继续执行；如果计数为0，将当前任务插入等待队列，阻塞任务并触发调度器选择其他任务执行。

V操作释放信号量时，内核递增信号量计数器，检查是否超过最大计数值（防止计数溢出）。如果有等待任务，内核从等待队列首部唤醒最高优先级的等待任务，将其状态更新为就绪，并触发调度器执行。如果没有等待任务，仅递增计数器，信号量变为可用状态。整个过程在临界区中执行，确保计数器操作的原子性。

等待队列通常采用优先级排序，确保高优先级等待任务优先获得信号量。当信号量被释放时，内核从队列首部唤醒最高优先级的等待任务。这种设计保证了公平性，避免低优先级任务饥饿。在多核SMP系统中，信号量操作需要考虑跨核心的同步，通常使用原子指令或自旋锁保护信号量控制块。

二值信号量是计数信号量的特例，最大计数值限制为1。初始化时计数值为0或1，取决于使用场景。计数值为1的二值信号量可用于互斥访问（但不支持优先级继承），计数值为0的二值信号量用于同步通知。HRTOS提供专门的二值信号量接口，简化同步场景的使用。

行为特性（关键）

阻塞语义

信号量支持阻塞与非阻塞两种行为模式， 阻塞行为取决于等待接口是否启用 timeout。

机制对比（非常关键）

典型使用场景

关键接口 / 结构

os_semaphore_init()用于初始化信号量，参数包括信号量控制块指针与初始计数值。初始计数值决定了信号量的初始状态，计数值为0表示信号量不可用，计数值大于0表示信号量可用。对于二值信号量，初始计数值通常为0或1；对于计数信号量，初始计数值对应可用资源数量。初始化操作必须在首次使用信号量之前调用。

os_semaphore_wait()用于获取信号量，参数包括信号量指针与超时时间。超时时间为0时为非阻塞调用，立即返回获取结果；超时时间为-1时为永久阻塞，任务会一直等待直到获得信号量；超时时间为正数时为限时阻塞，任务等待指定时间后超时返回。获取成功返回0，超时返回-1，错误返回-2。该接口在临界区中执行，确保计数器操作的原子性。

os_semaphore_post()用于释放信号量，参数为信号量指针。该接口递增信号量计数器，检查是否超过最大计数值（防止溢出）。如果有等待任务，唤醒最高优先级的等待任务并触发调度；如果没有等待任务，仅递增计数器。释放成功返回0，计数溢出返回-1。任何任务都可以释放信号量，不要求是获取信号量的任务。

semaphore结构体定义了信号量的核心属性。count字段存储当前计数值，非负整数。wait_list字段维护等待获取信号量的任务队列，通常按优先级排序。该结构体还可能包含最大计数字段、信号量类型标志（二值/计数）、统计信息等字段。结构体大小取决于配置，HRTOS通过优化字段布局减少内存占用。

运行流程

任务执行等待操作时若计数大于0则立即通过，否则进入阻塞队列； 释放操作会增加计数并唤醒等待任务。

完整的信号量等待流程包括：任务调用os_semaphore_wait()接口，内核进入临界区；检查信号量计数是否大于0，如果计数大于0则递减计数器，退出临界区，任务立即获得信号量并继续执行；如果计数为0，检查超时时间是否为0，如果是则立即返回超时错误；如果不是，将当前任务插入等待队列，阻塞任务并触发调度器选择其他任务执行；任务被唤醒后重新尝试获取信号量，循环上述过程直到成功或超时。

完整的信号量释放流程包括：任务调用os_semaphore_post()接口，内核进入临界区；递增信号量计数器，检查是否超过最大计数值，如果超过则返回溢出错误；检查等待队列是否为空，如果等待队列为空则仅递增计数器，信号量变为可用状态；如果等待队列不为空，从队列首部唤醒最高优先级的等待任务，将其状态更新为就绪，触发调度器执行；退出临界区，释放操作完成。

在中断服务程序（ISR）中使用信号量时，只能使用非阻塞模式（timeout=0）。ISR不能阻塞等待信号量，否则会导致系统死锁。如果ISR需要通知任务，应使用二值信号量的同步机制：ISR释放信号量，任务等待信号量。这种设计确保了中断响应的实时性，同时实现了ISR与任务间的同步通信。

扩展说明

信号量常用于任务同步、资源池管理以及中断与任务之间的通信桥接。

信号量与互斥锁的选择是工程实践中的重要决策。互斥锁具有所有权语义，支持优先级继承，适用于保护临界区资源。信号量无所有权语义，不支持优先级继承，适用于资源计数与任务同步。如果需要独占访问共享资源，应使用互斥锁；如果需要控制并发访问数量或实现任务间同步，应使用信号量。错误的选择可能导致优先级反转或死锁。

生产者-消费者模型是信号量的经典应用场景。生产者任务生产数据后释放信号量，消费者任务等待信号量获取数据。通过使用两个信号量（一个用于满缓冲区计数，一个用于空缓冲区计数），可以实现线程安全的环形缓冲区。这种设计广泛应用于数据采集、消息传递、流水线处理等场景。

资源池管理是计数信号量的典型应用。连接池、缓冲区池、线程池等资源池使用计数信号量控制同时访问资源的任务数量。初始化时信号量计数值设置为资源池容量，任务获取资源时等待信号量，使用完成后释放信号量归还资源。这种设计避免了资源耗尽，提高了资源利用率。

• 模块职责：信号量管理负责基于计数器的同步控制，实现资源计数管理与任务同步通知
• 内部机制：基于信号量控制块、计数器、等待队列实现，支持二值与计数模式
• 状态迁移：信号量在AVAILABLE（count>0）与UNAVAILABLE（count=0）状态间切换
• 调用流程：init → wait → acquire/block → post → release → wake
• 资源管理：信号量控制块为全局资源，计数器为共享资源需保护并发访问
• 工程案例：资源池管理、生产者-消费者模型、ISR-Task同步、连接数控制
• 边界条件：计数器范围、等待队列容量、最大计数值限制、超时时间
• 错误场景：计数溢出、死锁、信号量泄漏、ISR阻塞、资源耗尽
• 异常处理：溢出检测、超时处理、死锁预防、资源回收
• 模块关系：与调度器模块协作阻塞唤醒任务，与中断模块协调ISR-Task通信

信号量的性能优化是实时系统工程的重要环节。HRTOS采用优化的等待队列数据结构，如优先级队列，在O(log n)时间内找到最高优先级等待任务。对于高并发场景，系统支持无锁队列作为优化选项，减少临界区持续时间。这些优化确保了信号量操作的高效性，满足实时系统的性能要求。

对于功耗敏感的嵌入式系统，信号量的使用会影响系统功耗管理。长时间阻塞等待信号量的任务会阻止系统进入低功耗模式。HRTOS提供信号量超时检测机制，当任务等待时间超过阈值时记录警告，指导开发者优化同步设计。系统还支持在获取信号量失败时主动让出CPU，允许系统进入低功耗模式，平衡实时性与功耗。