一、背景与问题引入

ESP32搭载双核Xtensa LX6，Arduino框架默认在Core 1上运行loopTask（优先级1），用户常创建自定义xTask处理实时性要求更高的逻辑。当多个任务共享资源（如串口、I2C总线、全局缓冲区）时，若使用二值信号量或普通互斥量保护，可能触发优先级反转：高优先级任务等待低优先级任务释放资源，而低优先级任务又被中优先级任务抢占，导致高优先级任务被无限期延迟。

本文通过一个最小化示例复现该问题，并给出规避方案。

二、优先级反转原理

假设三个任务：

H（高优先级，优先级3）：周期性读取共享传感器数据
M（中优先级，优先级2）：执行计算密集型循环
L（低优先级，优先级1）：即loopTask，偶尔更新共享数据

若L先获取互斥量并进入临界区，H随后尝试获取同一互斥量而阻塞。此时M就绪，抢占了L的CPU。L无法继续执行，也就无法释放互斥量，H只能等待M执行完毕——H的实际优先级被“反转”到了M之下。

FreeRTOS提供优先级继承机制：当H等待L持有的互斥量时，L的优先级临时提升至H的优先级，从而避免被M抢占。但该机制仅在正确使用xSemaphoreCreateMutex()时生效，且无法解决死锁或临界区内调用阻塞API导致的问题。

三、复现实验环境与代码

3.1 硬件与软件

ESP32 DevKitC（双核）
Arduino IDE 2.x，ESP32 Arduino Core 2.0.14
FreeRTOS配置：默认启用优先级继承

3.2 复现代码

#include <Arduino.h>

SemaphoreHandle_t sharedMutex;
volatile int sharedData = 0;

// 低优先级任务：模拟loopTask中的资源更新
void lowPriorityTask(void *pvParameters) {
  for (;;) {
    if (xSemaphoreTake(sharedMutex, portMAX_DELAY) == pdTRUE) {
      // 模拟耗时操作（临界区）
      for (volatile int i = 0; i < 1000000; i++);
      sharedData++;
      Serial.printf("L: data=%d\n", sharedData);
      xSemaphoreGive(sharedMutex);
    }
    vTaskDelay(pdMS_TO_TICKS(1000));
  }
}

// 中优先级任务：纯计算，不访问共享资源
void mediumPriorityTask(void *pvParameters) {
  for (;;) {
    // 模拟长时间计算，抢占CPU
    for (volatile int i = 0; i < 5000000; i++);
    vTaskDelay(pdMS_TO_TICKS(10));
  }
}

// 高优先级任务：读取共享数据
void highPriorityTask(void *pvParameters) {
  for (;;) {
    if (xSemaphoreTake(sharedMutex, portMAX_DELAY) == pdTRUE) {
      Serial.printf("H: read data=%d\n", sharedData);
      xSemaphoreGive(sharedMutex);
    }
    vTaskDelay(pdMS_TO_TICKS(500));
  }
}

void setup() {
  Serial.begin(115200);
  sharedMutex = xSemaphoreCreateMutex();  // 创建互斥量（启用优先级继承）
  if (sharedMutex == NULL) {
    Serial.println("Mutex creation failed");
    while (1);
  }

  // 在Core 0上创建低优先级任务（模拟loopTask行为）
  xTaskCreatePinnedToCore(lowPriorityTask, "LowTask", 4096, NULL, 1, NULL, 0);
  // 中优先级任务也放在Core 0
  xTaskCreatePinnedToCore(mediumPriorityTask, "MedTask", 4096, NULL, 2, NULL, 0);
  // 高优先级任务放在Core 1，与loopTask同核
  xTaskCreatePinnedToCore(highPriorityTask, "HighTask", 4096, NULL, 3, NULL, 1);
}

void loop() {
  // 空循环，loopTask本身优先级为1，与lowPriorityTask类似
  vTaskDelay(pdMS_TO_TICKS(1000));
}

3.3 现象观察

串口输出显示：H: read data=... 的间隔远大于500ms，有时长达数秒。这是因为H在等待互斥量时，L被M抢占，而优先级继承虽将L提升至3，但M仍在运行（M优先级2 < 3，无法抢占提升后的L），理论上L应能尽快释放互斥量。但实际测试中仍出现明显延迟，原因在于：

lowPriorityTask的临界区内包含Serial.printf，该函数内部可能调用vTaskDelay或等待UART发送完成，导致L在持有互斥量时主动阻塞，优先级继承失效。
若将Serial.printf移出临界区，延迟显著减小，但仍存在微秒级抖动。

四、规避策略

4.1 正确使用优先级继承互斥量

始终使用xSemaphoreCreateMutex()而非二值信号量保护共享资源。
确保临界区内不调用任何可能阻塞的API（如vTaskDelay、Serial.print、xQueueReceive等）。

4.2 合理规划任务优先级

避免创建过多高优先级任务，防止低优先级任务饿死。
将loopTask的优先级适当提高（通过vTaskPrioritySet(NULL, 2)），或将其关键逻辑迁移到独立任务中。

4.3 缩短临界区与使用队列

临界区只做内存拷贝或标志置位，耗时操作移到临界区外。
使用队列传递数据，而非共享全局变量，从根本上避免互斥量竞争。

4.4 双核任务分配

将实时性要求高的任务固定到与loopTask不同的核心（如Core 0），减少同核竞争。
注意双核共享资源仍需互斥保护，但优先级反转的影响范围缩小。

五、注意事项

优先级继承不是万能的：它只能解决“持有互斥量的低优先级任务被中优先级任务抢占”这一种场景。若低优先级任务在临界区内主动阻塞，继承机制无效。
避免嵌套互斥量：多个互斥量嵌套获取易导致死锁，FreeRTOS不支持递归互斥量（需用xSemaphoreCreateRecursiveMutex()）。
调试手段：使用uxTaskGetSystemState()或Tracealyzer查看任务阻塞时间，定位优先级反转。
Arduino loopTask的特殊性：其优先级固定为1，且默认栈大小有限，复杂逻辑建议创建独立任务。

六、总结

优先级反转是双核RTOS开发中的典型陷阱。通过复现实验，我们验证了FreeRTOS优先级继承的有效条件与边界。规避的核心在于：使用互斥量、保持临界区短小、避免阻塞调用、合理分配优先级与核心。掌握这些原则，才能充分发挥ESP32双核的实时性能。

ESP32双核下Arduino loopTask与自定义xTask的优先级反转复现与规避