1. 为何会有slab?
在slab分配器中,每一类objects拥有一个"cache"(比如inode_cache, dentry_cache)。之所以叫做"cache"(不同于硬件上的cpu cache),是因为每分配一个object,都从包含若干空闲的同类objects的区域获取,释放时也直接回到这个区域,这样可以缓存和复用相同的objects,加快分配和释放的速度。
object从"cache"获取内存,那"cache"的内存又是从哪里来的呢?还是得从buddy分配器来。slab层直接面向程序的分配需求,相当于是前端(避免内部碎片),而buddy系统则成为slab分配器的后端(避免外部碎片)。
由于"cache"的内存是从buddy系统获得的,因此在物理上是连续的。如果一个"cache"中objects的数目较多,那么"cache"的体积较大,需要占用的连续物理内存较多。当object的数量增加或减少时,也不利于动态调整。因此,一个"cache"分成了若干个slabs,同一"cache"中的slabs都存储相同的objects。Slab分为两类:通用slab和对象池。