《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：

版权声明：本文博主原创文章，博客，未经同意不得转载。