4. Linux与RTOS内存管理差异

在USB Host驱动开发中，内存管理是决定数据传输可靠性与实时性的关键环节。Linux内核与RTOS在内存分配策略、缓存一致性维护以及DMA映射机制上存在根本性差异。本章将深入剖析slab分配器与静态内存池的设计哲学，并重点解决DMA传输中的缓存一致性问题。

4.1 核心分配器对比：slab vs 静态内存池

Linux内核使用slab分配器管理小对象内存，而RTOS通常采用静态内存池（Fixed-Size Block Pool）来避免动态分配的不确定性。两者的设计目标截然不同：slab追求通用性与缓存友好，静态内存池追求确定性与零碎片。

4.1.1 slab分配器架构

slab分配器由三个层级组成：cache（缓存描述符）、slab（连续物理页框集合）、object（实际分配对象）。每个cache管理一种特定大小的对象，内部维护三个slab链表：full、partial、free。

4.1.2 静态内存池实现模型

RTOS静态内存池在初始化时从连续内存区域划分出固定大小的块，每个块通过空闲链表链接。分配时从链表头部取出一个块，释放时插回链表。典型实现如下：

/* RTOS静态内存池典型实现 */
typedef struct {
    void   *pool_start;      /* 内存池起始地址 */
    uint32_t block_size;     /* 每个块的大小（字节） */
    uint32_t block_count;    /* 块总数 */
    void   *free_list;       /* 空闲块链表头 */
    uint32_t free_count;     /* 当前空闲块数 */
} static_pool_t;

/* 分配：O(1) */
void *pool_alloc(static_pool_t *pool) {
    if (!pool->free_list) return NULL;
    void *block = pool->free_list;
    pool->free_list = *(void **)block;  /* 链表头指向下一个空闲块 */
    pool->free_count--;
    return block;
}

/* 释放：O(1) */
void pool_free(static_pool_t *pool, void *block) {
    *(void **)block = pool->free_list;
    pool->free_list = block;
    pool->free_count++;
}

4.2 DMA一致性映射与缓存一致性

USB主机控制器通过DMA直接访问内存缓冲区，而CPU与DMA控制器对缓存的视图不同。Linux提供了一致性DMA映射（coherent）和流式DMA映射（streaming）两种机制；RTOS通常需要开发者手动维护缓存一致性。

4.2.1 缓存一致性问题根源

当CPU写数据到缓冲区后，数据可能只停留在L1/L2缓存中，尚未写回主存。DMA控制器直接从物理地址读取主存，会读到旧数据。反之，DMA写入主存后，CPU缓存中可能仍保留旧副本，导致CPU读到脏数据。

4.2.2 Linux DMA API使用示例

以下代码展示Linux USB驱动中为BULK传输准备DMA缓冲区的典型流程：

/* Linux USB驱动：流式DMA映射示例 */
static int usb_bulk_xfer(struct usb_device *udev, void *buf, size_t len) {
    dma_addr_t dma_handle;
    struct urb *urb;
    int ret;

    /* 1. 分配URB */
    urb = usb_alloc_urb(0, GFP_KERNEL);
    if (!urb) return -ENOMEM;

    /* 2. 映射缓冲区到DMA地址空间（流式映射，方向：设备写主机） */
    dma_handle = dma_map_single(&udev->dev, buf, len, DMA_FROM_DEVICE);
    if (dma_mapping_error(&udev->dev, dma_handle)) {
        usb_free_urb(urb);
        return -EIO;
    }

    /* 3. 填充URB并提交 */
    usb_fill_bulk_urb(urb, udev, usb_rcvbulkpipe(udev, 1),
                      buf, len, bulk_complete, NULL);
    urb->transfer_dma = dma_handle;
    urb->transfer_flags |= URB_NO_TRANSFER_DMA_MAP;

    ret = usb_submit_urb(urb, GFP_KERNEL);
    if (ret) {
        dma_unmap_single(&udev->dev, dma_handle, len, DMA_FROM_DEVICE);
        usb_free_urb(urb);
    }
    return ret;
}

/* 完成回调中解映射 */
static void bulk_complete(struct urb *urb) {
    dma_unmap_single(&urb->dev->dev, urb->transfer_dma,
                     urb->transfer_buffer_length, DMA_FROM_DEVICE);
    usb_free_urb(urb);
}

4.2.3 RTOS手动缓存维护实现

在RTOS中，没有统一的DMA API，需要直接操作硬件缓存控制器。以ARM Cortex-A系列为例，通常使用CP15协处理器指令：

/* RTOS手动缓存维护（ARMv7-A示例） */
/* 清理（写回）指定虚拟地址范围的缓存行到主存 */
void cache_clean(void *addr, uint32_t size) {
    uint32_t line_size = 32;  /* 典型缓存行大小 */
    uint32_t start = (uint32_t)addr & ~(line_size - 1);
    uint32_t end = (uint32_t)addr + size;

    for (; start < end; start += line_size) {
        __asm__ volatile ("mcr p15, 0, %0, c7, c10, 1" : : "r"(start));
    }
    __asm__ volatile ("dsb" : : : "memory");
}

/* 无效化（丢弃）指定虚拟地址范围的缓存行 */
void cache_invalidate(void *addr, uint32_t size) {
    uint32_t line_size = 32;
    uint32_t start = (uint32_t)addr & ~(line_size - 1);
    uint32_t end = (uint32_t)addr + size;

    for (; start < end; start += line_size) {
        __asm__ volatile ("mcr p15, 0, %0, c7, c6, 1" : : "r"(start));
    }
    __asm__ volatile ("dsb" : : : "memory");
}

/* USB传输方向对应的缓存操作 */
void usb_dma_prepare(void *buf, uint32_t len, int direction) {
    if (direction == DMA_TO_DEVICE) {
        /* CPU写 → DMA读：先clean缓存，确保数据写回主存 */
        cache_clean(buf, len);
    } else if (direction == DMA_FROM_DEVICE) {
        /* DMA写 → CPU读：先invalidate缓存，避免读到脏数据 */
        cache_invalidate(buf, len);
    }
}

4.3 移植策略与性能权衡

将Linux USB驱动移植到RTOS时，内存管理部分需要做以下适配：

• 替换slab分配： 将kmem_cache_alloc()替换为静态内存池分配，为每种URB大小创建独立池。
• DMA映射抽象： 实现dma_alloc_coherent()的RTOS版本——分配非缓存内存区域（通过MMU页表属性或MPU区域配置）。
• 缓存刷新策略： 对于流式映射，在DMA传输开始前调用clean，传输完成后调用invalidate。
• 内存碎片控制： 静态内存池的块大小应覆盖所有常用USB传输长度，避免频繁跨池分配。

4.3.1 一致性映射的RTOS实现

对于支持MMU的RTOS（如FreeRTOS+MPU或Zephyr），可以通过设置页表属性为“非缓存”或“写透”来实现一致性映射：

/* RTOS一致性DMA映射实现（假设有MMU） */
void *dma_alloc_coherent_rtos(uint32_t size, uint32_t *dma_handle) {
    /* 1. 从连续物理内存区域分配 */
    void *virt = pool_alloc(&dma_coherent_pool);
    if (!virt) return NULL;

    /* 2. 设置页表属性为强序非缓存（Strongly Ordered, Non-cacheable） */
    uint32_t page_attr = MMU_ATTR_STRONGLY_ORDERED;
    mmu_set_page_attr(virt, size, page_attr);

    /* 3. 返回虚拟地址和物理地址（DMA使用物理地址） */
    *dma_handle = virt_to_phys(virt);
    return virt;
}

void dma_free_coherent_rtos(void *virt, uint32_t size) {
    mmu_set_page_attr(virt, size, MMU_ATTR_CACHEABLE_WB);
    pool_free(&dma_coherent_pool, virt);
}

4.4 总结与决策矩阵