1. 内容整体设计与思路拆解
1.1 为什么需要一个“硬件视角”来聊内存碎片
聊内存碎片这件事,大家平时听得最多的场景多半是C/C++程序员在抱怨 malloc 之后 free 不干净、长时间运行的服务内存越用越碎、或者数据库的buffer pool怎么调都回不到初始性能。这些讨论有一个共同点:大家习惯从“分配器”的角度看问题——用户态的ptmalloc、jemalloc、tcmalloc,内核态的buddy allocator、slab allocator,仿佛碎片只是软件算法没处理好。
但实际上,内存碎片不只是分配算法的问题,它背后的物理资源是硬件,是一块一块真实存在的DRAM芯片和地址总线。你写代码时看到的“内存”是一段连续的虚拟地址空间,但硬件看到的是一堆页框(page frame)、物理地址、缓存组、DDR bank、通道交错以及TLB条目。当你程序里产生碎片时,硬件感受到的是缓存命中率下降、TLB miss升高、访存指令在多个bank之间跳来跳去导致总线利用率降低、甚至是DMA外设因为找不到连续物理页而直接分配失败。
整个内存管理、硬件、内存碎片这三个关键词放到一起,本质上是在问一个问题:物理内存的“碎片化代价”到底由谁支付?答案很直接——支付者是 CPU 和内存控制器。这也是这篇文章想讲清楚的核心点。
1.2 不同层面碎片的定义与差异
碎片这个概念要拆开谈,因为它在不同抽象层里的含义完全不同。
在用户态角度看碎片,指的一般是虚拟地址空间里已分配块和空闲块交错分布,导致即使空闲总和够大,但无法满足一个大块连续分配请求。这是逻辑层面的“缝缝补补”。
在内核伙伴系统角度看碎片,指的是物理页框分配时,高阶order页面不足。Linux内核的buddy allocator按2的幂次管理空闲页,比如order-0是单页4KB,order-3是8页共32KB,order-9是512页共2MB。当系统运行很久后,空闲页可能大量存在于order-0和order-1,但更高阶的空闲块很少。结果是用户态明明看到free命令显示还有几个GB内存,内核却连一个2MB的连续物理块都拿不出来。
在硬件角度看碎片,情况更复杂:除了物理连续性之外,还要考虑物理地址的间隔是否影响了缓存索引、是否跨了内存控制器通道、是否导致DDR bank冲突、是否让TLB覆盖不了工作集。一个“看似连续”的2MB分配,如果它跨越了内存通道边界,硬件层面访问性能反而是差的;反过来,一段物理上不连续但刚好分布在多个bank之间的内存,如果分配器和管理层有足够的感知能力,性能反而可能更好。
所以这里的核心矛盾在于:软件上“连续”的地址,在硬件里不一定访问高效;硬件上“高效”的布局,软件又难以感知和控制。碎片问题之所以难解,是因为它横跨了多个层级,而每个层级都有各自的“碎片定义”。
1.3 谁最需要理解这类问题
这个话题不是纯学术讨论,它对几类人群有很实际的工程意义。嵌入式工程师天天跟CM、DMA、I/O buffer打交道,外设要求物理连续内存是硬性需求,碎片直接影响整个系统的稳定性;做数据库、缓存系统、分布式存储的开发者,长时间运行的进程一旦堆内存碎片化,就会出现莫名其妙的延迟尖峰;还有性能优化方向的工程师,逐渐发现同样的分配大小和互操作模式,换一种内存布局方式就能带来几个百分点的性能提升,这背后就是硬件层面对碎片布局的敏感。
我写这篇博文,希望用一篇既讲原理、又给实操思路的文章,把这三个层面的“碎片”正确粘合起来——从硬件视角重新审视软件分配策略,顺便纠正一些常见的误解,比如“只要虚拟地址连续就万事大吉”“碎片只会导致分配失败不会影响性能”这类在真实硬件上站不住脚的说法。
需要模型API调用? 免费领10W Token,多模型网关一键接入 Claude、DeepSeek 等主流模型。
2. 核心细节解析与实操要点
2.1 内存管理单元在碎片问题里的角色
理解碎片对硬件的负面影响,绕不开一个关键硬件模块:内存管理单元(MMU)。MMU负责把CPU发出的虚拟地址转换为物理地址,转换的依据叫页表项,页表项里存着虚拟页号到物理页框号的映射关系。TLB是页表项的高速缓存,容量非常有限,一般只有几十到几百个条目。
每次进程访问内存,CPU先查TLB,命中就用TLB里的物理地址直接访问内存;没命中就要走页表遍历,硬件多级页表逐级查找,这个过程的代价是几十上百个周期。如果程序的工作集很大,而物理内存的分布又很碎,TLB能覆盖的地址范围就变小,综合效果就是TLB miss率升高。
我实际测过的一个案例很有说服力:一台x86_64服务器上跑一个纯数据扫描程序,顺序读取8GB数据集。用默认4KB页面时,TLB miss每秒将近30万次;换成2MB大页后,同样逻辑的扫描,TLB miss降到每秒不到3万次。这就是“连续物理映射”在硬件层面带来的直接红利。虽然大页要求物理连续(或者至少是连续的页表映射),但它并不是魔法,本质上是在减少地址转换的硬件开销。
内存管理单元之外,还有一个容易被忽略的硬件角色:IOMMU或SMMU。当设备做DMA访问时,IOMMU负责将设备看到的IO虚拟地址翻译成物理地址。碎片环境的IO操作如果频繁触发IO页表的重新映射和TLB刷新,会造成DMA性能下降。许多硬件工程师在做嵌入式开发时会发现:为什么同样的buffer,稳定运行几小时后DMA吞吐就下降?去看看IOMMU的TLB miss统计,答案基本都在那里。
2.2 缓存组与物理页地址之间的微妙关系
CPU的L1/L2缓存大多是组相联的,地址的低位会被拆成组索引(set index)、缓存行偏移(block offset)等部分。这里有一个关键的硬件事实:缓存组索引是基于物理地址计算的(物理地址在最后一级缓存上是PIPT策略)。
这意味着两个物理地址如果值相差恰好是缓存大小的整数倍,它们就会映射到同一个缓存组。物理页面在地址空间里越“碎”,分配出来的多个页面越容易落在同一组里,导致缓存组冲突miss。看似每个页面本身是连续的,地址之间间隔却是整倍数关系,访问这些页面时硬件在缓存层面就会互相“踢”。
举个实际场景:一个多线程程序,每个线程各自malloc了一个64KB的工作buffer,这64KB内部物理连续,但不同线程的buffer之间物理地址毫无规则。如果运气不好,这些buffer的物理页框号分布恰好让它们在L2缓存里映射到极少数几个组,那么即使每个线程访问自己的buffer,也会因为其他线程的buffer淘汰掉自己的缓存行,产生严重的伪共享和冲突。
对于这类问题,静态页着色技术(page coloring)老内核里讨论过,现在主流x86平台已经弱化了,但并非完全没有影响。如果你是在做实时性要求很高的嵌入式系统,或者在做多核DSP的共享L2优化,仍然需要考虑这个层面的“碎片惩罚”。
2.3 DDR内存控制器视角:行、列、Bank与通道
真正把地址映射到物理DRAM芯片里的模块是内存控制器。现代DDR控制器并不会把一条连续地址线直接接到DRAM的行地址线上,而是做“地址哈希交错”(address hashing/interleaving)。以典型的Intel x86平台为例,物理地址的低位会被拆成channel ID、rank ID、bank group、bank、row、column等字段。具体到不同平台,这个映射表不太一样,但共同点是:访问连续的物理地址,大概率是落在不同bank或不同channel上,从而让DRAM可以并行处理。
这带来一个重要推论:物理连续的一大块内存,访问时DDR层面并不会“连续”地命中同一行,而是通过交错机制把压力摊到多个bank上。如果此时系统内存碎片较多,一段地址空间被分散成大量小段,那么这些段落在bank层面的分布会变得不可预测。极端情况下,多段分配到的地址都落在同一个bank同一row区域,结果是对一个看似不相关的内存块进行访问,实际上触发了大量DRAM行预充电和激活操作,行冲突率暴增。
行冲突的代价有多大?一个DDR4模组,列访问延迟(tCAS)大概10多纳秒,行激活加预充电(tRAS+tRP)却要40纳秒以上。如果访问模式总是触发行冲突,内存延迟会翻倍,吞吐量下降30%-40%都不奇怪。这种碎片化对性能的影响,在用户态根本看不出来,用perf统计出来的就是mem_load_l3_miss_retired这类计数器异常偏高。
处理这类问题,除了尽可能保证分配块对齐到大地址边界之外,另一种常见的工程手段是“内存池预布局”:启动时一次性从系统拿一大块物理内存,然后自己在这块内存里做分配,保证落在你池子里的物理地址范围是可控的。很多游戏引擎、通信中间件和数据库锁管理器都是这么干的,本质就是在对抗DDR层面的碎片失效。
2.4 碎片对不同硬件特性的三重代价
把硬件层面的碎片代价归纳一下,大致有三类,每类的触发机制和表现都不同。
第一类,是连续物理地址缺失带来的TLB效率下降。4KB页的TLB覆盖范围就那么点,如果物理页框碎片严重,同一进程的虚拟地址连续但物理页框分散在不同位置,TLB条目数量不变,但在一段工作的进程中能覆盖的“有效连续空间”缩小了。表现就是TLB miss升高、page walk次数升高。处理手段是大页、透明大页、以及尽量在分配时选择连续页框。
第二类,是缓存和DRAM冲突带来的延迟劣化。碎片布局不可预测,访问模式在缓存组间、DDR bank间分布不均匀,引起缓存冲突miss和DRAM行冲突延迟。表现是平均load延迟上升、IPC下降,但程序逻辑没有任何变化。这种问题最难定位,因为它不报错、不崩溃,只是“变慢了”,而且不同运行批次之间性能波动很大。
第三类,是外设DMA分配失败的硬故障。这是最严重的硬件级碎片代价。在大多数SoC平台上,外设DMA如果不想走IOMMU/SMMU,就必须分配连续的物理内存缓冲区。如果系统页框碎片化严重,内核会先尝试伙伴系统分配连续页;失败后触发memory compaction或CMA分配。如果CMA区域也被不可移动页占据了,那么DMA分配直接失败,驱动报错、视频采集花屏、网卡发包卡死就这么来的。这类问题没法用性能计数器观测,直接看dmesg里分配失败的日志。
3. 实操过程与核心环节实现
3.1 搭建可观测的碎片环境
要真正理解碎片,前提是能“看到”碎片。这里我推荐几个实用工具组合,能帮你把硬件视角的碎片状况拉到眼前。
第一组是内核导出的信息文件。/proc/buddyinfo列出了伙伴系统里每个order的可用页块数,从这个文件能直接看出高阶页块是否缺失。 /proc/pagetypeinfo展示了各迁移类型(Movable、Reclaimable、Unmovable)在各order上的数量分布。 /proc/slabinfo能看到不可移动slab对象的占用情况。这三件套是经典入门。
然后是内核事件层。打开内核的页分配失败跟踪,在/etc/sysctl.conf里设置vm.zone_reclaim_mode=0、vm.extfrag_threshold=500、vm.compact_memory=1之后,用dmesg观察页分配失败calltrace,能定位到具体的调用路径。实操里我会加一个后台脚本,定时采样/proc/buddyinfo并且配合/proc/vmstat里compact_stall、compact_success这两项。
性能层面推荐用perf把硬件事项拉出来。以x86平台为例:
bash复制perf stat -e dTLB-load-misses,dTLB-store-misses,LLC-load-misses,LLC-store-misses,cycle_activity.stalls_mem_any ./your_workload
这组事件可以直接反映碎片环境下的TLB压力和内存停顿。如果你想看清DRAM行冲突,需要用平台相关的uncore计数器,Intel的IMC(Integrated Memory Controller)事件可以用这么一组命令读取:
bash复制perf stat -a -e uncore_imc/data_reads/,uncore_imc/data_writes/,uncore_imc/act_cycles/ sleep 10
不同CPU型号的uncore事件名称有差异,但思路是一样的:统计内存控制器层面的激活周期、预充电周期,如果预充电周期占比明显偏高,说明DDR行冲突严重。
3.2 制造并观察一次“物理碎片风暴”
纸上谈兵没有说服力,我演示一个可复现的实操流程,专门制造物理碎片并观察它如何影响硬件行为。这个流程我简化过,目标是让新手也能在普通Linux服务器上跑通。
写一个循环程序,随机分配5000个4KB块,并按随机顺序释放其中2500个,保留其余2500个作为不可移动占位。这样在伙伴系统里就产生了大量order-0空闲页,而order-8以上的连续页块全部被排挤掉。然后尝试分配一个2MB的连续页块,大概率会失败或者触发memory compaction。
c复制#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/mman.h>
#include <time.h>
int main() {
srand(time(NULL));
void* ptrs[5000];
// 占位:随机分配 4KB 页
for (int i = 0; i < 5000; i++) {
ptrs[i] = mmap(NULL, 4096, PROT_READ | PROT_WRITE,
MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
if (ptrs[i] == MAP_FAILED) {
perror("mmap");
return 1;
}
}
// 随机释放一半,制造大量零散空闲页
for (int i = 0; i < 2500; i++) {
int idx = rand() % 5000;
if (ptrs[idx]) {
munmap(ptrs[idx], 4096);
ptrs[idx] = NULL;
}
}
// 尝试申请 2MB 连续物理块
void* big = mmap(NULL, 2 * 1024 * 1024, PROT_READ | PROT_WRITE,
MAP_PRIVATE | MAP_ANONYMOUS, -1, 0);
if (big == MAP_FAILED) perror("mmap big");
else {
printf("big allocation ok at %p\n", big);
munmap(big, 2 * 1024 * 1024);
}
// 保持进程存活,方便外部观察
sleep(60);
return 0;
}
编译运行之后,用另一个终端观察:
bash复制cat /proc/buddyinfo
cat /proc/pagetypeinfo | head -60
cat /proc/vmstat | grep compact
你会看到order-0的空闲页数量很多,但order-9或order-10的空闲块数很低,compact_stall的计数在本次分配时明显增加。这说明虽然系统还有空余物理内存,但“大块连续物理内存”已经进入了碎片状态。
3.3 用大页与内存压缩打破僵局
观察到碎片后,工程上最常见的处理手段是两类:一类是用大页降低对高阶order的依赖;另一类是主动触发内存压缩(memory compaction),把可移动页搬走凑出大块物理连续区域。
大页方案比较好理解。在系统里预留大页池之后,用户态程序直接通过mmap的MAP_HUGETLB或者libhugetlbfs来分配,内核从预先分配好的大页池里取出物理连续的大块。这个池子在开机或系统初始化时就已经固定了,不会受到后续碎片影响。适合明确知道需要大块内存的服务,比如数据库的共享池、JVM的G1堆、DPDK的hugepage内存池。
透明大页(THP)则不太一样,它是内核自动尝试合并普通4K页为2MB大页,但THP在碎片严重时会触发后台压缩(khugepaged)或者同步压缩,容易引入延迟尖峰。我的建议是:如果业务对延迟敏感,优先显式使用HugeTLB,少依赖THP。这里可以简单设置预留1GB大页:
bash复制echo 4 > /proc/sys/vm/nr_hugepages
mkdir -p /mnt/huge
mount -t hugetlbfs hugetlbfs /mnt/huge
每页大页大小默认是2MB,nr_hugepages=4就预留了8MB的大页池。如果机器支持1GB大页,可以在内核启动参数里配置hugepagesz=1G,实测对大数据量处理的效果会更明显。
内存压缩则是另一种思路,目标是让页框重新“聚拢”。在执行之前可以先收紧回收策略:
bash复制echo 1 > /proc/sys/vm/drop_caches
echo 1 > /proc/sys/vm/compact_memory
compact_memory=1会触发全系统内存压缩。内核会把可移动页复制到更紧实的地址位置,让分散的连续空闲区间合并。这个操作会在短时间内占用一定CPU和内存带宽,生产环境上建议在业务低峰期执行。压缩成功之后,再看/proc/buddyinfo,高阶空闲块数量会有明显提升。
3.4 用户态分配器如何影响硬件碎片
用户态allocator的选择也对硬件碎片有直接作用。glibc的ptmalloc为了快速分配维护了多个空闲链表,但它会在长生命周期服务里积累大量不可移动block,物理页面的“被固定”程度会越来越高。jemalloc和tcmalloc在避免碎片方面做了大量设计,比如分区分配、区域缓存、按size class的页级管理,可以让物理页的分布更均匀,减少极端碎片情况。
我做一个简单测试供参考:同样的内存分配释放序列,分别用glibc malloc和jemalloc跑,结束后通过/proc/self/pagemap统计物理页框的连续性。jemalloc产生的映射往往更规整,触发TLB miss的次数也更少。原因在于jemalloc会把相似大小的分配集中在连续的arena里,而不是到处撒点。
这里有一个判断线程安全的注意点:换allocator不是零成本,jemalloc默认就是线程安全的,tcmalloc也尽量做到无锁;但如果你的程序依赖glibc的malloc_usable_size或malloc_trim这类扩展接口,换库前要确认兼容性。实际项目中想降低碎片对硬件的影响,最优解往往不是单一allocator,而是“大块对象走自建池、小块对象走jemalloc、超大连续物理区走HugeTLB”,三种手段组合使用。
4. 常见问题与排查技巧实录
4.1 “明明还有内存,为什么DMA分配失败”
这个问题我在嵌入式Linux项目里遇到过很多次。现象是设备跑了一周之后,摄像头或者网络模块突然没法工作,dmesg里出现类似这样的报告:
text复制cma: cma_alloc: failed for buffer 0x10000, pages 16
xhci-hcd: cannot allocate dma buffer
第一反应是内存不够,但free命令一看还有30%的空闲。真正的元凶是CMA区域被不可移动页面占满了。CMA区域设计初衷是可以存放任意页,但在被使用时等同于“预留连续区”,如果里面长期驻留了不可移动内核对象,后续DMA分配就会失败。
排查方法是先看/proc/cma:
bash复制cat /proc/cma
能看到该区域的使用情况。再把/proc/pagetypeinfo里Unmovable、Reclaimable页面在各order的分布拉出来,如果CMA区域里Unmovable占比很高,就需要从源头控制:调整CMA大小、限制CMA区域内的可移动性、排查哪个驱动长期占用CMA不释放。
我的经验是,嵌入式系统里DMA失败要优先看CMA和物理连续页,而不是总体剩余内存。与其等到系统跑挂了再去查,不如把CMA区域在设备树里的size设置到实际峰值的1.5倍,并在驱动里对buffer做复用,避免分配释放抖动。
4.2 “性能随时间变差,但内存占用没有增长”
这种现象最常见于长时间运行的服务型程序。表面上看内存占用一直保持稳定,但访问延迟一点一点升高。用perf去抓,dTLB-load-misses在缓慢上升,LLC-load-misses的占比也在升高。物理内存总量没变,变的其实是映射的物理页框分布被逐步打散。
我排查过一个文档服务进程,它的堆内存长期占用约2GB,运行三周后平均响应延迟从12ms涨到21ms。用pagemap把heap区域的物理页框号拉出来之后发现,物理页框分布非常零散,虚拟地址相邻两页的物理间隔从最初的连续递增,变成了散布在几个GB的范围里。这个“离散度”越高,TLB的覆盖能力越差,cache组也容易冲突。
处理方案有两种思路。一种是主动执行内存compact把物理地址收拢:在早期版本的内核里,可以echo 1 > /proc/sys/vm/compact_memory;但现代内核更推荐在业务侧做“地址重映射”,即周期性地重新malloc大块、memcpy迁移数据、释放旧块,让物理映射重新连续。第二种思路是干脆给这个进程分配独立的HugeTLB池,从根上避免4K页粒度的碎片化。我在实际场景里两种都试过,HugeTLB效果最直接,但是要改代码;周期重映射不用改业务逻辑,但memcpy迁移数据时存在短暂的锁开销和双倍内存峰值。
4.3 常见误区:虚拟连续等于物理连续
有一个高频误解必须点破:malloc返回的地址连续,不代表物理页框连续。虚拟地址连续但物理地址碎片化,恰恰是最常见也最难察觉的情况。它不会导致分配失败,但性能上会有隐蔽的坑。
有一种测试方法可以判断物理连续程度:Linux下可以通过/proc/self/pagemap读取虚拟页对应的物理页框号,然后计算相邻页框号之差。差值等于1说明物理连续,差值远大于1说明物理上已经分散。写一个小脚本定期采样,能直接画出物理碎片随时间的变化趋势。
bash复制# 需要root权限
grep -E "^(VmRSS|RssAnon|RssFile)" /proc/self/status
具体读pagemap的脚本网上很多,我在这里不重复贴。关键是监控思路:不要只看程序用了多少内存,还要盯物理连续性这个维度。当一个服务的高阶物理页块持续减少、相邻页框差值变大时,性能劣化大概率就会发生。
4.4 推荐问题速查表
| 现象 | 可能原因 | 快速定位方法 | 常用解法 |
|---|---|---|---|
| free内存充足但mmap大块失败 | 物理碎片导致order-0充足、高阶块不足 | cat /proc/buddyinfo | 内存压缩、预留大页、减少不可移动页 |
| DMA buffer分配失败 | CMA被不可移动页占满 | cat /proc/cma | 调大CMA区域、驱动复用buffer、控制占用 |
| 长时间运行后延迟升高 | TLB miss和缓存冲突增大 | perf stat -e dTLB-load-misses,LLC-load-misses | HugeTLB、物理地址重映射、换分配器 |
| 多核性能不扩展 | 伪共享或缓存组冲突 | 检查对象是否跨物理页映射并发生并发访问 | 对齐填充、把对象分配到独立物理页 |
| 页面回收时CPU飙升 | 碎片导致内核频繁扫描和压缩 | vmstat观察si/so、pgscan | 调整vm.vfs_cache_pressure、优化内存封装模式 |
4.5 一个长期稳定运行服务的防碎片实操清单
根据我个人踩坑的经验,想要让一个长期跑的服务少受物理碎片影响,以下几条建议可以直接照做。
第一,启动早期就完成内存预热。在服务刚启动、物理内存还空旷的时候,把关键数据结构一次性分配出来,并尽量保持生命周期长一点,避免高频的分配释放。第二,上线前跑一次长时间的压力测试,周期采样/proc/buddyinfo,观察order-3以上的空闲块随时间的变化趋势。如果几天之内就跌到极低水平,说明分配模式注定会产生物理碎片,越早改设计越好。第三,为明确连续物理内存需求的功能预留专门的HugeTLB或CMA区域,不要等业务运行之后再补救。第四,监控预警里一定要有“高阶页块数量”“compact_stall计数”这类指标,而不是只监控总内存使用量。这类指标比CPU和load更能暴露物理碎片问题。
5. 总结
物理碎片不是一个存在于教科书里的静态概念,它切切实实影响CPU的TLB行为、内存控制器的行冲突率、以及外设DMA的分配稳定性。写这篇文章的初衷,是想提供一个不同于纯用户态视角的观察方式:分配器只是第一层,真正为碎片买单的是硬件。你写代码时多花的每一条访存指令,底层可能都藏着几次不必要的页表遍历和DDR行激活。
我个人的体会是,硬件视角并不会让人“绕开”软件层面的优化,反而能把优化的方向校准得更准。比如你原来花大力气调整malloc参数,但换成大页或者改一下对象分配的生命周期,性能就能翻倍,原因就在于你规避的是硬件层更昂贵的代价。内存碎片问题没有银弹,多数系统也等不到某一天“彻底解决”,但对硬件运作方式的理解至少能让你在保命时刻有路可走:知道什么时候该调CMA、什么时候该压缩内存、什么时候该换分配器、什么时候干脆上HugeTLB。
如果用一句话来收尾:凡是连续访问的、性能关键的大块内存,永远值得你在代码里多写一段专门管理它的映射关系,而不是指望malloc或者默认内核行为替你兜底。
