ESP32 双核环境下 FreeRTOS 任务与事件组在 Wi-Fi 协议栈抢占下的优先级反转实战排查

问题现象与背景

在 ESP32 双核（PRO_CPU 和 APP_CPU）FreeRTOS 应用中，开发者常使用事件组（Event Group）实现任务间同步。然而，当 Wi-Fi 协议栈（运行在 PRO_CPU，优先级通常为 24）与用户任务（优先级较低，如 10）共享事件组时，会出现优先级反转：低优先级任务持有事件组位，却被 Wi-Fi 高优先级任务抢占，导致等待该事件组的高优先级任务（如网络处理任务）长时间阻塞，甚至触发看门狗复位。

根因分析：双核调度与事件组原子性

双核 FreeRTOS 调度特点

  • ESP32 使用对称多处理（SMP）FreeRTOS，两个核独立调度，但共享就绪列表和优先级管理。
  • 事件组操作（如 xEventGroupSetBits 和 xEventGroupWaitBits）在内部使用临界区（taskENTER_CRITICAL）保护，但临界区仅屏蔽当前核的中断，不阻止另一核的任务抢占。
  • Wi-Fi 协议栈任务（wifi_task）优先级高且频繁触发，若其运行在 PRO_CPU，而用户低优先级任务在 APP_CPU 上持有事件组位，则高优先级任务可能抢占低优先级任务，造成事件组状态不一致。

优先级反转场景

  1. 任务 A（优先级 10）调用 xEventGroupSetBits 设置事件位，但在设置前被 Wi-Fi 任务（优先级 24）抢占。
  2. 任务 B（优先级 15）等待该事件位，因事件位未置位而阻塞。
  3. Wi-Fi 任务长时间运行（如处理 TCP 数据），任务 A 无法恢复执行，事件位迟迟不置位，任务 B 饿死。

实战排查步骤

1. 确认任务优先级与核绑定

使用 uxTaskGetSystemState 或 vTaskList 打印任务状态，观察 Wi-Fi 任务和用户任务的优先级、运行核及状态。

void print_task_info(void) {
    char buffer[512];
    vTaskList(buffer);
    ESP_LOGI("TASK", "Task List:\n%s", buffer);
}

2. 检查事件组操作是否被中断

在事件组设置和等待处添加 GPIO 翻转，用逻辑分析仪测量阻塞时间。若阻塞时间远超预期，则存在优先级反转。

3. 复现并抓取调度序列

使用 FreeRTOS 的 trace 功能（如 SystemView）记录任务切换，观察 Wi-Fi 任务与用户任务的抢占关系。

解决方案与代码示例

方案一：提高用户任务优先级（不推荐）

将持有事件组的任务优先级提高到 Wi-Fi 任务之上，但会破坏系统实时性，且 Wi-Fi 任务可能被饿死。

方案二：使用互斥锁保护事件组操作（推荐）

互斥锁具有优先级继承机制，可临时提升低优先级任务的优先级，避免反转。

// 全局互斥锁
SemaphoreHandle_t xEventMutex;

void init_event_mutex(void) {
    xEventMutex = xSemaphoreCreateMutex();
}

// 设置事件位（带互斥保护）
void safe_set_event_bits(EventGroupHandle_t evt, EventBits_t bits) {
    xSemaphoreTake(xEventMutex, portMAX_DELAY);
    xEventGroupSetBits(evt, bits);
    xSemaphoreGive(xEventMutex);
}

// 等待事件位（带互斥保护）
EventBits_t safe_wait_event_bits(EventGroupHandle_t evt, EventBits_t bits) {
    EventBits_t result;
    xSemaphoreTake(xEventMutex, portMAX_DELAY);
    result = xEventGroupWaitBits(evt, bits, pdTRUE, pdTRUE, portMAX_DELAY);
    xSemaphoreGive(xEventMutex);
    return result;
}

方案三：将事件组操作绑定到同一核（利用双核特性）

将相关任务固定到同一核，并提升该核的中断优先级，但需注意 Wi-Fi 任务可能也在该核。

// 创建任务时指定核
xTaskCreatePinnedToCore(task_func, "task", 4096, NULL, 10, &task_handle, APP_CPU);

完整示例：事件组 + 互斥锁 + 双核任务

#include "freertos/FreeRTOS.h"
#include "freertos/task.h"
#include "freertos/event_groups.h"
#include "freertos/semphr.h"

#define EVENT_BIT_WIFI_READY (1 << 0)
#define EVENT_BIT_DATA_READY (1 << 1)

EventGroupHandle_t xEventGroup;
SemaphoreHandle_t xEventMutex;

// 低优先级任务：设置数据就绪位
void data_task(void *arg) {
    while (1) {
        vTaskDelay(pdMS_TO_TICKS(100));
        // 模拟数据处理
        xSemaphoreTake(xEventMutex, portMAX_DELAY);
        xEventGroupSetBits(xEventGroup, EVENT_BIT_DATA_READY);
        xSemaphoreGive(xEventMutex);
        ESP_LOGI("DATA", "Data ready bit set");
    }
}

// 高优先级任务：等待两个事件位
void net_task(void *arg) {
    EventBits_t bits;
    while (1) {
        xSemaphoreTake(xEventMutex, portMAX_DELAY);
        bits = xEventGroupWaitBits(xEventGroup, EVENT_BIT_WIFI_READY | EVENT_BIT_DATA_READY,
                                   pdTRUE, pdTRUE, portMAX_DELAY);
        xSemaphoreGive(xEventMutex);
        if ((bits & (EVENT_BIT_WIFI_READY | EVENT_BIT_DATA_READY)) ==
            (EVENT_BIT_WIFI_READY | EVENT_BIT_DATA_READY)) {
            ESP_LOGI("NET", "Both events received, process network data");
        }
    }
}

// Wi-Fi 事件回调（在 Wi-Fi 任务上下文中执行）
void wifi_event_handler(void *arg, esp_event_base_t base, int32_t id, void *data) {
    if (id == WIFI_EVENT_STA_START) {
        xSemaphoreTake(xEventMutex, portMAX_DELAY);
        xEventGroupSetBits(xEventGroup, EVENT_BIT_WIFI_READY);
        xSemaphoreGive(xEventMutex);
    }
}

void app_main(void) {
    xEventGroup = xEventGroupCreate();
    xEventMutex = xSemaphoreCreateMutex();

    // 创建任务，绑定到不同核以模拟双核竞争
    xTaskCreatePinnedToCore(data_task, "data_task", 2048, NULL, 10, NULL, APP_CPU);
    xTaskCreatePinnedToCore(net_task, "net_task", 4096, NULL, 15, NULL, PRO_CPU);

    // 初始化 Wi-Fi（略）
}

调试技巧与注意事项

  • 使用优先级继承：互斥锁的优先级继承机制可有效缓解反转，但需确保所有事件组操作都通过互斥锁保护，否则失效。
  • 避免在中断中操作事件组：若在 Wi-Fi 回调（中断上下文）中设置事件位，应使用 xEventGroupSetBitsFromISR，并配合互斥锁时需使用 xSemaphoreTakeFromISR，但互斥锁不能在 ISR 中使用，建议改用二值信号量或直接操作。
  • 监控任务栈：双核环境下任务栈溢出更隐蔽，使用 uxTaskGetStackHighWaterMark 检查。
  • 合理设置优先级：Wi-Fi 任务优先级通常为 24，用户任务建议低于 20，但通过互斥锁可避免反转，不必强行提高优先级。
  • 测试负载：在 Wi-Fi 高吞吐场景下测试，如持续 TCP 传输，以复现问题。

总结

ESP32 双核 FreeRTOS 中，事件组与 Wi-Fi 协议栈的优先级反转源于双核调度和临界区局限。通过互斥锁的优先级继承、任务核绑定和合理的优先级设计，可有效规避。实际调试时，结合任务列表和 trace 工具定位抢占点，是解决问题的关键。嵌入式开发中，并发问题往往隐蔽，需从系统层面理解调度机制，才能写出健壮的固件。