Linux内核内存管理深度实战：从页面分配器到Slab缓存

引言

Linux内核的内存管理子系统是整个操作系统中最复杂、最核心的组件之一。它不仅需要高效地管理物理内存，还要为上层应用提供简洁的抽象接口。本文将深入探讨Linux内核内存管理的核心机制，包括Buddy System页面分配器、Slab分配器、内存映射以及页面回收算法。

1. Buddy System 页面分配器

Buddy System是Linux内核管理物理内存的基础算法。它将内存划分为不同的阶（order）组，每个组包含大小为2^n的连续页面块。当需要分配内存时，系统从合适的阶组中取出一个块；如果该组为空，则从更大的阶组中分裂出一半。释放时，如果相邻的"伙伴"页面也是空闲的，则合并成更大的块。

核心数据结构

每个内存节点（pg_data_t）包含多个内存区域（zone），如ZONE_DMA、ZONE_NORMAL、ZONE_HIGHMEM。每个区域都有一个free_area数组，用于管理不同阶组的空闲页面块。

分配流程

alloc_pages()是页面分配的入口函数。它首先尝试从当前节点的合适区域分配，如果失败则尝试其他节点或区域。分配过程中会考虑水位标记（watermark）来决定是否触发直接回收。

2. Slab分配器

对于小于一个页面的内存分配需求（如结构体、小块缓冲区），Buddy System显得过于浪费。Slab分配器在此基础上构建了对象缓存机制，将一个或多个页面划分为固定大小的对象槽，避免内部碎片。

Slab核心概念

每个缓存（kmem_cache）描述一种对象类型，包含full、partial、partial三个Slab列表。每个Slab由一个或多个连续页面组成，被划分为等大的对象槽。通过跟踪空闲对象的位图或链表来管理分配和释放。

kmalloc与kmem_cache_alloc

kmalloc基于预定义大小的一般缓存（从8字节到8MB），而kmem_cache_alloc允许创建专用缓存，为特定结构体提供最优的分配效率。

3. 虚拟内存与mmap

Linux使用虚拟内存机制为每个进程提供独立的地址空间。每个进程的内存描述符（mm_struct）包含VMA（vm_area_struct）链表，用于描述各个虚拟内存区域。

页面错误处理

当CPU访问未映射的虚拟地址时，触发页面错误异常。do_page_fault()处理该异常：如果是匿名映射且首次访问则分配物理页；如果是文件映射则从磁盘读取到页面缓存；如果是写时复制则复制页面。

4. 页面回收与kswapd

当系统内存不足时，kswapd内核线程会被唤醒，执行页面回收。它采用LRU（最近最少使用）算法来识别可回收的页面，分为active_list和inactive_list。匿名页面的回收通过交换分区（swap），文件页面的回收通过丢弃页面缓存。

5. 实战：内存碎片整理

长期使用后的物理内存会产生碎片。Linux提供了内存规整（memory compaction）机制，通过页面迁移将分散的空闲页面聚集起来。可以通过/proc/sys/vm/compact_memory手动触发。

总结

Linux内存管理是一个多层的复杂系统，从底层的Buddy System到上层的Slab分配器，再到虚拟内存和页面回收，每一层都经过了数十年的优化和演进。理解这些机制对于系统调优、驱动开发和性能分析都至关重要。