4. 内存碎片问题：内部碎片与外部碎片的成因、对系统稳定性的影响、碎片化度量指标

在 HAL 架构下，Buffer 的频繁申请与释放是常态。然而，若缺乏有效的管理策略，内存碎片会逐渐累积，最终导致系统性能下降甚至崩溃。本章深入剖析内部碎片与外部碎片的本质、成因及其对嵌入式系统稳定性的具体影响，并介绍关键的碎片化度量指标，为后续的优化调试奠定理论基础。

4.1 内部碎片 (Internal Fragmentation)

定义：内部碎片是指已分配给 Buffer 的内存块中，未被实际数据使用的部分。当分配器返回的内存块大小大于请求的大小时，多余的空间即成为内部碎片。

4.1.1 成因分析

• 固定大小分配 (Fixed-Size Allocation)： 分配器仅支持预定义的几种 Buffer 大小（如 32B、64B、128B）。若请求 100B，分配器只能返回 128B 的块，多出的 28B 即为内部碎片。
• 对齐要求 (Alignment)： 硬件或协议要求 Buffer 起始地址对齐到 4、8 或 16 字节。为满足对齐，分配器可能向前或向后填充字节，产生碎片。
• 最小分配粒度 (Minimum Allocation Granularity)： 分配器内部管理的最小单元（如 16B）。任何小于 16B 的请求都会占用一个完整的单元，造成浪费。

4.1.2 对系统稳定性的影响

• 内存利用率降低： 有效数据占比下降，同等物理内存下可支持的并发 Buffer 数量减少。
• Cache 污染加剧： 内部碎片占据的 Cache 行可能被无效数据填充，降低 Cache 命中率。
• 功耗增加： 更多的内存访问和刷新操作导致动态功耗上升。

4.2 外部碎片 (External Fragmentation)

定义：外部碎片是指空闲内存总量充足，但被分割成多个不连续的小块，导致无法满足一个较大的连续 Buffer 分配请求。

4.2.1 成因分析

• 动态分配与释放的随机性： 不同生命周期的 Buffer 交错申请和释放，在内存地址空间留下大小不一的“空洞”。
• 伙伴系统 (Buddy System) 的固有缺陷： 虽然伙伴系统能有效合并相邻空闲块，但在高碎片化场景下，大块内存被小 Buffer 长期占用，无法向上合并。
• HAL 层 Buffer 生命周期管理不当： 例如，Camera HAL 中预览 Buffer 和拍照 Buffer 的释放顺序不一致，导致 ISP 要求的连续大块内存无法分配。

4.2.2 对系统稳定性的影响

• 分配失败与系统抖动： 关键路径（如中断处理、实时任务）因无法获取连续内存而失败，引发系统级故障。
• 触发内存压缩 (Memory Compaction) 开销： 内核或 HAL 层尝试移动已分配页面以合并大块空闲空间，此过程耗时且可能阻塞其他任务。
• 不可预测的延迟： 分配时间随碎片化程度增加而变长，破坏实时性要求。

4.3 碎片化度量指标

为了量化碎片化程度，并在调试中定位问题，嵌入式工程师需要掌握以下关键指标。

4.4 碎片化过程可视化

下图展示了从初始状态到严重外部碎片化的典型演变过程。灰色块表示已分配的 Buffer，白色块表示空闲内存。

4.5 碎片化对 HAL 层 Buffer 管理的具体影响

在 HAL 架构中，碎片化问题会直接传导至上层服务，表现为：

• Buffer 申请超时： 分配器因无法找到合适大小的空闲块而陷入重试或等待，导致帧率下降或 I/O 阻塞。
• DMA 传输失败： 许多 DMA 控制器要求 Buffer 物理连续。外部碎片导致无法分配满足 DMA 要求的 Buffer，传输直接失败。
• 系统看门狗复位： 在实时性要求高的场景（如车载摄像头），Buffer 分配延迟过长会触发任务超时，进而触发系统看门狗复位。

4.6 碎片化度量工具与调试方法

在实际调试中，推荐使用以下方法获取碎片化指标：

1. 内核级工具： 使用 /proc/buddyinfo 查看伙伴系统的空闲块分布，计算 EFR 和 FI。
2. HAL 层日志： 在 Buffer 分配器接口中增加统计钩子，记录每次分配的大小、返回地址和耗时。
3. 内存池快照： 定期 dump 内存池的分配位图，可视化分析碎片分布。

// 示例：计算外部碎片率 (EFR) 的伪代码
uint32_t total_free = get_total_free_memory();
uint32_t max_contiguous = get_max_contiguous_free_block();
float efr = 1.0f - (float)max_contiguous / (float)total_free;

if (efr > 0.6f) {
    HAL_Log(HAL_LOG_ERROR, "High external fragmentation: EFR = %.2f%%", efr * 100);
    dump_memory_pool_status();
}