ESP32 多核 FreeRTOS 下 taskENTER_CRITICAL 与互斥锁混用导致死锁的排查方法

一、问题背景与死锁原理

ESP32 采用双核 Xtensa LX6 处理器，FreeRTOS 支持对称多处理（SMP）。开发者常使用两种同步机制：

  • taskENTER_CRITICAL：基于中断屏蔽的临界区，在单核上可防止任务切换，但在多核上仅屏蔽当前核的中断，其他核仍可访问共享资源（ESP-IDF 通过自旋锁扩展实现跨核保护）。
  • 互斥锁（Mutex）：基于信号量的阻塞型锁，支持优先级继承，适合长时间临界区。

死锁成因：当任务在持有互斥锁时调用 taskENTER_CRITICAL，而另一个任务在临界区内尝试获取同一互斥锁，就会形成循环等待。例如：

  • 任务 A：xSemaphoreTake(mutex) → taskENTER_CRITICAL() → 访问共享数据 → taskEXIT_CRITICAL() → xSemaphoreGive(mutex)
  • 任务 B：taskENTER_CRITICAL() → xSemaphoreTake(mutex)（阻塞等待）

若任务 B 在临界区内阻塞，而任务 A 因等待某个中断（被 B 屏蔽）无法退出临界区，则死锁发生。

二、典型错误代码示例

// 错误示例：混用导致死锁
static SemaphoreHandle_t mutex;
static int shared_data = 0;

void taskA(void *arg) {
    while (1) {
        xSemaphoreTake(mutex, portMAX_DELAY);
        taskENTER_CRITICAL();  // 进入临界区
        shared_data++;
        vTaskDelay(pdMS_TO_TICKS(10)); // 模拟耗时操作
        taskEXIT_CRITICAL();
        xSemaphoreGive(mutex);
        vTaskDelay(pdMS_TO_TICKS(100));
    }
}

void taskB(void *arg) {
    while (1) {
        taskENTER_CRITICAL();  // 先进入临界区
        xSemaphoreTake(mutex, portMAX_DELAY); // 等待互斥锁，阻塞
        shared_data--;
        xSemaphoreGive(mutex);
        taskEXIT_CRITICAL();
        vTaskDelay(pdMS_TO_TICKS(100));
    }
}

void app_main() {
    mutex = xSemaphoreCreateMutex();
    xTaskCreatePinnedToCore(taskA, "A", 2048, NULL, 1, NULL, 0);
    xTaskCreatePinnedToCore(taskB, "B", 2048, NULL, 1, NULL, 1);
}

执行流程：任务 A 获取互斥锁后进入临界区，任务 B 在另一核上进入临界区并尝试获取互斥锁，因互斥锁被 A 持有而阻塞。此时 B 的临界区无法退出，导致其所在核的中断被屏蔽；A 若依赖该核的中断（如定时器）来退出临界区，则永远无法释放锁，形成死锁。

三、系统化排查步骤

1. 启用 FreeRTOS 内核调试功能

在 sdkconfig 中启用以下选项：

CONFIG_FREERTOS_DEBUG_OCDAWARE=y
CONFIG_FREERTOS_QUEUE_REGISTRY_SIZE=10
CONFIG_FREERTOS_TRACE_MAX_TASK_NAME_LEN=16

2. 使用 vTaskList 和 vTaskGetRunTimeStats 分析任务状态

在死锁发生时，通过串口打印任务状态：

char buffer[512];
vTaskList(buffer);
printf("Task List:\n%s\n", buffer);

观察任务状态：若任务 B 处于 Blocked 状态且等待的互斥锁持有者为 A，而 A 处于 Running 或 Blocked，则高度怀疑死锁。

3. 利用 uxTaskGetStackHighWaterMark 检查栈溢出

死锁可能导致栈溢出，间接引发异常：

printf("Task A high water: %u\n", uxTaskGetStackHighWaterMark(taskA_handle));

4. 添加超时与错误日志

将 portMAX_DELAY 改为有限超时，并打印错误：

if (xSemaphoreTake(mutex, pdMS_TO_TICKS(1000)) != pdTRUE) {
    ESP_LOGE("TAG", "Mutex acquire timeout in task B");
    taskEXIT_CRITICAL(); // 确保退出临界区
}

5. 使用 esp_cpu_util 检查中断屏蔽状态

在 ESP-IDF 中，可调用 esp_cpu_get_interrupt_mask() 查看当前核的中断屏蔽情况，辅助判断是否因临界区未退出导致中断被屏蔽。

四、正确设计模式与规避策略

1. 统一使用互斥锁（推荐）

对于多核环境，尽量使用互斥锁替代 taskENTER_CRITICAL，因为互斥锁支持阻塞和优先级继承，且不会屏蔽中断：

void safe_update(void) {
    xSemaphoreTake(mutex, portMAX_DELAY);
    shared_data++;
    xSemaphoreGive(mutex);
}

2. 严格分层：临界区不嵌套锁

若必须使用 taskENTER_CRITICAL，确保临界区内不调用任何可能阻塞的函数（如获取互斥锁、vTaskDelay）。临界区应保持短小，仅用于原子操作。

3. 使用 portENTER_CRITICAL 与 portEXIT_CRITICAL 的替代方案

ESP-IDF 提供 spinlock 用于多核临界区，但同样不能嵌套互斥锁。推荐使用 mutex 或 semaphore 作为唯一同步原语。

4. 使用 xSemaphoreCreateRecursiveMutex 处理递归锁

若任务可能重复获取同一互斥锁，使用递归互斥锁避免自死锁：

SemaphoreHandle_t rec_mutex = xSemaphoreCreateRecursiveMutex();
xSemaphoreTakeRecursive(rec_mutex, portMAX_DELAY);
// 临界区
xSemaphoreGiveRecursive(rec_mutex);

五、完整正确代码示例

#include <stdio.h>
#include "freertos/FreeRTOS.h"
#include "freertos/task.h"
#include "freertos/semphr.h"
#include "esp_log.h"

static SemaphoreHandle_t mutex;
static int shared_data = 0;
static const char *TAG = "MutexDemo";

void taskA(void *arg) {
    while (1) {
        if (xSemaphoreTake(mutex, pdMS_TO_TICKS(100)) == pdTRUE) {
            shared_data++;
            ESP_LOGI(TAG, "Task A incremented: %d", shared_data);
            xSemaphoreGive(mutex);
        } else {
            ESP_LOGW(TAG, "Task A timeout");
        }
        vTaskDelay(pdMS_TO_TICKS(100));
    }
}

void taskB(void *arg) {
    while (1) {
        if (xSemaphoreTake(mutex, pdMS_TO_TICKS(100)) == pdTRUE) {
            shared_data--;
            ESP_LOGI(TAG, "Task B decremented: %d", shared_data);
            xSemaphoreGive(mutex);
        } else {
            ESP_LOGW(TAG, "Task B timeout");
        }
        vTaskDelay(pdMS_TO_TICKS(100));
    }
}

void app_main(void) {
    mutex = xSemaphoreCreateMutex();
    assert(mutex != NULL);
    xTaskCreatePinnedToCore(taskA, "TaskA", 2048, NULL, 1, NULL, 0);
    xTaskCreatePinnedToCore(taskB, "TaskB", 2048, NULL, 1, NULL, 1);
}

六、注意事项

  • 避免临界区内的阻塞调用：taskENTER_CRITICAL 内的代码必须短小且无阻塞，否则会引发中断延迟和死锁风险。
  • 多核环境下的中断屏蔽：taskENTER_CRITICAL 只屏蔽当前核的中断，跨核保护需额外使用自旋锁，但自旋锁不能与互斥锁混用。
  • 使用互斥锁时注意优先级反转：FreeRTOS 互斥锁支持优先级继承，但若持有锁的任务被挂起，仍可能造成长时间阻塞。
  • 调试工具：利用 make menuconfig 启用 CONFIG_FREERTOS_DEBUG_OCDAWARE，配合 JTAG 或 idf.py monitor 查看任务栈和状态。
  • 测试覆盖：在双核压力测试下运行，使用 stress 测试工具模拟高并发，确保无死锁。

通过以上方法，你可以有效排查并避免 ESP32 多核 FreeRTOS 下的死锁问题，提升系统稳定性。记住：同步原语的选择应基于临界区长度和阻塞需求，且不可混用不同类型的锁。