前言

在嵌入式裸机开发、RTOS实时操作系统（FreeRTOS、RT-Thread、uC/OS）开发中，临界区保护是保障系统稳定、数据一致性的核心环节。无论是多任务交替执行，还是中断与任务抢占执行，只要存在共享资源（全局变量、硬件外设、缓冲区、队列），就必须通过临界区保护避免竞态条件，防止数据错乱、逻辑死机、外设异常等问题。

市面上常见的临界区保护方案主要有三种：关中断、调度器挂起、互斥量，三者适用场景、底层原理、性能开销差异极大。盲目选用不仅会浪费系统资源，还会破坏实时性、引发隐性bug。本文从零拆解三种方案的核心逻辑，搭配实操代码、选型流程图、避坑指南和参考资料，让稍有编程基础的开发者就能看懂、会用、选对。

一、核心基础概念（零基础必吃透）

1.1 临界区与竞态条件

临界区（Critical Section）

指程序中访问共享资源的代码片段，同一时刻绝对不允许两个及以上执行单元（任务、中断服务函数）同时进入，否则会引发数据竞争。

•共享资源范围：全局/静态变量、硬件寄存器、环形缓冲区、消息队列、SPI/I2C等共享外设；

•核心要求：临界区代码必须原子性执行（执行过程不被任何打断），且执行时间越短越好。

竞态条件（Race Condition）

多个执行单元以不可预知的顺序抢占访问同一共享资源，导致执行结果异常、不可复现的现象，是嵌入式系统最常见的隐性bug之一。

1.2 三种保护方案核心定位

三种方案本质是不同层级的“排他锁”，保护范围、性能开销、适用场景呈阶梯式差异，先通过表格建立整体认知：

二、关中断：最底层的强排他保护

2.1 原理详解

关中断是硬件级别的保护手段，通过关闭CPU的全局中断开关，禁止所有可屏蔽中断触发、禁止任何抢占，让临界区代码以原子方式执行完毕后，再恢复中断。

•优点：实现最简单、保护力度最强，唯一能同时保护任务+中断共享资源的方案；

•缺点：阻塞所有中断，长时间关中断会导致串口、定时器、按键等中断丢失，严重破坏系统实时性；

•黄金规则：关中断时间必须微秒级，临界区只做读写共享资源，严禁延时、打印、循环。

2.2 实操代码（STM32裸机/FreeRTOS通用）

2.3 关键注意事项

•必须用状态保存+恢复模式，避免中断嵌套导致死锁；

•RTOS中优先使用封装宏（如FreeRTOS的 taskENTER_CRITICAL()），禁止直接调用底层关中断函数；

•绝对禁止在关中断期间调用RTOS API、延时函数、打印函数。

三、调度器挂起：RTOS专属的任务级保护

3.1 原理详解

调度器挂起是RTOS内核级保护手段，仅暂停内核的任务切换逻辑，不关闭中断，中断仍可正常响应和执行，仅保证当前任务不被其他任务抢占。

•优点：不阻塞中断，实时性远优于关中断，适合任务间的短临界区；

•缺点：仅适用于RTOS环境，无法保护中断与任务的共享资源；

•适用前提：临界区无中断参与，仅多个任务之间访问共享资源。

3.2 实操代码（基于FreeRTOS）

3.3 关键注意事项

•调度器挂起期间禁止调用任何阻塞式RTOS API（如vTaskDelay、xQueueReceive）；

•临界区代码尽量简短，控制在毫秒级以内；

•中断服务函数中严禁使用调度器挂起函数。

四、互斥量：高灵活度的任务并发保护

4.1 原理详解

互斥量（Mutex）是RTOS同步对象级保护手段，属于二进制信号量的特殊形式，专为临界区保护设计，核心特性是互斥访问+优先级继承，彻底解决优先级翻转问题。

•优点：支持任务阻塞等待、不影响中断、实时性最优、支持长临界区；

•缺点：占用内核资源、无法在中断中使用、有微小调度开销；

•优先级继承：低优先级任务持有互斥量时，临时提升其优先级至等待该互斥量的最高优先级，避免高优先级任务长时间阻塞。

4.2 实操代码（基于FreeRTOS）

4.3 关键注意事项

•互斥量严禁在中断服务函数中使用，中断无阻塞等待机制；

•必须保证“获取-释放”成对出现，禁止中途退出导致死锁；

•禁止递归获取同一互斥量（除非RTOS支持递归互斥量）；

•临界区可适当加长，但仍建议避免冗余逻辑。

五、选型决策流程图（快速选对方案）

遇到临界区保护需求时，按照以下流程判断，即可精准选择最优方案，杜绝盲目使用：

六、常见坑点与避坑指南

•关中断超时：临界区写延时、打印、循环，导致中断丢失、系统死机；

•嵌套异常：关中断/调度器挂起嵌套使用，未恢复原有状态，导致死锁；

•互斥量丢失：获取互斥量后，任务异常退出未释放，导致其他任务永久阻塞；

•优先级反转：用普通二进制信号量代替互斥量，未开启优先级继承，高优先级任务被饿死；

•临界区过大：把非共享资源代码放入临界区，无谓延长抢占阻塞时间。

七、性能开销对比总结

八、参考资料与文献

1.FreeRTOS 官方文档.FreeRTOS Kernel Programming Guide[Z]. Real Time Engineers Ltd, 2022.

2.ARM Limited. Cortex-M3/M4 权威指南[M]. 北京: 北京航空航天大学出版社, 2019.

3.王田苗, 胡天亮. 嵌入式实时操作系统（RTOS）原理与实战[M]. 北京: 清华大学出版社, 2020.

4.STMicroelectronics. STM32 Cortex-M 中断控制器编程手册[Z]. 意法半导体官方文档, 2021.

5.Douglas Schmidt. Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects[M]. Wiley, 2000.

6.RT-Thread 官方文档. RT-Thread 同步与互斥机制[EB/OL]. https://www.rt-thread.org, 2023.

7.IEEE 1003.1-2017. POSIX 线程与同步互斥标准[S]. 电气和电子工程师协会, 2017.

结语

临界区保护没有绝对的“最优解”，只有最贴合场景的选择。关中断是底层兜底方案，调度器挂起是RTOS短临界区高效选择，互斥量是高并发长临界区的标准方案。

开发者只需牢记：临界区越短越好、保护力度够用即可、严禁过度保护。结合本文的选型流程和代码模板，既能解决竞态问题，又能保证系统实时性与稳定性，轻松应对各类嵌入式并发场景。