ESP32 双核 FreeRTOS：核间优先级反转的根源与对策

一、问题背景：双核下的优先级反转

在单核 FreeRTOS 中，优先级反转通常通过互斥量（Mutex）配合优先级继承解决。但 ESP32 采用 Xtensa 双核（PRO_CPU 和 APP_CPU），每个核独立运行 FreeRTOS 调度器。当两个核上的任务同时访问共享资源时，传统 Mutex 的优先级继承机制仅作用于当前核的调度器，无法跨核传递优先级，导致以下典型场景：

低优先级任务（核0）持有锁，被高优先级任务（核1）阻塞。
核1 的高优先级任务等待锁，但核0 的调度器不知道核1 的等待，继续运行中优先级任务，造成高优先级任务无限期阻塞。

核心矛盾：FreeRTOS 的 Mutex 基于 vTaskSuspendAll() 实现，它只挂起当前核的调度器，无法阻止另一核访问共享资源。

二、技术原理：临界区与自旋锁的层次

2.1 taskENTER_CRITICAL 的本质

taskENTER_CRITICAL() 在单核下会关闭当前核的中断，并挂起调度器。但在 ESP32 双核下，它仅关闭调用核的中断，另一核仍可运行。因此，taskENTER_CRITICAL 只适用于单核内的临界区保护，无法跨核互斥。

2.2 自旋锁（spinlock）的引入

ESP-IDF 提供了 spinlock_t 类型，基于硬件原子指令（如 XCHG）实现多核互斥。自旋锁不会关闭中断，而是忙等待（spin），直到获得锁。其关键特性：

跨核互斥：两个核都能访问同一个自旋锁。
不阻塞调度器：等待期间任务保持运行状态，但会空转 CPU。
必须配合临界区使用：通常先获取自旋锁，再进入临界区，防止中断与核间竞争。

2.3 核间优先级反转的解决方案

要避免核间优先级反转，不能单纯依赖自旋锁，因为自旋锁不提供优先级继承。正确策略是：

短临界区：将共享资源访问时间压缩到极致，减少等待概率。
组合使用：在自旋锁保护下，使用 taskENTER_CRITICAL 关闭本核中断，同时用自旋锁阻止另一核进入，形成“双保险”。
避免长时间持有：若临界区操作耗时较长，应改用队列或信号量，并设计超时机制。

三、配置步骤与代码示例

3.1 环境准备

芯片：ESP32（双核）
框架：ESP-IDF v5.x
启用双核：默认开启，无需额外配置。

3.2 定义全局自旋锁与共享资源

#include "freertos/FreeRTOS.h"
#include "freertos/task.h"
#include "esp_spinlock.h"
#include "esp_attr.h"

// 共享资源
static int shared_counter = 0;

// 自旋锁（必须全局或静态分配）
static spinlock_t my_spinlock = SPINLOCK_INITIALIZER;

3.3 安全访问函数（带自旋锁+临界区）

void safe_increment(void) {
    // 获取自旋锁（忙等待）
    spinlock_acquire(&my_spinlock);
    
    // 进入临界区：关闭当前核中断，防止本核任务切换
    portENTER_CRITICAL(&my_spinlock);  // 注意：ESP-IDF 中 portENTER_CRITICAL 接受 spinlock 参数
    
    // 临界区操作
    shared_counter++;
    
    // 退出临界区
    portEXIT_CRITICAL(&my_spinlock);
    
    // 释放自旋锁
    spinlock_release(&my_spinlock);
}

注意：ESP-IDF 的 portENTER_CRITICAL 宏实际上会调用 vPortEnterCritical()，它内部使用自旋锁实现多核互斥，因此无需单独调用 spinlock_acquire。但为了清晰展示层次，这里显式写出。实际使用中，推荐直接使用 portENTER_CRITICAL(&spinlock)。

3.4 创建双核任务测试

void task_pro_cpu(void *arg) {
    while (1) {
        safe_increment();
        vTaskDelay(pdMS_TO_TICKS(10));
    }
}

void task_app_cpu(void *arg) {
    while (1) {
        safe_increment();
        vTaskDelay(pdMS_TO_TICKS(10));
    }
}

void app_main(void) {
    // 分别绑定到不同核
    xTaskCreatePinnedToCore(task_pro_cpu, "pro_task", 2048, NULL, 1, NULL, 0);
    xTaskCreatePinnedToCore(task_app_cpu, "app_task", 2048, NULL, 1, NULL, 1);
}

3.5 处理优先级反转的进阶方案

若临界区较长，建议使用带超时的互斥量，并配合优先级继承（但仅限单核）。跨核场景下，可改用原子操作或消息队列：

// 使用原子操作（ESP-IDF 提供）
#include "esp_attr.h"
#include "esp_rom_sys.h"

void atomic_increment(void) {
    // 使用硬件原子加，无需锁
    esp_rom_disable_intr_mask(0); // 简化示例，实际用 portENTER_CRITICAL
    shared_counter++;
    esp_rom_enable_intr_mask(0);
}

四、注意事项与常见陷阱

自旋锁不可递归：同一任务不能重复获取同一自旋锁，否则死锁。
临界区越短越好：自旋锁忙等待会浪费 CPU 周期，长时间持有会降低实时性。
中断中禁用自旋锁：中断服务程序（ISR）中不能使用自旋锁，应使用 portENTER_CRITICAL_FROM_ISR 配合 portEXIT_CRITICAL_FROM_ISR。
优先级继承失效：跨核场景下，FreeRTOS 的 Mutex 优先级继承不生效，务必使用自旋锁或原子操作。
调试技巧：使用 esp_spinlock_dump() 查看锁状态，或开启 CONFIG_FREERTOS_DEBUG_OCDAWARE 辅助调试。

五、总结

ESP32 双核下，taskENTER_CRITICAL 仅保护单核，而自旋锁提供跨核互斥。通过组合使用，并保持临界区极短，可有效避免核间优先级反转。对于复杂共享资源，优先考虑消息队列或原子操作，从设计上消除竞争。理解底层机制，才能写出健壮的嵌入式实时系统。

ESP32 双核 FreeRTOS 深度解析：用 taskENTER_CRITICAL 与 spinlock 破解核间优先级反转