伙伴系统和slab缓存详解

本节，我将介绍linux系统物理内存分配时所用到的技术——伙伴系统和slab缓存。

知识背景1. DMA/HIGH_MEM/NROMAL 分区

在x86结构中，Linux内核虚拟地址空间划分0~3G为用户空间，3~4G为内核空间(注意，内核可以使用的线性地址只有1G)。内核虚拟空间（3G~4G）又划分为三种类型的区：
ZONE_DMA 3G之后起始的16MB    ：直接内存访问
ZONE_NORMAL 16MB~896MB       ：通过常规分页技术映射到第4个GB
ZONE_HIGHMEM 896MB ~1G        ：不能直接访问，可通过永久内存映射、临时内存映射及非连续内存分配将页                                                               框映射到高端内存

   Linux内核内存管理的一项重要工作就是如何在频繁申请释放内存的情况下，避免碎片的产生。Linux采用伙伴系统解决外部碎片的问题，采用slab解决内部碎片的问题。

在这里我们先讨论外部碎片问题。避免外部碎片的方法有两种：

（1）是利用分页单元把一组非连续的空闲页框映射到连续的线性地址区间；

（2）伙伴系统：是记录现存空闲连续页框块情况，以尽量避免为了满足对小块的请求而分割大的连续空闲块。

1、伙伴系统（分配的大小由一个页框4k到1024个页框4M）

使用场景：内核中很多时候要求分配连续页，为快速检测内存中的连续区域，内核采用了一种技术：伙伴系统。

原理：系统中的空闲内存总是两两分组，每组中的两个内存块称作伙伴。伙伴的分配可以是彼此独立的。但如果两个小伙伴都是空闲的，内核将其合并为一个更大的内存块，作为下一层次上某个内存块的伙伴。如下图给出了一对伙伴，初始大小均为8页。

内核对所有大小相同的小伙伴，都放置到统一列表中管理。如果系统现在需要8个页帧，则将16个页帧组成的块拆分为两个伙伴。其中一块用于满足应用程序的请求，而生育的8个页帧则放置到对应8页大小内存块的列表中。

在应用程序释放内存时，内核可以直接检查地址，来判断是否创建一组伙伴，并合并为一个更大的内存块放回到伙伴列表中，这刚好是内存块分裂的逆过程，提高了较大内存块的可用性。

相关的数据结构

     在前面的文章中已经简单的介绍过struct zone这个结构，对于每个管理区都有自己的struct zone，而struct zone中的struct free_area则是用来描述该管理区伙伴系统的空闲内存块的

<mmzone.h>

[cpp]  view plain  copy

1. struct zone {  
2.     ...  
3.          ...      
4.     struct free_area    free_area[MAX_ORDER];  
5.     ...  
6.     ...  
7. }  

 

<mmzone.h>

[cpp]  view plain  copy

1. struct free_area {  
2.     struct list_head    free_list[MIGRATE_TYPES];  
3.     unsigned long       nr_free;  
4. };  

 

free_area共有MAX_ORDER个元素，其中第order个元素记录了2^order的空闲块，这些空闲块在free_list中以双向链表的形式组织起来，对于同等大小的空闲块，其类型不同，将组织在不同的free_list中，nr_free记录了该free_area中总共的空闲内存块的数量。MAX_ORDER的默认值为11，这意味着最大内存块的大小为2^10=1024个页框。

2、slab缓存（分配小对象，小于一个页框）

适用场景：内核本身经常需要比完整页帧小的多的内存块。

原理：在伙伴系统基础上自行定义额外的内存管理层，将伙伴系统提供的页划分为更小的部分。

lab分配器是Linux内存管理中非常重要和复杂的一部分，其工作是针对一些经常分配并释放的对象，如进程描述符等，这些对象的大小一般比较小，如果直接采用伙伴系统来进行分配和释放，不仅会造成大量的内碎片，而且处理速度也太慢。而slab分配器是基于对象进行管理的，相同类型的对象归为一类(如进程描述符就是一类)，每当要申请这样一个对象，slab分配器就从一个slab列表中分配一个这样大小的单元出去，而当要释放时，将其重新保存在该列表中，而不是直接返回给伙伴系统。slab分配对象时，会使用最近释放的对象内存块，因此其驻留在CPU高速缓存的概率较高。

方法1：对频繁使用的对象，内核定义了只包含了所需类型对象实例的缓存。每次需要某种对象时，可以从对应的缓存快速分配（使用后释放到缓存）。slab缓存自动维护与伙伴系统的交互，在缓存用尽时会请求新的页帧。

方法2：对通常情况下小内存块的分配，内核针对不同大小的对象定义了一组slab缓存，可以像用户空间编程一样，用相同的函数访问这些缓存。不同之处是这些函数都增加了前缀k，表明是与内核相关联的：kmalloc和kfree。

优点：（1）不用为小对象分配一整个页框，节省空间；（2）对小对象做了缓存，减少内存分配次数。