基于RTOS信号量实现多优先级串口打印互斥的零拷贝方案

1. 问题背景与挑战

在嵌入式系统中，多个任务（如传感器采集、通信处理、控制算法）可能同时调用printf或UART_Send输出日志。若不加保护，会出现以下问题：

  • 数据交错：多个任务交替发送字符，导致日志行内容混乱，难以解析。
  • 优先级反转：低优先级任务占用串口时，高优先级任务被阻塞，且无法抢占，影响实时性。
  • 性能开销：传统方案使用全局缓冲区加锁，每次打印需拷贝数据，增加CPU负担。

RTOS信号量（Semaphore）是解决互斥的经典工具，结合零拷贝设计，可显著提升效率。

2. 方案原理

2.1 信号量互斥机制

信号量分为二值信号量和互斥量（Mutex）。互斥量支持优先级继承，能有效避免优先级反转，因此推荐使用。每个任务在打印前获取互斥量，打印完成后释放，确保同一时刻只有一个任务访问串口。

2.2 零拷贝设计

传统打印流程：

char buf[128];
sprintf(buf, "...", args);
UART_Send(buf, strlen(buf));

这涉及两次拷贝：sprintf写入栈缓冲区，再拷贝到UART发送寄存器或DMA缓冲区。零拷贝方案直接让任务将日志数据放入一个共享的环形缓冲区，由专门的打印任务负责发送，避免中间拷贝。但为简化，本文采用“直接发送+互斥”方式，零拷贝体现在避免printf内部缓冲，直接使用vsnprintf到局部静态缓冲区（仅一次拷贝），并利用DMA发送，减少CPU等待。

2.3 优先级处理

互斥量支持优先级继承：当高优先级任务等待低优先级任务持有的互斥量时，系统临时提升低优先级任务优先级，使其尽快释放，从而减少反转时间。

3. 配置步骤（以FreeRTOS + STM32 HAL为例）

3.1 创建互斥量

在初始化代码中创建互斥量：

SemaphoreHandle_t xPrintMutex;

void Print_Init(void) {
    xPrintMutex = xSemaphoreCreateMutex();
    if (xPrintMutex == NULL) {
        // 错误处理
    }
}

3.2 实现零拷贝打印函数

使用vsnprintf将格式化数据直接写入静态缓冲区（避免栈拷贝），然后通过DMA发送（非阻塞），发送期间保持互斥量。

static char print_buf[256]; // 静态缓冲区，避免栈分配

void Print_Log(const char *fmt, ...) {
    if (xSemaphoreTake(xPrintMutex, portMAX_DELAY) == pdTRUE) {
        va_list args;
        va_start(args, fmt);
        vsnprintf(print_buf, sizeof(print_buf), fmt, args);
        va_end(args);
        
        // 使用DMA发送，非阻塞，但需等待完成（或使用回调）
        HAL_UART_Transmit_DMA(&huart1, (uint8_t*)print_buf, strlen(print_buf));
        // 等待DMA完成（可用信号量或事件标志，此处简化用轮询）
        while (HAL_UART_GetState(&huart1) != HAL_UART_STATE_READY);
        
        xSemaphoreGive(xPrintMutex);
    }
}

3.3 任务中使用

各任务直接调用Print_Log，无需关心互斥：

void TaskA(void *arg) {
    while (1) {
        Print_Log("TaskA: value=%d\n", sensor_value);
        vTaskDelay(100);
    }
}

void TaskB(void *arg) {
    while (1) {
        Print_Log("TaskB: status=%s\n", status_str);
        vTaskDelay(150);
    }
}

4. 完整代码示例（FreeRTOS + STM32）

#include "FreeRTOS.h"
#include "semphr.h"
#include "usart.h"
#include <stdarg.h>
#include <string.h>

SemaphoreHandle_t xPrintMutex;
static char print_buf[256];

void Print_Init(void) {
    xPrintMutex = xSemaphoreCreateMutex();
    configASSERT(xPrintMutex != NULL);
}

void Print_Log(const char *fmt, ...) {
    if (xSemaphoreTake(xPrintMutex, portMAX_DELAY) == pdTRUE) {
        va_list args;
        va_start(args, fmt);
        vsnprintf(print_buf, sizeof(print_buf), fmt, args);
        va_end(args);
        
        // 发送数据（阻塞等待完成，确保打印完整）
        HAL_UART_Transmit(&huart1, (uint8_t*)print_buf, strlen(print_buf), 1000);
        
        xSemaphoreGive(xPrintMutex);
    }
}

// 任务示例
void TaskA(void *arg) {
    int count = 0;
    while (1) {
        Print_Log("TaskA count: %d\n", count++);
        vTaskDelay(pdMS_TO_TICKS(500));
    }
}

void TaskB(void *arg) {
    int count = 0;
    while (1) {
        Print_Log("TaskB count: %d\n", count++);
        vTaskDelay(pdMS_TO_TICKS(700));
    }
}

int main(void) {
    HAL_Init();
    SystemClock_Config();
    MX_GPIO_Init();
    MX_USART1_UART_Init();
    
    Print_Init();
    
    xTaskCreate(TaskA, "TaskA", 128, NULL, 1, NULL);
    xTaskCreate(TaskB, "TaskB", 128, NULL, 2, NULL);
    
    vTaskStartScheduler();
    while (1);
}

5. 注意事项

  • 缓冲区大小：print_buf需足够大，避免截断。建议根据最大日志长度设置，并检查vsnprintf返回值。
  • 中断安全：若在中断中调用打印，需使用xSemaphoreTakeFromISR和xSemaphoreGiveFromISR，但互斥量不支持中断，建议使用二值信号量或队列。
  • DMA与互斥：若使用DMA，需确保发送完成后再释放互斥量，否则后续任务可能覆盖缓冲区。可使用DMA完成中断+信号量同步。
  • 优先级继承：确保互斥量创建正确，FreeRTOS的互斥量默认支持优先级继承，但需开启configUSE_MUTEXES。
  • 性能权衡：零拷贝方案减少了数据复制，但互斥量获取和释放仍有开销。对于高频日志，可考虑使用异步打印队列，但会增加复杂度。
  • 调试建议：在开发初期，可先使用轮询发送验证功能，再优化为DMA。

6. 总结

本文提出的方案通过互斥量保证串口打印的原子性，利用静态缓冲区和直接发送实现零拷贝，有效解决了多任务打印冲突和性能问题。该方案适用于大多数嵌入式RTOS环境，开发者可根据实际需求调整缓冲区策略和发送方式，以平衡实时性与资源占用。