在 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的中断不会屏蔽更高优先级的中断如紧急故障处理这比任务级的临界区更灵活安全 。六、 总结与方案选型方案核心机制优点缺点推荐场景临界区保护关闭调度/屏蔽中断代码简单粗暴适合极短操作影响实时性不能阻塞保护极短的变量访问如flag1任务通知TCB 内部直接通知最快、最省内存无共享变量仅限一对一同步STM32 按键驱动首选方案二值信号量队列同步机制功能强大支持多任务同步内存开销稍大于通知需要解耦按键检测与复杂业务逻辑时ISR 临界区精确屏蔽中断保护 ISR 内部的多字节操作使用稍繁琐中断间有共享数据时在 STM32 FreeRTOS 开发中**强烈推荐使用“任务通知”配合“中断服务程序”**来实现按键去抖动后的逻辑处理。这不仅避免了临界区竞争还能让 CPU 在没有按键时处于低功耗挂起状态兼顾了实时性与稳定性 。​​​​