我们已经看过了几个例子,发现不管是在低级页分配函数中,还是在kmalloc()中,都用到了分配器标志。现在,我们就深入讨论一下这些标志。
这些标志可以分为三类:行为修饰符、区修饰符及类型。行为修饰符表示内核应当如何分配所需的内存。在某些特定情况下,只能使用某些特定的方法分配内存。例如,中断处理程序就要求内核在分配内存的过程中不能睡眠(因为中断处理程序不能睡眠)。区修饰符表示从哪儿分配内存。前面我们已经看到,内核把物理内存分为多个区,每个区用于不同的目的。区修饰符指明到底从这些区中的哪一个区中进行分配。类型标志组合了行为修饰符和区修饰符,将各种可能用到的组合归纳为不同的类型,简化了修饰符的使用;这样,你只需指定一个类型标志就可以了。GFP_KERNEL就是一种类型标志,内核中进程上下文相关代码可以使用它。我们来看一下这些标志。
1、行为修饰符
所有这些标志,包括行为描述符都是在<linux/gfp.h>中声明的。不过,在<linux/slab.h>中包含有这个头文件,因此,你一般不必直接包含引用它。实际上,一般只使用类型修改符就够了,我们随后会看到这点。因此,最好对每个标志都有所了解。如下:
标志 | 描述 |
__GFP_WAIT | 分配器可以睡眠 |
__GFP_HIGH | 分配器可以访问紧急事件缓冲池 |
__GFP_IO | 分配器可以启动磁盘I/O |
__GFP_FS | 分配器可以启动文件系统I/O |
__GFP_NOWARN | 分配器不打印失败警告 |
__GFP_REPEAT | 分配器在分配失败时重复进行分配,但是这个分配还存在失败的可能 |
__GFP_NOFAIL | 分配器将无限地进行重复分配。分配不能失败 |
__GFP_NORETRY | 分配器在分配失败时绝不会重新分配 |
__GFP_NO_GROW | 有slab层内部使用 |
__GFP_COMP | 添加混合页数据,在bugetlb的代码内部使用 |
可以同时指定这些分配标志。例如:
ptr = kmalloc(size, __GFP_WAIT | __GFP_IO | __GFP_FS);
说明也分配器(最终调用alloc_pages())在分配时可以阻塞、执行I/O,在必要时还可以执行文件系统操作。这就让内核有很大的*度,以便它尽可能找到空闲的内存来满足分配要求。