Linux 内存管理

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和对象池。