linux slub参考资料

来源：互联网发布：淘宝客赚钱是真的吗编辑：程序博客网时间：2024/05/01 20:34

对slub感兴趣，搜集下来，供参考

https://www.ibm.com/developerworks/cn/linux/l-cn-slub/

http://blog.csdn.net/vanbreaker/article/details/7694648

slub基于slab分配器算法进行了改进，在linux 2.6.22加入内核，性能上提高了10%-20%，内存节省了50%，因此是更优秀的算法。嵌入式系统中，还有对应的slob分配器，是简化版本的。

下面转的这篇文章的博主有好多篇论述，要仔细看看

转载自http://blog.csdn.net/vanbreaker/article/details/7694648

Slab分配器一直处于内核内存管理的核心地位，尽管如此，它还是拥有自身的缺点，最明显的两点就是复杂性和过多的管理数据造成的内存上的开销。针对这些问题，linux引入了slub分配器，slub分配器保留了slab分配器的所有接口，实际上slub分配器的模型和slab分配的模型是基本一致的，只不过在一些地方进行了精简，这也使得slub分配器工作起来更为游刃有余。两者主要的区别如下：

slab分配器为了增加分配速度，引入了一些管理数组，如slab管理区中的kmem_bufctl数组和紧随本地CPU结构后面的用来跟踪最热空闲对象的数组，这些结构虽然加快了分配对象的速度，但也增加了一定的复杂性，而且随着系统变得庞大，其对内存的开销也越明显。而slub分配器则完全摒弃了这些管理数据，个人觉得这也是slub分配器最精髓的地方，至于slub分配器的具体做法是怎样的，后面再做分析；
slab分配器针对每个缓存，根据slab的状态划分了3个链表--full,partial和free. slub分配器做了简化，去掉了free链表，对于空闲的slab,slub分配器选择直接将其释放；
slub分配器摒弃了slab分配器中的着色概念，在slab分配器中，由于颜色的个数有限，因此着色也无法完全解决slab之间的缓存行冲突问题，考虑到着色造成了内存上的浪费，slub分配器没有引入着色；
在NUMA架构的支持上，slub分配器也较slab分配器做了简化。

下面来看slub分配器涉及到的主要数据结构

缓存描述结构:

[cpp] view plaincopy

struct kmem_cache {
/* Used for retriving partial slabs etc */
unsigned long flags; /* cache属性的描述标识 */
int size; /* 分配给对象的内存大小，可能大于实际对象的大小 */
int objsize; /* 对象的实际大小 */
int offset; /* 存放空闲对象的偏移,以字节为单位 */
struct kmem_cache_order_objects oo;/* oo用来存放分配给slab的页框的阶数(高16位)和
slab中的对象数量(低16位) */
/*
* Avoid an extra cache line for UP, SMP and for the node local to
* struct kmem_cache.
*/
struct kmem_cache_node local_node;/* 本地节点的slab信息 */
/* Allocation and freeing of slabs */
struct kmem_cache_order_objects max;
struct kmem_cache_order_objects min;
gfp_t allocflags; /* 分配时用的GFP标识 */
int refcount; /* 缓存中存在的对象种类数目，因为slub允许缓存复用，
因此一个缓存中可能存在多种对象类型 */
void (*ctor)(void *); /* 创建对象的构造函数 */
int inuse; /* 元数据的偏移 */
int align; /* 对齐值 */
unsigned long min_partial;/* partial slab链表中的最小slab数目 */
const char *name; /* 缓存名 */
struct list_head list; /* 用于将缓存链入slab_caches全局缓存链表 */
#ifdef CONFIG_SLUB_DEBUG
struct kobject kobj; /* For sysfs */
#endif
#ifdef CONFIG_NUMA
/*
* Defragmentation by allocating from a remote node.
*/
int remote_node_defrag_ratio; /* 该值越小，越倾向于从本节点分配对象 */
struct kmem_cache_node *node[MAX_NUMNODES];/* NUMA架构下每个节点对应的slab信息 */
#endif
#ifdef CONFIG_SMP
struct kmem_cache_cpu *cpu_slab[NR_CPUS]; /* SMP系统下每个CPU对应的slab信息 */
#else
struct kmem_cache_cpu cpu_slab; /* 单核系统下CPU对应的slab信息 */
#endif
};

节点的slab信息描述结构：

[cpp] view plaincopy

struct kmem_cache_node {
spinlock_t list_lock； /* Protect partial list and nr_partial */
unsigned long nr_partial; /* partial slab链表中slab的数量 */
struct list_head partial; /* partial slab链表表头*/
#ifdef CONFIG_SLUB_DEBUG
atomic_long_t nr_slabs; /* 节点中的slab数 */
atomic_long_t total_objects; /* 节点中的对象数 */
struct list_head full; /* full slab链表表头 */
#endif
};

本地CPU的slab信息描述结构:

[cpp] view plaincopy

struct kmem_cache_cpu {
void **freelist; /* 指向本地CPU的第一个空闲对象 */
struct page *page; /* 分配给本地CPU的slab的页框 */
int node; /* 页框所处的节点，值为-1时表示DEBUG */
unsigned int offset; /* 空闲对象指针的偏移，以字长为单位 */
unsigned int objsize; /* 对象的大小 */
#ifdef CONFIG_SLUB_STATS
unsigned stat[NR_SLUB_STAT_ITEMS];/*用以记录slab的状态*/
#endif
};

用下图可以描述这些slub分配器的核心数据结构之间的关系

至此已大概介绍了slub分配器的一些概念和涉及到的核心数据结构，具体的实现细节和原理在后面分析各个部分的代码时再做交代！

0 0