当前位置：首页 > news >正文

【FreeRTOS】二值信号量与互斥量（CMSIS-RTOS v2 版本）

news 2025/9/19 5:23:12

一、基本概念（CMSIS-RTOS v2 视角）

1.二值信号量（Binary Semaphore）

2.互斥量（Mutex）

二、核心区别（CMSIS-RTOS v2 特性）

关键区别详解

1.所有权（核心差异）

2.优先级反转处理（互斥量核心特性）

（1）用二值信号量保护资源（会出现优先级反转）

（2）用互斥量保护资源（避免优先级反转）

三、使用方法（适配 CubeMX + Keil 工程）

1.二值信号量（同步场景）

（1）创建二值信号量

（2）获取信号量（任务中等待事件）

（3）释放信号量（任务 / ISR 中发通知）

2.互斥量（互斥场景）

（1）创建互斥量

（2）加锁（任务中访问资源前）

（3）解锁（任务中访问资源后）

四、核心注意事项（CubeMX 工程适配）

1.二值信号量注意事项

2.互斥量注意事项

3.通用注意事项（CubeMX 工程特有）

五、场景选择指南（CubeMX 工程实战）

总结

对于使用 CubeMX 配置 FreeRTOS（CMSIS-RTOS v2 接口）的开发者，二值信号量和互斥量的底层逻辑与原生 FreeRTOS 一致，但函数接口、参数格式有标准化差异。本文从 “功能用途”“核心特性”“使用场景” 三个维度，结合 CMSIS-RTOS v2 函数（适配 CubeMX 生成的 Keil 工程），梳理两者的区别与使用方法。

一、基本概念（CMSIS-RTOS v2 视角）

CMSIS-RTOS v2 是 ARM 推出的标准化 RTOS 接口，CubeMX 生成的 FreeRTOS 工程默认采用这套接口，核心是通过统一函数名和参数格式，降低跨 RTOS 移植成本。

1.二值信号量（Binary Semaphore）

类比 “开关”，仅两种状态：“有信号”（可用）和 “无信号”（不可用），核心用于任务间 / 任务与 ISR 间的同步（如 “事件通知”“唤醒任务”）。

CMSIS-RTOS v2 中，二值信号量通过 osSemaphoreId_t 类型句柄管理，创建后默认状态为 “无信号”。
核心操作：
- 释放（发信号）：osSemaphoreRelease()（任务中释放）、osSemaphoreReleaseFromISR()（中断中释放）；
- 获取（等信号）：osSemaphoreAcquire()。

2.互斥量（Mutex）

类比 “钥匙”，用于保护共享资源（如串口、传感器、全局变量），确保同一时间只有一个任务能访问资源。

CMSIS-RTOS v2 中，互斥量通过 osMutexId_t 类型句柄管理，创建后默认状态为 “可用”（资源未被占用）。
核心操作：
- 加锁（拿钥匙）：osMutexAcquire()；
- 解锁（还钥匙）：osMutexRelease()。

二、核心区别（CMSIS-RTOS v2 特性）

关键区别详解

1.所有权（核心差异）

二值信号量：无归属关系。例如：任务 A 调用 osSemaphoreRelease() 释放信号量（设为 “有信号”），任务 B 可调用 osSemaphoreAcquire() 获取，之后任务 C 还能再次释放 —— 谁都能 “发信号”，谁都能 “等信号”。
互斥量：严格的所有权。例如：任务 A 调用 osMutexAcquire() 加锁（拿到钥匙），则只有任务 A 能调用 osMutexRelease() 解锁；若任务 B 试图释放任务 A 持有的互斥量，会返回 osErrorResource 错误，导致程序异常。

2.优先级反转处理（互斥量核心特性）

这是互斥量与二值信号量最关键的区别，结合 CMSIS-RTOS v2 行为举例：

假设有 3 个任务：高优先级任务 H、中优先级任务 M、低优先级任务 L，均需访问同一共享资源。

（1）用二值信号量保护资源（会出现优先级反转）

步骤：
- 低优先级任务 L 调用 osSemaphoreAcquire() 获取二值信号量，开始访问资源；
- 高优先级任务 H 就绪，调用 osSemaphoreAcquire() 拿信号量失败，进入阻塞态；
- 中优先级任务 M 就绪（优先级高于 L），抢占 L 的 CPU，导致 L 暂停访问资源；
- M 运行期间，H 持续阻塞（因 L 无法释放信号量），最终最高优先级的 H 被中优先级的 M 拖累—— 这就是优先级反转。
原因：二值信号量无 “优先级继承” 特性，无法阻止低优先级任务被中优先级任务抢占。

（2）用互斥量保护资源（避免优先级反转）

步骤：
- 低优先级任务 L 调用 osMutexAcquire() 加锁，开始访问资源；
- 高优先级任务 H 就绪，调用 osMutexAcquire() 加锁失败，进入阻塞态；
- CMSIS-RTOS v2 检测到 “高优先级任务 H 等待 L 持有的互斥量”，自动将 L 的优先级临时提升至与 H 相同；
- 中优先级任务 M 就绪后，因优先级低于 “临时提权的 L”，无法抢占 L，L 可快速完成资源访问并解锁；
- 互斥量释放后，H 立即加锁访问资源，避免优先级反转。
原因：互斥量的 “优先级继承” 特性，确保持有资源的低优先级任务不被中优先级任务打断。

三、使用方法（适配 CubeMX + Keil 工程）

CubeMX 配置 FreeRTOS 后，会自动生成 CMSIS-RTOS v2 相关头文件（cmsis_os2.h）和初始化框架，以下代码可直接嵌入工程使用。

1.二值信号量（同步场景）

核心用于 “事件通知”（如中断唤醒任务、任务间同步），使用流程分 “创建 → 获取 → 释放” 三步。

（1）创建二值信号量

通过 osSemaphoreNew() 创建，参数需指定 “信号量计数”（二值信号量计数固定为 1）、“初始值”（0 表示默认无信号）和 “属性配置”（可选，如名称）。

#include "cmsis_os2.h"// 定义二值信号量句柄（全局可见，供任务/ISR 访问）
osSemaphoreId_t xBinarySem;// 信号量属性配置（可选，用于设置名称，调试用）
const osSemaphoreAttr_t BinarySem_Attr = {.name = "BinarySem_Key"  // 信号量名称，可在调试工具中识别
};// 初始化二值信号量（通常在 main 函数或 RTOS 初始化钩子中调用）
void Sem_Init(void) {// 创建二值信号量：计数=1（二值），初始值=0（无信号），属性=BinarySem_AttrxBinarySem = osSemaphoreNew(1, 0, &BinarySem_Attr);// 检查创建是否成功（CubeMX 生成的工程中，堆不足会返回 NULL）if (xBinarySem == NULL) {// 错误处理：如通过 SEGGER_RTT 打印日志SEGGER_RTT_printf(0, "二值信号量创建失败！\r\n");}
}

（2）获取信号量（任务中等待事件）

通过 osSemaphoreAcquire() 等待信号量，参数为 “信号量句柄” 和 “超时时间（ms）”，超时后返回错误。

// 等待信号量的任务（例如：按键事件处理任务）
void Task_WaitSem(void *argument) {osStatus_t status;  // 存储函数返回状态for (;;) {// 等待信号量，无限期阻塞（osWaitForever），直到有信号status = osSemaphoreAcquire(xBinarySem, osWaitForever);if (status == osOK) {// 信号量获取成功：处理事件（如按键逻辑、数据解析）SEGGER_RTT_printf(0, "收到信号，执行事件处理...\r\n");} else {// 异常处理（如超时、信号量无效）SEGGER_RTT_printf(0, "获取信号量失败，状态：%d\r\n", status);}}
}

（3）释放信号量（任务 / ISR 中发通知）

任务中释放：直接调用 osSemaphoreRelease()；
中断中释放：必须调用 osSemaphoreReleaseFromISR()（ISR 安全版本），避免调度错误。

// 示例1：任务中释放信号量（如数据采集完成后通知处理任务）
void Task_SendSem(void *argument) {for (;;) {// 模拟数据采集（如读取传感器）SEGGER_RTT_printf(0, "数据采集完成，发送信号...\r\n");// 释放信号量（设为“有信号”）if (osSemaphoreRelease(xBinarySem) != osOK) {SEGGER_RTT_printf(0, "任务中释放信号量失败！\r\n");}osDelay(1000);  // 每隔1秒发送一次信号}
}// 示例2：中断中释放信号量（如按键中断唤醒任务）
void EXTI0_IRQHandler(void) {// 检查中断标志（硬件相关，CubeMX 生成的 HAL 函数）if (__HAL_GPIO_EXTI_GET_IT(GPIO_PIN_0) != RESET) {osStatus_t status;// 中断中释放信号量，需传入“是否需要任务切换”的标志status = osSemaphoreReleaseFromISR(xBinarySem, NULL);if (status != osOK) {// 中断中无法打印（可选通过全局变量标记错误）}// 清除中断标志__HAL_GPIO_EXTI_CLEAR_IT(GPIO_PIN_0);}
}

2.互斥量（互斥场景）

核心用于 “保护共享资源”，使用流程分 “创建 → 加锁 → 解锁” 三步，需严格遵守 “谁加锁谁解锁” 的规则。