2. 内存池设计原理

在嵌入式 Linux 系统中，尤其是涉及 DMA 传输的场景，内存分配与释放的频率和效率直接影响系统吞吐量。标准 malloc/free 或内核 kmalloc/kfree 在面对大量小对象、实时性要求高的数据路径时，会引入不可预测的延迟和内存碎片。内存池（Memory Pool）正是为解决这些问题而生的预分配内存管理机制。

2.1 内存池概念与核心思想

内存池是一种在系统初始化阶段或运行前，从连续物理内存或大块虚拟地址空间中预先划分出一块区域，由池管理器统一管理的内存分配策略。其核心思想是“一次分配，多次复用”，避免频繁向操作系统申请和释放内存。

2.2 内存碎片问题深度分析

内存碎片是嵌入式实时系统的隐形杀手。在长时间运行的 DMA 数据通路中，碎片会导致分配失败，即使系统总空闲内存足够。碎片分为两类：

2.3 固定大小内存池（Fixed-Size Pool）

固定大小内存池是最简单、最高效的池化方案。它在初始化时分配一个大的连续内存区域，并将其划分为多个大小相等的块（chunk）。

2.3.1 工作原理

1. 初始化： 计算块数量 = 总大小 / 块大小，将所有块地址串成空闲链表。
2. 分配（alloc）： 从空闲链表头部取出一个块，返回其地址。时间复杂度 O(1)。
3. 释放（free）： 将块重新插入空闲链表头部。时间复杂度 O(1)。

2.3.2 典型实现代码片段

/* 固定大小内存池结构体 */
struct fixed_pool {
    void        *base;          /* 池基地址 */
    size_t      block_size;     /* 块大小（字节） */
    size_t      total_blocks;   /* 总块数 */
    void        *free_list;     /* 空闲链表头指针 */
    spinlock_t  lock;           /* 自旋锁（SMP安全） */
};

/* 分配一个块 */
void *fixed_pool_alloc(struct fixed_pool *pool)
{
    void *block;
    unsigned long flags;

    spin_lock_irqsave(&pool->lock, flags);
    block = pool->free_list;
    if (block)
        pool->free_list = *(void **)block;  /* 链表头指向下一个空闲块 */
    spin_unlock_irqrestore(&pool->lock, flags);

    return block;  /* 返回 NULL 表示池空 */
}

/* 释放一个块 */
void fixed_pool_free(struct fixed_pool *pool, void *block)
{
    unsigned long flags;

    spin_lock_irqsave(&pool->lock, flags);
    *(void **)block = pool->free_list;  /* 当前块指向原链表头 */
    pool->free_list = block;            /* 链表头指向当前块 */
    spin_unlock_irqrestore(&pool->lock, flags);
}

2.4 可变大小内存池（Variable-Size Pool）

可变大小内存池允许分配不同大小的内存块，灵活性更高，但管理复杂度也相应增加。常见实现包括伙伴系统（Buddy System）和 slab 分配器。

2.4.1 伙伴系统原理

伙伴系统将内存按 2 的幂次划分成不同大小的块。分配时，将请求大小向上取整到 2 的幂次，从对应空闲链表中分配。若该链表为空，则从更大块中分裂出两个伙伴块。

2.4.2 Slab 分配器

Linux 内核的 slab 分配器是可变大小内存池的经典实现。它维护多个“缓存”（cache），每个缓存管理一组固定大小的对象。分配时从对应缓存中获取对象，释放时归还。Slab 分配器还支持着色（coloring）以优化 cache 利用率。

2.5 固定大小 vs 可变大小内存池对比

2.6 内存池在 DMA 驱动中的典型架构

以下是一个典型的 DMA 驱动内存池架构图，展示了固定大小池与可变大小池的协同工作方式：