3. DMA与缓存一致性问题

DMA（Direct Memory Access）允许外设直接读写系统内存，无需CPU逐字节搬运。然而，当CPU与DMA共享同一内存区域时，缓存（Cache）的存在会导致双方看到的数据不一致——这就是缓存一致性问题（Cache Coherency Problem）。本章深入剖析该问题的成因、典型场景及内核提供的解决方案。

3.1 问题根源：CPU缓存 vs. DMA直接访问

现代处理器使用多级缓存（L1/L2/L3）来弥合CPU与主存之间的速度差距。CPU读写内存时，实际操作的是缓存行（Cache Line），而非直接访问物理内存。DMA控制器则绕过缓存，直接读写物理内存。这种路径差异是缓存一致性问题的根本原因。

3.1.1 两种典型不一致场景

3.2 缓存回写与无效化操作

为解决一致性问题，Linux内核提供了两组关键API，分别对应两种硬件操作：

• 缓存无效化（Invalidate）：将指定地址的缓存行标记为无效，迫使CPU下次访问时从内存重新加载。
• 缓存回写（Writeback / Clean）：将指定地址的脏缓存行（已被CPU修改但未写回内存）强制写回物理内存。

3.2.1 核心API速查表

3.2.2 缓存同步流程SVG图

3.3 典型数据损坏场景分析

以下三个真实案例展示了未正确处理缓存一致性导致的严重问题。

3.3.1 场景一：网络驱动接收数据损坏

问题描述：网卡通过DMA将接收到的网络包写入内存缓冲区，CPU随后从缓存读取该缓冲区处理数据包。若CPU缓存中仍保留该地址的旧数据，则CPU会处理错误的数据包内容。

/* 错误示例：未同步缓存 */
static int rx_poll(struct napi_struct *napi, int budget) {
    struct sk_buff *skb;
    /* 从DMA缓冲区构建skb */
    skb = build_skb(rx_ring->buf_virt, rx_ring->buf_size);
    /* BUG: 此时CPU缓存可能包含陈旧数据 */
    /* 应在此处调用 dma_sync_single_for_cpu() */
    netif_receive_skb(skb);
    return 1;
}

3.3.2 场景二：音频驱动播放噪声

问题描述：CPU生成音频样本数据写入缓冲区，DMA控制器读取该缓冲区发送到音频编解码器。若CPU修改缓存后未写回内存，DMA将读取到旧数据，导致播放出现爆音或噪声。

/* 错误示例：CPU写入后未回写缓存 */
static void audio_fill_buffer(struct snd_pcm_substream *substream) {
    char *buf = (char *)substream->runtime->dma_area;
    /* CPU 生成音频样本 */
    generate_audio_samples(buf, period_size);
    /* BUG: 缓存中的新数据尚未写回物理内存 */
    /* 应在此处调用 dma_sync_single_for_device() */
    /* 通知DMA开始传输 */
    snd_pcm_period_elapsed(substream);
}

3.3.3 场景三：存储驱动文件系统损坏

问题描述：文件系统层将数据写入页缓存（Page Cache），存储驱动通过DMA将数据写入磁盘。若DMA读取物理内存时，页缓存中的脏页尚未写回，则磁盘写入的是旧数据，导致文件系统元数据损坏。

3.4 一致性问题的硬件视角

不同处理器架构对缓存一致性的硬件支持程度不同，这直接影响驱动开发者的编程模型。

3.4.1 架构对比

3.4.2 硬件一致性模型SVG图

3.5 最佳实践与避坑指南

3.5.1 常见错误模式

• 遗漏同步：忘记调用 dma_sync_* 系列API，在弱一致性架构上直接导致数据损坏。
• 同步方向错误：CPU读取DMA写入的数据前应无效化缓存，却错误地执行了回写操作，导致CPU读到更旧的数据。
• 同步范围过大：对整个大缓冲区执行同步，影响性能。应只同步DMA实际操作的区域。
• 双重映射：对同一缓冲区同时使用 dma_map_* 和 dma_sync_* 导致重复操作。

3.5.2 调试与验证