堆内存在系统的内存分区为何是分散的

mTicker

于 2025-02-16 18:22:51 发布

阅读量944

点赞数 14

分类专栏： Android APP开发 linux内核与驱动文章标签： java 算法开发语言

本文链接：https://blog.youkuaiyun.com/weixin_60342993/article/details/145668016

版权

linux内核与驱动同时被 2 个专栏收录

4 篇文章

订阅专栏

Android APP开发

3 篇文章

订阅专栏

一、栈和堆的在系统中区别以及内存碎片问题

1、栈是由系统自动分配和释放的，而堆需要程序员手动管理或者由垃圾回收机制处理。堆内存之所以分散，可能和动态内存分配的特性有关。当程序运行时，频繁的申请和释放不同大小的内存块，会导致堆中出现空闲和已使用的内存块交错，产生碎片。

2、内存碎片的问题，包括内部碎片和外部碎片。
内部碎片是分配的内存块比实际需要的更大，而外部碎片是空闲内存被分割成小块，无法满足大块内存申请。这可能是因为动态分配的内存块大小不一，释放后留下的空隙无法被有效利用。

3、堆内存的管理机制也很重要。
系统通常使用空闲链表、伙伴系统或内存池来管理堆内存。不同的分配策略会影响内存的分布。例如，首次适应算法可能从低地址开始查找，导致低地址区域碎片化，而最佳适应算法可能留下更小的碎片。

4、还需要提到内存分配器的设计，比如glibc的ptmalloc如何管理多个内存区域（arena），每个arena有自己的堆，这些堆可能分布在不同的虚拟地址空间，导致物理内存的分散。此外，虚拟内存机制允许物理内存的不连续性，即使虚拟地址连续，物理地址可能是分散的。

在计算机系统中，堆内存的“分散性”主要体现在其动态分配机制和内存碎片化的特性上。以下是详细解释：

二、堆内存的分散性来源

堆内存的分散性是由其设计目标和动态内存管理机制决定的，主要原因包括：

1. 动态分配的灵活性

按需分配：堆允许程序在运行时动态申请任意大小的内存块（如通过 malloc、new），系统需要在可用内存中快速找到合适的位置。
释放不可预测：内存块的释放顺序和时机由程序逻辑决定（如 free、delete），导致已释放的内存块散布在堆中，形成“空洞”。

2. 内存碎片化

外部碎片：频繁分配和释放不同大小的内存块后，剩余的空闲内存会被分割成许多小块。这些小块可能无法满足后续较大的内存请求，即使总空闲内存足够。

示例：
初始堆：[空闲 100KB]
分配 20KB → [已用 20KB][空闲 80KB]
分配 30KB → [已用 20KB][已用 30KB][空闲 50KB]
释放 20KB → [空闲 20KB][已用 30KB][空闲 50KB]
此时若申请 60KB，虽然总空闲 70KB，但分散在两处，无法分配。

内部碎片：分配的内存块可能略大于实际请求（因对齐或管理开销），导致部分内存未被利用。
```
示例：
请求 15KB，系统分配 16KB（对齐到 4KB），浪费 1KB。
```

3. 内存管理器的策略

分配算法：堆内存管理器（如 glibc 的 ptmalloc）使用特定策略（如首次适应、最佳适应、最坏适应）查找可用内存块。不同策略会导致内存块分布不同。
- 首次适应：从堆起始地址开始查找，优先使用第一个足够大的空闲块，可能加剧低地址区域的碎片化。
- 最佳适应：选择最小的足够大的空闲块，可能留下大量难以利用的小碎片。
多线程优化：现代内存管理器（如 jemalloc、tcmalloc）为减少锁竞争，会为每个线程分配独立的“内存池”（Arena），导致堆在虚拟地址空间中分散。

4. 虚拟内存机制

物理内存与虚拟内存的映射：操作系统通过虚拟内存管理将连续的虚拟地址映射到分散的物理页帧。即使堆的虚拟地址连续，其物理内存也可能是分散的。
内存页管理：操作系统以页（如 4KB）为单位管理物理内存，堆的分配可能跨多个不连续的页。

三、堆内存的“分散性”对程序的影响

性能开销：
- 内存分配时需要搜索可用块，碎片越多，搜索时间越长。
- 频繁的内存分配/释放可能导致缓存局部性差（内存块分散），降低 CPU 缓存命中率。
内存利用率下降：
- 外部碎片导致总空闲内存足够但无法分配大块内存。
- 内部碎片导致实际内存浪费。
程序稳定性风险：
- 严重碎片化可能引发内存分配失败（即使理论上内存足够）。