一:准备知识:
前面我们分析过了大内存分配的实现机制,事实上, 若为小块内存而请求整个页面,这样对于内存来说是一种极度的浪费。因此linux 采用了slab 来管理小块内存的分配与释放。Slab 最早是由sun 的工程师提出。它的提出是基于以下因素考虑的:
1 :内核函数经常倾向于反复请求相同的数据类型。比如:创建进程时,会请求一块内存来存放mm 结构。
2 :不同的结构使用不同的分配方法可以提高效率。同样,如果进程在撤消的时候,内核不把mm 结构释放掉,而是存放到一个缓冲区里,以后若有请求mm 存储空间的行为就可以直接从缓冲区中取得,而不需重新分配内存.
3: 前面我们曾分析过,如果伙伴系统频繁分配,释放内存会影响系统的效率,以此,可以把要释放到的内存放到缓冲区中,直至超过一个阀值才把它释放至伙伴系统,这样可以在一定程度上缓减减伙伴系统的压力
4: 为了缓减“内碎片”的产生,通常可以把小内存块按照2 的倍数组织在一起,这一点和伙伴系统类似
二:slab 分配器概貌:
Slab 将缓存分为两种:一种是专用高速缓存,另外一种是普通高速缓存。请注意,这里所说的高速缓存和硬件没有必然的关系,它只是slab 分配器中的一个软件概念。
专用高速缓存中用来存放内核使用的数据结构,例如:mm,skb,vm 等等
普通高速缓存是指存放一般的数据,比如内核为指针分配一段内存
所有的高速缓存区都通过链表的方式组织在一起,它的首结点是cache_chain
另外,普通高速缓存将分配区分为32*(2^0),32*(2^1),32*(2^2) ….32*(2^12) 大小,共13 个区域大小,另外,每个大小均有两个高速缓存,一个为DMA 高速缓存,一个是常规高速缓存。它们都存放在一个名这cache_size 的表中.
Slab 分配器把每一个请求的内存称之为对象(和oop 设计方法中的对象类似,都有初始化与析构). 对象又存放在slab 中.slab 又按照空,末满,全满全部链接至高速缓存中. 如下图所示:
![](http://blogimg.chinaunix.net/blog/upfile2/080201163913.jpg)
三:slab 分配器相关的数据结构:
高速缓存:
typedef struct kmem_cache_s kmem_cache_t;
struct kmem_cache_s {
struct array_cache *array[NR_CPUS];/*per cpu 结构,每次分配与释放的时候都先从这里取值与存值*/
unsigned int batchcount; /*array[NR_CPUS] 中没有空闲对象时,一次为数组所分配的对象数*/
unsigned int limit; /* array[NR_CPUS] 中所允许的最大空闲数 */
struct kmem_list3 lists; /* 将在后面分析*/
unsigned int objsize; /*slab 中的对象大小*/
unsigned int flags; /* cache 标志*/
unsigned int num; /* 每个slab 中的对象数量 */
unsigned int free_limit; /* upper limit of objects in the lists */
spinlock_t spinlock;
unsigned int gfporder; /*2^gfporder 即为cache 中slab 的大小*/
unsigned int gfpflags;
size_t colour; /* 着色机制,后面会详细分析 */
unsigned int colour_off; /* colour offset */
unsigned int colour_next; /* cache colouring */
kmem_cache_t *slabp_cache;/*slab 描述符放在缓存区外面时,此值指向描述符在普通缓存区中的位置*/
unsigned int slab_size; /* 每一个slab 的大小*/
unsigned int dflags; /* dynamic flags */
void (*ctor)(void *, kmem_cache_t *, unsigned long); /* 构造函数*/
void (*dtor)(void *, kmem_cache_t *, unsigned long); /* 析构函数*/
const char *name; /*cache 的名字*/
struct list_head next; /* 下一个cache 用来构成链表*/
/* 5) statistics */
#if STATS
unsigned long num_active;
unsigned long num_allocations;
unsigned long high_mark;
unsigned long grown;
unsigned long reaped;
unsigned long errors;
unsigned long max_freeable;
atomic_t allochit;
atomic_t allocmiss;
atomic_t freehit;
atomic_t freemiss;
#endif
#if DEBUG
int dbghead;
int reallen;
#endif
}
这里值得注意的地方是,与2.4 相比,slab 部份的结构与成员位置发生了很大改变。一般来说经常用的成员放在结构体的前面。后面会解述为什么。