从裸机到 FreeRTOS：用 SEGGER SystemView 定位任务切换抖动与优先级反转

1. 为什么裸机没有的问题，RTOS 里全来了？

裸机程序通常采用超级循环 + 中断，任务执行顺序固定，时序可预测。引入 FreeRTOS 后，任务调度、中断嵌套、信号量/互斥量等机制虽然提高了并发性，但也引入了两类典型问题：

  • 任务切换抖动：任务实际切换时刻与理论时刻的偏差，通常由中断延迟、调度器临界区、高优先级任务抢占导致。
  • 优先级反转：低优先级任务持有互斥量，中优先级任务抢占 CPU，导致高优先级任务被阻塞，系统实时性崩溃。

这些问题在代码层面难以复现，必须借助运行时可视化工具。SEGGER SystemView 正是为此而生：它通过 SEGGER RTT 实时上传 RTOS 事件，在 PC 端绘制时间线，让你像看逻辑分析仪一样观察任务调度。

2. SystemView 工作原理与配置

2.1 原理简述

SystemView 在目标端通过 SEGGER_RTT 通道发送事件记录（任务切换、中断进入/退出、API 调用等），PC 端软件解析并显示。FreeRTOS 已内置对 SystemView 的支持，只需启用 configUSE_TRACE_FACILITY 和 configUSE_STATS_FORMATTING_FUNCTIONS，并包含 SEGGER_SYSVIEW_FreeRTOS.c。

2.2 移植步骤（以 STM32CubeIDE + FreeRTOS 为例）

  1. 从 SEGGER 官网下载 SystemView Target Sources，将 SEGGER_SYSVIEW.c/h、SEGGER_RTT.c/h 等加入工程。
  2. 在 FreeRTOSConfig.h 中确保： 
    #define configUSE_TRACE_FACILITY          1
#define configUSE_STATS_FORMATTING_FUNCTIONS 1
#define INCLUDE_xTaskGetCurrentTaskHandle  1
  3. 在 main.c 中初始化： 
    #include "SEGGER_SYSVIEW.h"
#include "SEGGER_RTT.h"

int main(void) {
    HAL_Init();
    SystemClock_Config();
    SEGGER_RTT_Init();
    SEGGER_SYSVIEW_Conf();
    SEGGER_SYSVIEW_Start();
    // 创建任务、启动调度器
    xTaskCreate(...);
    vTaskStartScheduler();
}
  4. 在 PC 端打开 SystemView，选择目标连接（J-Link 或 RTT），即可看到实时波形。

3. 实战：定位任务切换抖动

3.1 构造测试场景

创建两个周期性任务：TaskA 每 10ms 执行一次，TaskB 每 5ms 执行一次，均只做简单计数。理论上 TaskA 应严格每 10ms 运行一次，但实际可能因中断或调度延迟而抖动。

void TaskA(void *pv) {
    TickType_t last = xTaskGetTickCount();
    while (1) {
        vTaskDelayUntil(&last, pdMS_TO_TICKS(10));
        SEGGER_SYSVIEW_PrintfTarget("TaskA tick=%u", xTaskGetTickCount());
    }
}

void TaskB(void *pv) {
    TickType_t last = xTaskGetTickCount();
    while (1) {
        vTaskDelayUntil(&last, pdMS_TO_TICKS(5));
        SEGGER_SYSVIEW_PrintfTarget("TaskB tick=%u", xTaskGetTickCount());
    }
}

3.2 分析 SystemView 波形

在 SystemView 中观察 TaskA 的“执行”区间。若发现其起始时刻在 10ms 附近波动（例如 9.8ms ~ 10.5ms），则存在抖动。常见原因：

  • 中断服务程序过长：在 SystemView 中查看中断区间，若某 ISR 占用超过 100us，会推迟任务切换。
  • 调度器临界区：taskENTER_CRITICAL() 内执行耗时操作，导致切换延迟。
  • Tick 中断优先级过低：若 SysTick 优先级低于其他中断，可能被延迟响应。

优化建议：缩短 ISR，使用 xTaskNotifyFromISR 代替信号量；将耗时操作放到任务中；确保 configMAX_SYSCALL_INTERRUPT_PRIORITY 设置正确。

4. 实战：捕获优先级反转

4.1 构造反转场景

三个任务：

  • High（优先级 3）：获取互斥量 M 后执行 20ms 计算。
  • Mid（优先级 2）：纯计算任务，不涉及 M。
  • Low（优先级 1）：先获取 M，执行 10ms 后释放。

若未启用优先级继承，High 在等待 M 时会被 Mid 抢占，导致 High 阻塞时间远超预期。

SemaphoreHandle_t xMutex;

void High(void *pv) {
    while (1) {
        xSemaphoreTake(xMutex, portMAX_DELAY);
        // 模拟 20ms 计算
        for (volatile int i = 0; i < 2000000; i++);
        xSemaphoreGive(xMutex);
        vTaskDelay(pdMS_TO_TICKS(100));
    }
}

void Mid(void *pv) {
    while (1) {
        for (volatile int i = 0; i < 5000000; i++);
        vTaskDelay(pdMS_TO_TICKS(50));
    }
}

void Low(void *pv) {
    while (1) {
        xSemaphoreTake(xMutex, portMAX_DELAY);
        for (volatile int i = 0; i < 1000000; i++);
        xSemaphoreGive(xMutex);
        vTaskDelay(pdMS_TO_TICKS(200));
    }
}

4.2 SystemView 中的反转特征

  • High 任务在等待 M 时，本应让 Low 继续执行，但 Mid 却抢占了 CPU。
  • 波形上表现为：High 阻塞期间，Mid 长时间运行，Low 被挂起，High 实际等待时间 = Low 剩余执行时间 + Mid 执行时间。

解决方案：

  • 使用互斥量（Mutex）而非二值信号量，FreeRTOS 的 Mutex 默认支持优先级继承。
  • 在 FreeRTOSConfig.h 中确认 configUSE_MUTEXES 为 1。
  • 若仍出现反转，检查是否在中断中使用了非 FromISR 版本的 API。

5. 注意事项与最佳实践

  • SystemView 缓冲区大小：SEGGER_SYSVIEW_Conf() 中可调整 SYSVIEW_BUFFER_SIZE，太小会丢事件，太大会占用 RAM。
  • RTT 通道冲突：若同时使用 RTT 打印日志，建议为 SystemView 分配独立通道（默认通道 1）。
  • 时间精度：SystemView 依赖 CPU 周期计数器，确保 SEGGER_SYSVIEW_Config_FreeRTOS() 中正确设置 SystemCoreClock。
  • 中断优先级分组：STM32 中务必设置 NVIC 优先级分组为 4，且 configMAX_SYSCALL_INTERRUPT_PRIORITY 对应数值正确，否则 SystemView 可能无法捕获中断事件。
  • 不要滥用 vTaskDelay：周期性任务优先使用 vTaskDelayUntil，避免累积误差。

6. 总结

从裸机到 FreeRTOS，系统复杂度指数上升。SEGGER SystemView 提供了“上帝视角”，让任务切换抖动和优先级反转无所遁形。掌握其配置与分析方法，能显著缩短调试周期，提升系统实时性。建议在项目初期就集成 SystemView，把问题扼杀在摇篮里。