目录一FreeRTOS 临界段保护机制完整梳理一、为什么需要临界段二、底层硬件操作Cortex-M三、两套 API 的划分依据四、任务级计数器模式1API2内部逻辑3嵌套示例4典型使用五中断级1API2内部逻辑六使用约束二任务调度器的挂起和恢复1函数原型2禁止了什么 vs 保留了什么3与 taskENTER_CRITICAL 对比4使用条件全部满足才能用5代码示例一FreeRTOS 临界段保护机制完整梳理一、为什么需要临界段多任务 中断场景下共享资源会被并发访问。比如// 任务 A 正在修改一个全局链表 // 中断来了ISR 里也修改同一个链表 // 链表指针被破坏 → 崩溃临界段通过临时屏蔽中断来保证一段代码的原子性禁止其他任务或 ISR 抢占二、底层硬件操作Cortex-M核心寄存器是 BASEPRIBASEPRI 值效果0不屏蔽任何中断非 0屏蔽所有优先级 ≥ 该值的逻辑中断关键设计不是全局关中断而是只屏蔽受 FreeRTOS 管理的中断优先级 ≥configMAX_SYSCALL_INTERRUPT_PRIORITY。高优先级的紧急中断如电机刹车不受影响。三、两套 API 的划分依据任务上下文中断上下文有无户口✅ 有 TCB可以维持状态❌ 没有借道执行状态存储位置TCB →uxCriticalNesting栈上局部变量UBaseType_t工作模式计数器模式快照-恢复模式嵌套支持✅ 支持❌ 不支持四、任务级计数器模式1APIvoid taskENTER_CRITICAL(void); void taskEXIT_CRITICAL(void);2内部逻辑taskENTER_CRITICAL: if (uxCriticalNesting 0) 写 BASEPRI configMAX_SYSCALL_INTERRUPT_PRIORITY // 真正关中断 uxCriticalNesting taskEXIT_CRITICAL: uxCriticalNesting-- if (uxCriticalNesting 0) 写 BASEPRI 0 // 真正开中断3嵌套示例uxCriticalNesting 0 // 初始状态中断开着 taskENTER_CRITICAL() // 0→1 关中断 ✅ taskENTER_CRITICAL() // 1→2 不管 taskENTER_CRITICAL() // 2→3 不管 taskEXIT_CRITICAL() // 3→2 不管 taskEXIT_CRITICAL() // 2→1 不管 taskEXIT_CRITICAL() // 1→0 开中断 ✅ ← 归零4典型使用void TaskA(void *pv) { for (;;) { taskENTER_CRITICAL(); // 访问共享队列 / 全局变量 // 可以调用写临界区的子函数自动形成嵌套 taskEXIT_CRITICAL(); } }五中断级 : 无定时器1APIUBaseType_t taskENTER_CRITICAL_FROM_ISR(void); void taskEXIT_CRITICAL_FROM_ISR(UBaseType_t uxSavedInterruptStatus);2内部逻辑taskENTER_CRITICAL_FROM_ISR: 读 BASEPRI当前寄存器的值然后赋值给 uxSaved // 记下在中断进入临界区前对应的BASEPRI寄存器值 写 BASEPRI configMAX_SYSCALL_INTERRUPT_PRIORITY // 不用管其他内容先关掉中断进入临界区执行任务。 return uxSaved taskEXIT_CRITICAL_FROM_ISR(uxSaved)://临界区干的事情结束后把中断重新开启退出临界区 写 BASEPRI uxSaved // 按照片复原不越权改变状态把一开始记下的BASEPRI寄存器值写回给BASEPRI寄存器六使用约束约束说明临界区要短关中断 延迟所有同优先级的 ISR 响应破坏实时性不能阻塞临界区内调用vTaskDelay()、带超时的队列操作 → 死锁调度器需要中断中断被关了严格配对漏一个EXIT 永久关中断系统停摆禁止混用ISR 里用任务级 → 读写的是不属于自己的 TCB 字段未定义行为禁止嵌套中断级没有计数器重复 ENTER 会覆盖上一个uxSaved第二个 EXIT 恢复的是第二个 ENTER 拍的照片第一个的状态就丢了二任务调度器的挂起和恢复1函数原型void vTaskSuspendAll(void) { uxSchedulerSuspended; // 只加一个全局计数器不碰硬件 } BaseType_t xTaskResumeAll(void) { --uxSchedulerSuspended; if (uxSchedulerSuspended 0) { // 恢复挂起期间积压的任务就绪操作 // 可能立即触发上下文切换 } return pdTRUE / pdFALSE; // 是否发生了任务切换 }2禁止了什么 vs 保留了什么任务调度 ❌ 停摆不会切走当前任务 任务切换 ❌ 冻结 时间片轮转 ❌ 暂停 中断 ✅ 正常响应 ISR 调度 ✅ 正常执行3与 taskENTER_CRITICAL 对比vTaskSuspendAlltaskENTER_CRITICAL关中断❌✅关调度✅✅pendsv 是最低优先级的中断ISR 中使用❌✅FROM_ISR 版嵌套✅✅开销极低变量自增低写 BASEPRI适用场景仅任务间竞争任务 ISR 间竞争4使用条件全部满足才能用共享资源没有任何 ISR 访问临界区内不调用可能阻塞的 API代码块一条直线走到尾不中途 return/break5代码示例vTaskSuspendAll(); // 1. 挂起调度器 { access_shared_list(); // 2. 干正事 } BaseType_t wasSwitched xTaskResumeAll(); // 3.恢复调度器同时定义一个变量接受它的返回值 if(wasSwitched pdTRUE) // 4. 返回pdTRUE 说明恢复调度器的一瞬间它其实已经切出去完成其他任务了执行完回来执行 余下的代码 { // 例如记录日志或者增加一个“被抢占次数”的统计变量 ulPreemptionCount; } //5.返回pdFALSE说明恢复调度器的一瞬间没有切去执行其他任务那if 不满足 // 接下来执行余下的代码vTaskDelay(pdMS_TO_TICKS(10)); vTaskDelay(pdMS_TO_TICKS(10));
目录一FreeRTOS 临界段保护机制完整梳理一、为什么需要临界段二、底层硬件操作Cortex-M三、两套 API 的划分依据四、任务级计数器模式1API2内部逻辑3嵌套示例4典型使用五中断级1API2内部逻辑六使用约束二任务调度器的挂起和恢复1函数原型2禁止了什么 vs 保留了什么3与 taskENTER_CRITICAL 对比4使用条件全部满足才能用5代码示例一FreeRTOS 临界段保护机制完整梳理一、为什么需要临界段多任务 中断场景下共享资源会被并发访问。比如// 任务 A 正在修改一个全局链表 // 中断来了ISR 里也修改同一个链表 // 链表指针被破坏 → 崩溃临界段通过临时屏蔽中断来保证一段代码的原子性禁止其他任务或 ISR 抢占二、底层硬件操作Cortex-M核心寄存器是 BASEPRIBASEPRI 值效果0不屏蔽任何中断非 0屏蔽所有优先级 ≥ 该值的逻辑中断关键设计不是全局关中断而是只屏蔽受 FreeRTOS 管理的中断优先级 ≥configMAX_SYSCALL_INTERRUPT_PRIORITY。高优先级的紧急中断如电机刹车不受影响。三、两套 API 的划分依据任务上下文中断上下文有无户口✅ 有 TCB可以维持状态❌ 没有借道执行状态存储位置TCB →uxCriticalNesting栈上局部变量UBaseType_t工作模式计数器模式快照-恢复模式嵌套支持✅ 支持❌ 不支持四、任务级计数器模式1APIvoid taskENTER_CRITICAL(void); void taskEXIT_CRITICAL(void);2内部逻辑taskENTER_CRITICAL: if (uxCriticalNesting 0) 写 BASEPRI configMAX_SYSCALL_INTERRUPT_PRIORITY // 真正关中断 uxCriticalNesting taskEXIT_CRITICAL: uxCriticalNesting-- if (uxCriticalNesting 0) 写 BASEPRI 0 // 真正开中断3嵌套示例uxCriticalNesting 0 // 初始状态中断开着 taskENTER_CRITICAL() // 0→1 关中断 ✅ taskENTER_CRITICAL() // 1→2 不管 taskENTER_CRITICAL() // 2→3 不管 taskEXIT_CRITICAL() // 3→2 不管 taskEXIT_CRITICAL() // 2→1 不管 taskEXIT_CRITICAL() // 1→0 开中断 ✅ ← 归零4典型使用void TaskA(void *pv) { for (;;) { taskENTER_CRITICAL(); // 访问共享队列 / 全局变量 // 可以调用写临界区的子函数自动形成嵌套 taskEXIT_CRITICAL(); } }五中断级 : 无定时器1APIUBaseType_t taskENTER_CRITICAL_FROM_ISR(void); void taskEXIT_CRITICAL_FROM_ISR(UBaseType_t uxSavedInterruptStatus);2内部逻辑taskENTER_CRITICAL_FROM_ISR: 读 BASEPRI当前寄存器的值然后赋值给 uxSaved // 记下在中断进入临界区前对应的BASEPRI寄存器值 写 BASEPRI configMAX_SYSCALL_INTERRUPT_PRIORITY // 不用管其他内容先关掉中断进入临界区执行任务。 return uxSaved taskEXIT_CRITICAL_FROM_ISR(uxSaved)://临界区干的事情结束后把中断重新开启退出临界区 写 BASEPRI uxSaved // 按照片复原不越权改变状态把一开始记下的BASEPRI寄存器值写回给BASEPRI寄存器六使用约束约束说明临界区要短关中断 延迟所有同优先级的 ISR 响应破坏实时性不能阻塞临界区内调用vTaskDelay()、带超时的队列操作 → 死锁调度器需要中断中断被关了严格配对漏一个EXIT 永久关中断系统停摆禁止混用ISR 里用任务级 → 读写的是不属于自己的 TCB 字段未定义行为禁止嵌套中断级没有计数器重复 ENTER 会覆盖上一个uxSaved第二个 EXIT 恢复的是第二个 ENTER 拍的照片第一个的状态就丢了二任务调度器的挂起和恢复1函数原型void vTaskSuspendAll(void) { uxSchedulerSuspended; // 只加一个全局计数器不碰硬件 } BaseType_t xTaskResumeAll(void) { --uxSchedulerSuspended; if (uxSchedulerSuspended 0) { // 恢复挂起期间积压的任务就绪操作 // 可能立即触发上下文切换 } return pdTRUE / pdFALSE; // 是否发生了任务切换 }2禁止了什么 vs 保留了什么任务调度 ❌ 停摆不会切走当前任务 任务切换 ❌ 冻结 时间片轮转 ❌ 暂停 中断 ✅ 正常响应 ISR 调度 ✅ 正常执行3与 taskENTER_CRITICAL 对比vTaskSuspendAlltaskENTER_CRITICAL关中断❌✅关调度✅✅pendsv 是最低优先级的中断ISR 中使用❌✅FROM_ISR 版嵌套✅✅开销极低变量自增低写 BASEPRI适用场景仅任务间竞争任务 ISR 间竞争4使用条件全部满足才能用共享资源没有任何 ISR 访问临界区内不调用可能阻塞的 API代码块一条直线走到尾不中途 return/break5代码示例vTaskSuspendAll(); // 1. 挂起调度器 { access_shared_list(); // 2. 干正事 } BaseType_t wasSwitched xTaskResumeAll(); // 3.恢复调度器同时定义一个变量接受它的返回值 if(wasSwitched pdTRUE) // 4. 返回pdTRUE 说明恢复调度器的一瞬间它其实已经切出去完成其他任务了执行完回来执行 余下的代码 { // 例如记录日志或者增加一个“被抢占次数”的统计变量 ulPreemptionCount; } //5.返回pdFALSE说明恢复调度器的一瞬间没有切去执行其他任务那if 不满足 // 接下来执行余下的代码vTaskDelay(pdMS_TO_TICKS(10)); vTaskDelay(pdMS_TO_TICKS(10));
