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

裸机时代，代码执行顺序完全由你掌控；一旦引入 FreeRTOS，任务切换、中断嵌套、共享资源竞争会让时序变得难以预测。任务切换抖动（jitter）和优先级反转（priority inversion）是两大典型“暗坑”。SEGGER SystemView 能以极低开销记录所有 RTOS 事件，把调度过程画成时间线，让问题无处遁形。

一、原理：抖动与反转的根源

  • 任务切换抖动：任务实际开始执行的时间与理论唤醒时间的偏差。原因包括：中断延迟、调度器临界区过长、同优先级任务轮转、tick 中断被屏蔽等。
  • 优先级反转：高优先级任务因等待低优先级任务持有的互斥量而被阻塞，若此时中优先级任务就绪，就会抢占低优先级任务，导致高优先级任务被中优先级任务“插队”。

SystemView 通过 SEGGER RTT 上传事件，记录任务切换、中断进出、API 调用等，时间精度可达 1us 级，且对系统实时性影响极小。

二、配置步骤（以 STM32 + FreeRTOS 为例）

1. 添加 SystemView 源码

从 SEGGER 官网下载 SystemView Target Sources，将以下文件加入工程：

  • SEGGER_SYSVIEW.c
  • SEGGER_SYSVIEW_Config_FreeRTOS.c
  • SEGGER_RTT.c
  • SEGGER_RTT_ASM_ARMv7M.S（汇编加速，可选）

2. 修改 FreeRTOSConfig.h

#define configUSE_TRACE_FACILITY                1
#define configUSE_STATS_FORMATTING_FUNCTIONS    1
#define configGENERATE_RUN_TIME_STATS           1
#define configUSE_PORT_OPTIMISED_TASK_SELECTION 0
#define INCLUDE_xTaskGetCurrentTaskHandle       1
#define INCLUDE_pxTaskGetStackStart             1

3. 实现时间戳与任务信息回调

在 SEGGER_SYSVIEW_Config_FreeRTOS.c 中确保：

void SEGGER_SYSVIEW_Conf(void) {
    SEGGER_SYSVIEW_Init(1000000, SystemCoreClock, &SYSVIEW_TIMESTAMP, NULL);
    SEGGER_SYSVIEW_SetRAMBase(0x20000000);
}
U32 SEGGER_SYSVIEW_X_GetTimestamp(void) {
    return DWT->CYCCNT; // 需先使能 DWT
}

4. 初始化 DWT 周期计数器

void DWT_Init(void) {
    CoreDebug->DEMCR |= CoreDebug_DEMCR_TRCENA_Msk;
    DWT->CYCCNT = 0;
    DWT->CTRL |= DWT_CTRL_CYCCNTENA_Msk;
}

5. 在 main 中启动

int main(void) {
    HAL_Init();
    SystemClock_Config();
    DWT_Init();
    SEGGER_SYSVIEW_Conf();
    SEGGER_SYSVIEW_Start();
    // 创建任务...
    vTaskStartScheduler();
}

三、完整代码示例：制造并捕获优先级反转

下面代码故意制造优先级反转：高优先级任务 vHighTask 等待互斥量，低优先级任务 vLowTask 持有互斥量并延时，中优先级任务 vMidTask 持续运行。

#include "FreeRTOS.h"
#include "task.h"
#include "semphr.h"
#include "SEGGER_SYSVIEW.h"

SemaphoreHandle_t xMutex;

void vHighTask(void *pv) {
    while (1) {
        SEGGER_SYSVIEW_Print("High: try take");
        xSemaphoreTake(xMutex, portMAX_DELAY);
        SEGGER_SYSVIEW_Print("High: got mutex");
        xSemaphoreGive(xMutex);
        vTaskDelay(pdMS_TO_TICKS(100));
    }
}

void vMidTask(void *pv) {
    while (1) {
        SEGGER_SYSVIEW_Print("Mid: running");
        // 纯计算，不阻塞
        for (volatile int i = 0; i < 1000000; i++);
    }
}

void vLowTask(void *pv) {
    while (1) {
        xSemaphoreTake(xMutex, portMAX_DELAY);
        SEGGER_SYSVIEW_Print("Low: hold mutex");
        vTaskDelay(pdMS_TO_TICKS(50)); // 持有期间被中优先级抢占
        xSemaphoreGive(xMutex);
        vTaskDelay(pdMS_TO_TICKS(200));
    }
}

int main(void) {
    DWT_Init();
    SEGGER_SYSVIEW_Conf();
    SEGGER_SYSVIEW_Start();
    xMutex = xSemaphoreCreateMutex();
    xTaskCreate(vHighTask, "High", 256, NULL, 3, NULL);
    xTaskCreate(vMidTask,  "Mid",  256, NULL, 2, NULL);
    xTaskCreate(vLowTask,  "Low",  256, NULL, 1, NULL);
    vTaskStartScheduler();
    while (1);
}

四、SystemView 分析实战

打开 SystemView PC 工具，连接目标板，开始记录。你会看到：

  • 抖动定位：放大时间线，观察 High 任务被唤醒到实际运行之间的间隙。若间隙忽大忽小，检查是否有长临界区或中断关闭。SystemView 会标出 vTaskDelay 到期事件和实际切换点。
  • 优先级反转定位：典型波形为：Low 持有互斥量 → High 就绪但阻塞 → Mid 持续运行 → Low 释放互斥量 → High 才运行。SystemView 中 High 处于 Blocked 状态，而 Mid 在 Running，一目了然。

修复方法：将互斥量改为优先级继承互斥量（FreeRTOS 的 xSemaphoreCreateMutex 默认已支持优先级继承），或使用 xSemaphoreCreateBinary 配合优先级天花板。若仍反转，检查是否在中断中错误使用了非 FromISR API。

五、注意事项

  • SystemView 需要 RTT 通道，确保 SEGGER_RTT_Conf.h 中缓冲区大小足够（建议 1KB 以上），否则丢事件。
  • 时间戳使用 DWT 时，注意 Cortex-M0/M0+ 无 DWT，需改用其他定时器。
  • 记录时避免在中断中调用 SEGGER_SYSVIEW_Print，会阻塞。
  • 优先级继承仅对互斥量有效，二值信号量不继承。
  • 若抖动来自 tick 中断，可尝试提高 configTICK_RATE_HZ 或使用无 tick 模式。

通过 SystemView 的可视化时间线，任务切换抖动和优先级反转不再是玄学。掌握这套方法，你的 RTOS 系统将更加确定、可靠。