STM32H7系列D-Cache一致性维护：三种典型误用场景与修复策略

引言

STM32H7系列基于Cortex-M7内核，内置了D-Cache（数据缓存）和I-Cache（指令缓存），显著提升了CPU访问内存的速度。但D-Cache的引入，使得CPU与DMA、外设等硬件之间的数据交互变得复杂。如果处理不当，轻则数据错误，重则系统崩溃。本文聚焦D-Cache一致性问题，通过三个典型误用场景，带你掌握正确的维护方法。

一、D-Cache工作原理与一致性问题

1.1 D-Cache的基本机制

Cortex-M7的D-Cache是回写（Write-Back）模式，即CPU写数据时，先写入Cache，标记为脏（Dirty），待时机成熟再写回主存。读数据时，若Cache命中，则直接返回Cache中的数据。这种设计减少了总线访问次数，提升了性能。

1.2 一致性问题的根源

当DMA或其他总线主设备直接访问主存（SRAM）时，它看不到Cache中的数据。如果CPU先写了数据到Cache（尚未写回SRAM），DMA读取SRAM时就会得到旧数据；反之，DMA写入SRAM后，CPU读取Cache时可能命中旧数据。这就是一致性问题。

二、典型误用场景与修复策略

场景1：DMA与CPU共享缓冲区

误用示例：使用UART DMA接收数据，CPU在中断中直接处理缓冲区。

// 错误示例：未处理Cache一致性
uint8_t rx_buffer[256];

void HAL_UART_RxCpltCallback(UART_HandleTypeDef *huart)
{
    // 直接处理rx_buffer，但数据可能还在Cache中
    process_data(rx_buffer);
}

// 初始化DMA接收
HAL_UART_Receive_DMA(&huart, rx_buffer, 256);

问题分析：DMA将数据写入SRAM，但CPU读取rx_buffer时，可能命中Cache中的旧数据（比如之前的内容），导致处理错误。

修复策略：在DMA接收完成后，先使Cache无效（Invalidate），强制CPU从SRAM重新读取。

// 正确示例：DMA接收完成后，使Cache无效
void HAL_UART_RxCpltCallback(UART_HandleTypeDef *huart)
{
    // 使rx_buffer对应的Cache行无效，强制从SRAM读取
    SCB_InvalidateDCache_by_Addr((uint32_t *)rx_buffer, sizeof(rx_buffer));
    process_data(rx_buffer);
}

注意：SCB_InvalidateDCache_by_Addr需要传入地址和长度，且地址最好按32字节对齐（Cache行大小），长度也尽量对齐，否则可能无效不完整。

场景2：外设寄存器访问（如DMA描述符）

误用示例：使用DMA传输时，CPU修改DMA描述符（如源地址、长度），然后启动DMA。

// 错误示例：修改描述符后未Clean Cache
dma_descriptor_t desc;
desc.src_addr = (uint32_t)src_buf;
desc.dst_addr = (uint32_t)dst_buf;
desc.length = 1024;

// 启动DMA，但描述符可能还在Cache中
HAL_DMA_Start_IT(&hdma, desc.src_addr, desc.dst_addr, desc.length);

问题分析：DMA控制器读取描述符时，访问的是SRAM，但CPU修改的描述符可能还在Cache中，未写回SRAM，导致DMA使用错误参数。

修复策略：在启动DMA前，将描述符区域Clean（写回SRAM）。

// 正确示例：修改描述符后，Clean Cache，确保写回SRAM
SCB_CleanDCache_by_Addr((uint32_t *)&desc, sizeof(desc));
HAL_DMA_Start_IT(&hdma, desc.src_addr, desc.dst_addr, desc.length);

注意：如果描述符是数组或结构体，确保Clean的长度覆盖整个区域。另外，DMA中断回调中，如果读取描述符状态，也需要先Invalidate。

场景3：任务间共享内存（RTOS环境）

误用示例：在FreeRTOS中，任务A通过队列发送数据指针，任务B接收并处理数据。

// 错误示例：任务间共享缓冲区，未处理Cache
uint8_t shared_buf[128];

void task_a(void *arg)
{
    // 写入数据
    fill_data(shared_buf);
    // 发送指针给任务B
    xQueueSend(queue, &shared_buf, 0);
}

void task_b(void *arg)
{
    uint8_t *buf;
    xQueueReceive(queue, &buf, portMAX_DELAY);
    // 处理数据，但可能读到Cache中的旧数据
    process(buf);
}

问题分析：任务A写入数据后，数据可能还在Cache中，任务B在另一个上下文（可能运行在另一个CPU核心或同一核心但调度切换）读取时，如果Cache未失效，可能读到旧数据。在单核上，任务切换本身会保存上下文，但Cache内容不变，所以问题依然存在。

修复策略：任务A写入后Clean，任务B读取前Invalidate。

// 正确示例：任务A Clean，任务B Invalidate
void task_a(void *arg)
{
    fill_data(shared_buf);
    SCB_CleanDCache_by_Addr((uint32_t *)shared_buf, sizeof(shared_buf));
    xQueueSend(queue, &shared_buf, 0);
}

void task_b(void *arg)
{
    uint8_t *buf;
    xQueueReceive(queue, &buf, portMAX_DELAY);
    SCB_InvalidateDCache_by_Addr((uint32_t *)buf, sizeof(shared_buf));
    process(buf);
}

注意：如果共享缓冲区是全局变量且被多个任务频繁访问，建议使用__attribute__((aligned(32)))对齐，并考虑使用MPU配置为非缓存区域，以彻底避免一致性问题。

三、通用维护原则与注意事项

3.1 何时需要Clean？

  • CPU写数据，然后DMA或外设读取该数据时，需要Clean（写回SRAM）。
  • 典型场景：DMA发送缓冲区、DMA描述符、外设控制结构。

3.2 何时需要Invalidate？

  • DMA或外设写数据，然后CPU读取该数据时，需要Invalidate（使Cache行失效）。
  • 典型场景：DMA接收缓冲区、外设状态寄存器。

3.3 注意事项

  • 地址对齐：SCB_CleanDCache_by_Addr和SCB_InvalidateDCache_by_Addr要求地址按32字节对齐，长度也建议为32的倍数，否则可能无法覆盖整个Cache行。
  • 性能开销：频繁Clean/Invalidate会降低性能，建议合理设计缓冲区大小，减少操作次数。
  • 使用MPU：对于固定用途的缓冲区（如DMA缓冲区），可以通过MPU配置为“非缓存”区域，从根源上避免一致性问题。
  • 双核场景：在STM32H7双核（如H745）中，两个核心共享内存时，需要额外的同步机制（如SCB_CleanDCache和__DSB），确保数据可见性。

四、总结

D-Cache一致性是STM32H7开发中的关键点。通过理解Clean和Invalidate操作，针对DMA、外设和任务间共享内存等场景，采取正确的维护策略，可以避免大部分数据异常问题。建议在项目初期就规划好缓冲区属性和Cache策略，必要时使用MPU配置非缓存区域，以简化设计。希望本文能帮助你少走弯路，写出更健壮的嵌入式代码。