内存屏障、Linux DMA API 状态机与 IOMMU 映射完全指南¶

1. 编译器屏障、SMP 屏障与 DMA 屏障的层级与指令映射¶

在 Linux 内核驱动开发中，存在三套语义相近但硬件作用域截然不同的内存屏障：

flowchart TD
    subgraph Barriers ["三级屏障体系与作用域"]
        Compiler_B["1. 编译器屏障 (barrier())\n• 仅阻断 GCC/Clang 编译期指令乱序重排\n• 硬件层面不生成任何 CPU 屏障指令"]

        SMP_B["2. SMP 内存屏障 (smp_wmb() / smp_rmb())\n• 作用域: Inner-Shareable (仅在多核 CPU 复合体之间生效)\n• ARM64 汇编映射: DMB ISHST / DMB ISHLD"]

        DMA_B["3. DMA 内存屏障 (dma_wmb() / dma_rmb())\n• 作用域: Outer-Shareable / System (约束 CPU 与 PCIe/DMA 外设之间的顺序)\n• ARM64 汇编映射: DMB OSHST / DMB OSHLD"]

        IO_B["4. I/O 硬件屏障 (mb() / wmb())\n• 作用域: 强制排空所有普通内存与 MMIO 寄存器流水线\n• ARM64 汇编映射: DSB SY"]
    end

核心映射对比表¶

2. Linux DMA 内存映射两套 API 核心状态机¶

flowchart TD
    subgraph Coherent_Model ["1. 一致性分配 (Coherent Allocation)"]
        A1["dma_alloc_coherent(dev, size, &dma_handle, GFP_KERNEL)"] --> A2["返回 CPU 虚拟地址 (VA) 与 DMA 物理/IOVA 地址 (dma_handle)\n内存被映射为 Non-cacheable 或由硬件 Snoop 保证一致性"]
        A2 --> A3["适用于: 长期驻留且由 CPU/DMA 频繁交互的描述符环 (Ring Buffer)"]
    end

    subgraph Streaming_Model ["2. 流式映射 (Streaming DMA Mapping)"]
        B1["kmalloc() / alloc_pages() 分配普通 Cacheable 物理页"] --> B2["dma_map_single(dev, va, size, DMA_TO_DEVICE / DMA_FROM_DEVICE)"]
        B2 --> B3["CPU 转移所有权给 DMA: 执行 DC CVAC (Clean) 或 DC IVAC (Invalidate)"]
        B3 --> B4["外设执行 DMA 搬运... (期间 CPU 严禁读写该 Buffer!)"]
        B4 --> B5["dma_unmap_single(dev, dma_handle, size, direction)"]
        B5 --> B6["所有权归还 CPU: CPU 安全读取数据并处理"]
    end

3. IOMMU 动态映射与 Scatter-Gather 链表合并机制¶

在未使能 IOMMU 的系统中，外设只能看到物理地址（PA）；在使能 SMMU/IOMMU 后，DMA API 负责分配 I/O 虚拟地址（IOVA） 并建立页表：

flowchart LR
    subgraph Non_Contiguous_PA ["物理内存空间 (不连续的 4KB 离散物理页)"]
        P1["Physical Page 0 (0x8001_0000)"]
        P2["Physical Page 1 (0x8900_4000)"]
        P3["Physical Page 2 (0x9200_8000)"]
    end

    subgraph SMMU_Page_Table ["SMMU / IOMMU 页表映射"]
        Map["建立 I/O 页表映射 (PTE)"]
    end

    subgraph Contiguous_IOVA ["设备看到的 IOVA 地址空间 (完全连续!)"]
        V1["连续 IOVA 空间: 0x1000_0000 ~ 0x1000_2FFF (12KB)"]
    end

    P1 & P2 & P3 --> Map --> V1

• 巨大性能提升：传统 DMA 必须构建包含 3 个描述符的 Scatter-Gather 链表；经 IOMMU 连续化合并后，外设仅需执行单次连续 Burst DMA 传输，吞吐量提升显著。

4. 常见 DMA API 使用陷阱与排查手册¶