. slab 分配器主要结.docVIP

Linux slab 分配器使用了这种思想和其他一些思想来构建一个在空间和时间上都具有高效性的内存分配器。 图 1 给出了 slab 结构的高层组织结构。在最高层是 cache_chain，这是一个 slab 缓存的链接列表。这对于 best-fit 算法非常有用，可以用来查找最适合所需要的分配大小的缓存（遍历列表）。cache_chain 的每个元素都是一个 kmem_cache 结构的引用（称为一个 cache）。它定义了一个要管理的给定大小的对象池。图 1. slab 分配器的主要结构 高速缓存 linux中是通过高速缓存数据结构来管理相同大小或者说是相同对象的。比如所有dentry的对象都是在dentry_cache中管理。 高速缓存的数据结构是struct kmem_cache_s。它由以下几部分组成： 1. 三个不同类型的slab组成的链表 分别代表没有空闲，部分空闲和全部空闲的slab。当请求一个对象时，会先从slabs_partial中的slab中分配对象，如果slabs_partial为空，就去slabs_free中去找(然后将这个slab放到slabs_partial中)。 ?slab分配器的基本观点 * slab分配器把内存区看作对象(object)(一个物理页可以分配给多个对象)，把包含高速缓存的主内存区划分为多个slab； * slab分配器把对象按照类型分组放进高速缓存，每个高速缓存都是同种类型对象的一种“储备”； * 每个slab由一个或多个连续的页框组成，这些页框中包含已分配的对象，也包含空闲的对象； * slab分配器通过伙伴系统分配页框。 二、对象缓存 Linux内核已经采用了伙伴系统（Buddy System）管理物理内存，它采用页框作为基本内存区，适合于对大块内存的请求。slab分配器直接工作于伙伴系统之上，把内存区看作对象（object），并把对象分组放进高速缓存。每种缓冲区由多个slab组成，每个slab就是一组连续的物理内存页框，被划分成了固定数目的对象。根据对象大小的不同，缺省情况下一个slab最多可以由 1024 个物理内存页框构成。出于对齐等其它方面的要求，slab中分配给对象的内存可能大于用户要求的对象实际大小，这会造成一定的内存浪费。 由于内核对象在使用前和释放后可能需要做某些特殊处理，缓冲区拥有自己的“构造函数（constructor）”和“析构函数（destructor）”，类似于C++等面向对象编程语言中的概念（不过最新版本的slab分配器取消了析构函数）。创建新slab时内核调用构造函数初始化每个对象，释放 slab 时则调用析构函数。这就是内核数据结构被称为对象的原因。 SLAB 分配器介绍 多年以来，Linux 内核使用一种称为 SLAB 的内核对象缓冲区分配器。SLAB 分配器源于 Solaris 2.4 的分配算法，工作于物理内存页框分配器之上，管理特定大小对象的缓存，进行快速而高效的内存分配。 SLAB 分配器为每种使用的内核对象建立单独的缓冲区。Linux 内核已经采用了伙伴系统（Buddy System）管理物理内存页框，因此 SLAB 分配器直接工作于伙伴系统之上。每种缓冲区由多个 slab 组成，每个 slab就是一组连续的物理内存页框，被划分成了固定数目的对象。根据对象大小的不同，缺省情况下一个 slab 最多可以由 1024 个物理内存页框构成。出于对齐等其它方面的要求，slab 中分配给对象的内存可能大于用户要求的对象实际大小，这会造成一定的内存浪费。 由于内核对象在使用前和释放后可能需要做某些特殊处理，缓冲区拥有自己的“构造函数（constructor）”和“析构函数（destructor）”，类似于C++ 等面向对象编程语言中的概念（不过最新版本的 SLAB 分配器取消了析构函数）。创建新 slab 时内核调用构造函数初始化每个对象，释放 slab 时则调用析构函数。这就是内核数据结构被称为对象的原因。 内核使用 kmem_cache 数据结构管理缓冲区。由于 kmem_cache 自身也是一种内核对象，所以需要一个专门的缓冲区。所有缓冲区的 kmem_cache 控制结构被组织成以 cache_chain 为队列头的一个双向循环队列，同时 cache_cache 全局变量指向kmem_cache 对象缓冲区的 kmem_cache 对象。每个 slab 都需要一个类型为 struct slab 的描述符数据结构管理其状态，同时还需要一个 kmem_bufctl_t（被定义为无符号整数）的结构数组来管理空闲对象。如果对象不超过 1/8 个物理内存页框的大小，那么这些 slab 管理结构直接存放在 slab 的内部，位于分配给