STM32按键去抖防竞争方案
在 FreeRTOS 实时操作系统中运行 STM32 按键去抖动逻辑时,由于按键状态通常由中断(如 GPIO 外部中断或定时器中断)更新,而业务逻辑在任务中读取和处理这些状态,因此极易产生临界区竞争问题。如果不对共享变量(如按键状态标志、计数值)进行保护,可能导致读取到的数据不完整(撕裂读)或逻辑状态错乱。
以下是避免临界区竞争的详细步骤、代码实现及原理解析。
一、 问题根源:为何产生竞争?
在 FreeRTOS 中,竞争通常发生在以下场景:
- 中断服务程序(ISR)写入:按键触发外部中断或定时器中断,在中断中修改全局变量(例如
key_state = 1或counter++)。 - 任务读取:主控任务在
while(1)循环中读取该全局变量进行判断。
如果任务的读取操作被中断打断,且该中断正好修改了该变量,就会出现数据不一致。例如,一个 16 位的整型变量在 8 位 MCU 上需要两次指令才能读写,若在两次指令之间发生中断,读取到的值就是“旧的一半”和“新的一半”拼凑成的错误数据。虽然 STM32 是 32 位 MCU,对单次 32 位访问通常是原子的,但编译器优化、多字节变量(如struct)以及逻辑判断的非原子性(“读-改-写”)仍需保护 。
二、 方法一:进入临界区(任务级保护)
最直接的方法是利用 FreeRTOS 的任务调度器锁机制。当任务需要访问按键共享变量时,暂时关闭调度器或屏蔽中断,确保访问过程不被打断。
实现步骤
- 识别共享资源:确定在任务和 ISR 中都会访问的变量(如
u8 Key_Flag)。 - 进入临界区:在读取变量前调用
taskENTER_CRITICAL()。 - 访问变量:执行读取或逻辑判断。
- 退出临界区:操作完成后立即调用
taskEXIT_CRITICAL()。
代码示例
#include "FreeRTOS.h" #include "task.h" // 定义共享变量:按键按下标志 volatile uint8_t g_key_press_flag = 0; // 按键扫描任务 void vKeyTask(void *pvParameters) { while (1) { // --- 进入临界区开始 --- taskENTER_CRITICAL(); // 挂起调度器,屏蔽中断 if (g_key_press_flag == 1) { g_key_press_flag = 0; // 清除标志 // --- 退出临界区 --- taskEXIT_CRITICAL(); // 恢复调度器和中断 // 执行按键处理逻辑(耗时操作放在临界区外) // Handle_Key_Event(); } else { taskEXIT_CRITICAL(); // 如果没按下也要退出 } vTaskDelay(pdMS_TO_TICKS(20)); // 任务延时 } } // 模拟中断服务函数(例如在定时器中断中置位标志) void TIMx_IRQHandler(void) { // 清除中断标志... // 在 ISR 中修改共享变量 // 注意:在 ISR 中通常使用 taskENTER_CRITICAL_FROM_ISR(),但这里演示任务端保护 g_key_press_flag = 1; }原理解析
taskENTER_CRITICAL()会将中断优先级阈值提升到 configMAX_SYSCALL_INTERRUPT_PRIORITY,屏蔽掉该优先级及以下的中断。- 优点:实现简单,能彻底防止竞争。
- 缺点:严重 impacting 系统实时性。临界区内的代码不能阻塞,且必须非常短。如果在临界区内调用
vTaskDelay或进行复杂计算,会导致系统死锁或高优先级中断无法响应。
三、 方法二:使用任务通知(推荐,零拷贝)
FreeRTOS 的任务通知是一种比信号量更轻量、更快的同步机制。它直接利用任务控制块(TCB)中的变量,无需额外的队列结构,非常适合“按键中断 -> 唤醒处理任务”这种一对一的同步场景。它天然避免了全局变量的竞争问题 。
实现步骤
- 创建处理任务:任务创建后进入阻塞状态,等待通知。
- 发送通知(ISR中):按键中断触发后,使用
xTaskNotifyFromISR()直接向任务发送通知。 - 接收通知(任务中):任务使用
xTaskNotifyWait()等待。如果没有通知,任务自动挂起,不占用 CPU。
代码示例
#include "FreeRTOS.h" #include "task.h" #include "semphr.h" // 任务句柄 TaskHandle_t xKeyTaskHandle = NULL; // 按键处理任务 void vKeyHandlerTask(void *pvParameters) { uint32_t ulNotifyValue; while (1) { // 等待任务通知,阻塞在这里,不消耗 CPU // ulTaskNotifyTake 会清除通知值,返回成功接收到的通知数 ulTaskNotifyTake(pdTRUE, portMAX_DELAY); // 收到通知说明按键稳定按下(假设中断侧已做硬件滤波或简单延时) // 直接执行业务逻辑,无需访问共享全局变量,完全避免竞争 // Handle_Key_Event(); // 简单的松手检测(可选) // while (HAL_GPIO_ReadPin(...) == GPIO_PIN_RESET); } } // 外部中断回调函数(如 EXTI) void HAL_GPIO_EXTI_Callback(uint16_t GPIO_Pin) { BaseType_t xHigherPriorityTaskWoken = pdFALSE; if (GPIO_Pin == KEY_PIN) { // 直接发送通知给处理任务,不操作全局变量 // eNoAction 表示不增加计数,只是通知一下 vTaskNotifyGiveFromISR(xKeyTaskHandle, &xHigherPriorityTaskWoken); // 如果唤醒的任务优先级高于当前被中断的任务,需要进行上下文切换 portYIELD_FROM_ISR(xHigherPriorityTaskWoken); } }原理解析
- 零拷贝:数据不经过全局变量,直接“点对点”传递。
- 无竞争:因为不再有共享资源,所以根本不需要临界区保护。
- 高效:任务通知的速度比二值信号量更快,RAM 占用更少 。
四、 方法三:使用二值信号量(经典同步)
如果不想用任务通知,或者需要“生产者-消费者”模型(例如按键抖动逻辑在独立任务中,业务逻辑在另一个任务中),可以使用二值信号量。
实现步骤
- 创建信号量:使用
xSemaphoreCreateBinary()创建一个空的二值信号量。 - ISR 中释放信号量:按键发生时,调用
xSemaphoreGiveFromISR()。 - 任务中获取信号量:任务调用
xSemaphoreTake()。如果信号量无效,任务阻塞;有效则执行逻辑。
代码示例
#include "semphr.h" SemaphoreHandle_t xKeySemaphore; // 初始化函数中 void App_Init(void) { xKeySemaphore = xSemaphoreCreateBinary(); // 创建任务... } // 任务 void vKeyTask(void *pvParameters) { while (1) { // 尝试获取信号量,死等 if (xSemaphoreTake(xKeySemaphore, portMAX_DELAY) == pdTRUE) { // 获取成功,说明按键中断触发了 // Handle_Key_Event(); } } } // 中断服务程序 void EXTI0_IRQHandler(void) { BaseType_t xHigherPriorityTaskWoken = pdFALSE; // 清除中断线标志... // 给出信号量 xSemaphoreGiveFromISR(xKeySemaphore, &xHigherPriorityTaskWoken); // 如果必要,请求上下文切换 portYIELD_FROM_ISR(xHigherPriorityTaskWoken); }原理解析
- 二值信号量本质上就像一个长度为 1 的队列。中断“给”一个令牌,任务“取”一个令牌。
- 同步机制:它保证了中断和任务之间的同步,且 FreeRTOS 内部已经实现了信号量的原子操作,因此是线程安全的 。
五、 方法四:中断专用临界区(ISR 内部保护)
如果在 ISR 内部需要修改多字节变量(如结构体),或者 ISR 之间共享变量,必须使用 ISR 专用的临界区保护,而不是任务级的taskENTER_CRITICAL。
代码示例
// 定义一个结构体存储按键信息 typedef struct { uint8_t state; uint32_t timestamp; } KeyInfo_t; volatile KeyInfo_t g_key_info; void TIMx_IRQHandler(void) { // 进入临界区(ISR 版本) UBaseType_t uxSavedInterruptStatus = taskENTER_CRITICAL_FROM_ISR(); // 安全地修改多字节共享变量 g_key_info.state = 1; g_key_info.timestamp = xTaskGetTickCountFromISR(); // 退出临界区 taskEXIT_CRITICAL_FROM_ISR(uxSavedInterruptStatus); // 清除中断标志... }原理解析
taskENTER_CRITICAL_FROM_ISR()只会屏蔽掉优先级低于或等于configMAX_SYSCALL_INTERRUPT_PRIORITY的中断,不会屏蔽更高优先级的中断(如紧急故障处理),这比任务级的临界区更灵活安全 。
六、 总结与方案选型
| 方案 | 核心机制 | 优点 | 缺点 | 推荐场景 |
|---|---|---|---|---|
| 临界区保护 | 关闭调度/屏蔽中断 | 代码简单粗暴,适合极短操作 | 影响实时性,不能阻塞 | 保护极短的变量访问(如flag=1) |
| 任务通知 | TCB 内部直接通知 | 最快、最省内存,无共享变量 | 仅限一对一同步 | STM32 按键驱动首选方案 |
| 二值信号量 | 队列同步机制 | 功能强大,支持多任务同步 | 内存开销稍大于通知 | 需要解耦按键检测与复杂业务逻辑时 |
| ISR 临界区 | 精确屏蔽中断 | 保护 ISR 内部的多字节操作 | 使用稍繁琐 | 中断间有共享数据时 |
在 STM32 + FreeRTOS 开发中,**强烈推荐使用“任务通知”配合“中断服务程序”**来实现按键去抖动后的逻辑处理。这不仅避免了临界区竞争,还能让 CPU 在没有按键时处于低功耗挂起状态,兼顾了实时性与稳定性 。
