ARM Cortex M7：缓存清理可以覆盖 DMA 设备所做的更改吗？

Question

我正在为 STM32H743 SoC 中的 DMA 总线主设备开发驱动程序，由 Cortex M7 CPU 驱动。假设我有两个内存位置，x 和 y，它们映射到同一缓存行，它位于正常的可回写缓存内存，并假设以下事件序列：

1. 以x = x1, y = y1 开头，缓存行无效。
2. CPU 读取y
3. DMA 设备集x = x2，在内存中
4. CPU 集y = y2
5. CPU 清理缓存行。

5.完成后，从DMA设备的角度来看，x = ?

我认为 DMA 会看到 x = x1，这是我的推理：

• 当 CPU 在 2. 中读取 y 时，缓存行被拉入缓存。它读取x = x1, y = y1，并被标记为有效。
• DMA 然后更新内存中的x，但更改不会反映在缓存行中。
• 当 CPU 设置y = y2 时，缓存行被标记为脏。
• 当 CPU 清理缓存行时，由于它是脏的，它会被写回内存。
• 当它被写回内存时，它会读取x = x1, y = y2，从而覆盖 DMA 更改为 x。

这听起来像是一个很好的推理吗？

Answer 1

简而言之，如果我的问题是正确的，那么你的描述是正确的。

从问题中不太清楚“两个内存位置，x 和 y”是什么。

根据您在描述中使用它们的方式，我认为它类似于 2 个指针。

int* x, y;

并且“以x = x1, y = y1开头”表示为该指针分配地址，例如

x = (int*)(0x2000); // x = x1
y = (int*)(0x8000); // y = y1

现在回答您的问题：“在 5. 完成后，从 DMA 设备的角度来看，x = ？”

所以在第 3 步之后，x = x2, y = y1 在内存中，x = x1, y == y1 在缓存中。

在第 4 步之后，x = x2, y = y1 在内存中，x = x1, y = y2 在缓存中。

内存中x/y指针的DMA访问值，缓存中x/y指针的CPU访问值。因为缓存和内存不同步（缓存是脏的）在那个阶段CPU和DMA会得到不同的值。

最后在第 5 步之后...
这取决于。缓存控制器通过缓存线、某种大小的内存区域（如 32 字节、64 字节等）（可能更大或更小）进行操作。因此，当 CPU 清理/刷新包含某个地址的缓存行时，它会将整个缓存行的内容刷新到内存中。内存中的任何内容都会被覆盖。

基本上有2种情况：

• x 和 y 指针都在同一个缓存行中。这意味着缓存中的值将覆盖内存，您是对的，x = x1, y == y2 将在内存和缓存中完成。
• x 和 y 指针位于不同的缓存行中。很简单，只有一个变量会受到影响，另一个缓存行仍然是脏的。