RTOS并发编程：数据竞争与同步机制实战

1. RTOS并发编程的核心挑战

在嵌入式实时操作系统(RTOS)环境中，多个任务同时访问共享资源时会产生一系列独特的问题。我曾在工业控制项目中遇到一个典型场景：三个任务（数据采集、数据处理、数据发送）需要访问同一个传感器数据缓冲区，最初使用简单的全局变量导致系统每周出现1-2次数据错乱。

RTOS的并发特性与传统操作系统有显著差异：

• 任务调度基于优先级抢占
• 没有虚拟内存保护机制
• 中断服务程序(ISR)会随时打断任务执行
• 处理器架构多样（从8位到32位）

这些特性使得数据竞争问题更加隐蔽。例如在Cortex-M3架构上，对32位变量的非对齐访问本应是原子操作，但在中断嵌套时仍可能被破坏。

2. 数据一致性的实现方案

2.1 临界区保护实践

最基础的互斥方法是通过关闭中断实现临界区：

c复制void UART_SendSafe(const char* buf, int len) {
    uint32_t primask = __get_PRIMASK();  // 保存当前中断状态
    __disable_irq();                     // 关中断
    
    /* 临界区操作 */
    HAL_UART_Transmit(&huart1, (uint8_t*)buf, len, 1000);
    
    __set_PRIMASK(primask);              // 恢复中断状态
}

注意：临界区持续时间必须极短（通常<10μs），否则会影响系统实时性。我在电机控制项目中曾因临界区过长导致PWM信号丢失，最终通过将大块操作拆分为多个短临界区解决。

2.2 互斥量的深度优化

FreeRTOS的互斥量使用优先级继承机制，但仍需注意：

c复制SemaphoreHandle_t xMutex = xSemaphoreCreateMutex();

void TaskA(void *pvParameters) {
    while(1) {
        if(xSemaphoreTake(xMutex, pdMS_TO_TICKS(100)) == pdTRUE) {
            /* 访问共享资源 */
            xSemaphoreGive(xMutex);
        } else {
            // 超时处理
            vTaskDelay(pdMS_TO_TICKS(10)); 
        }
    }
}

常见陷阱包括：

1. 忘记释放互斥量（建议使用RAII模式封装）
2. 在ISR中使用非ISR安全版本的API
3. 互斥量嵌套使用导致死锁

3. 竞态条件的典型场景分析

3.1 传感器数据采集案例

考虑一个温度采集系统：

c复制float current_temp;  // 共享变量

void ADC_Complete_Callback(uint16_t adc_val) {
    current_temp = (adc_val * 3.3 / 4095) * 100; 
}

void DisplayTask(void) {
    while(1) {
        LCD_ShowFloat(current_temp);  // 可能读到转换中的中间值
        vTaskDelay(100);
    }
}

解决方案是使用双缓冲机制：

c复制type