《Linux内核设计与实现》读书笔记之内存管理

1.页

       内核把物理页作为内存管理的基本单位，MMU（内存管理单元）以页为单位来管理系统中的页表，从虚拟内存的角度来看，页就是最小单位。

       内核用struct page结构来标识系统中的每一个物理页，它的定义如下：

       flag域用来存放页的状态（是不是脏的，是不是被锁定在内存中等等）。_count表示这一页被引用了多少次，当次数为0时，表示此页没有被引用，于是在新的分配中就可以使用它。virtual域是页的虚拟地址。

2.获得页

       内核提供了一种请求内核的底层机制，并提供了对它进行访问的几个接口。所有这些接口都以页为单位分配内存，其中最核心的函数是：

       该函数分配2的order次方个连续的物理页，并返回一个指针，该指针指向第一个页的page结构体。gfp_mask是一个标识，它可以分为三类：行为修饰符、区修饰符以及类型。它可取的值如下：

       获得填充为0的页：

     分配一个页，让其填充为0，并返回其逻辑地址。

     底层页的分配方法总结如下：

     

3.kmalloc()与vmalloc()

     kmalloc()函数与用户空间malloc()一族函数非常类似。它是一个简单的接口，分配以字节为单位的内存块。vmalloc()函数的工作方式类似于kmalloc()函数，只不过vmalloc()函数分配的内存是虚拟地址连续的，而物理地址无需连续。这也是用户空间的分配方式：由malloc()函数返回的页在进程的虚拟地址空间内是连续的，但是，这并不保证它们在物理RAM中也连续。而kmalloc()函数则确保分配的内存在物理地址上是连续的（在虚拟地址上自然也是连续的）。

4.slab层

      分配和释放数据结构是所有内核中最普遍的操作之一。为了便于数据的频繁分配和释放，通常实现一个空闲链表。当需要一个新的数据结构的实例时，就从空闲链表分配一个出来。当不在需要某个数据结构的实例时，则将它放入到空闲链表中，而不需释放它。

       这也带来的问题是内核无法全局控制空闲链表。当内核紧缺时，内核无法通知每一个空闲链表，让其收缩缓存的大小以释放一些内存出来。为了弥补这一缺陷，Linux提供了slab层，扮演数据结构缓存层的角色。

        slab层把不同的对象划分为高速缓存组中，其中每个高速缓存都存放不同类型的对象。每种对象类型对应一个高速缓存。例如，一个高速缓存用于存放进程描述符（task_struct结构），而另一个高速缓存存放索引节点对象（struct inode）。

        然后，这些高速缓存又被划分为slab。slab由一个或多个物理上连续的页组成。每一个slab都包含一些对象成员，这里的对象是指被缓存的数据结构。每个缓存都处于三种状态之一：满、部分、空。

        作为一个例子，让我们考察一下inode结构，该结构是次配索引节点在内存中的体现。这些数据结构会频繁地创建和释放。因此，struct inode就由inode_cachep高速缓存进行分配。这种高速缓存由一个或多个slab组成。每个slab包含尽可能多的对象。当内核请求分配一个新的inode结构时，内核就从部分满的slab或空slab中分配一个inode。下图小时了高速缓存、slab以及对象之间的关系。

       每个高速缓存都是用kmem_cache_s结构来标识的。这个结构包含三个链表slabs_full、slabs_partial、slabs_empty，均放在kmem_list3结构内。链表包含了高速缓存中的所有slab。slab描述符struct slab用来描述每个slab：