- 内核本身不能像用户空间那样奢侈地使用内存。
- 页:内核把物理页作为内存管理的基本单位。
MMU:内存管理单元,管理内存并把虚拟地址转换为物理地址的硬件。
内核用struct page结构表示系统中的每个物理页。
- 区:由于硬件的限制,内核并不能对所有页一视同仁。内核把页划分为不同的区。Linux必须处理两种由于硬件缺陷而引起的内存寻址问题:
- 一些硬件只能用某些特定的内存地址来执行DMA
- 一些体系结构的内存的物理寻址范围比虚拟地址范围大的多,因此就有一些内存无法永久的映射到内核空间。
Linux主要使用四种区:
- ZONE_DMA:包含的页能用来执行DMA。
- ZONE_DMA32:和ZONE_DMA类似,该区包含的页可以用来执行DMA操作,不同在于,这些页面只能被32位设备访问。
- ZONE_NORMAL:能正常映射的页。
- ZONE_HIGHEM:高端内存,其中的页并不能永久地映射到内核空间。
每个区用struct zone表示。
- 获得页:struct page * alloc_pages(gfp_t gfp_mask, unsigned int order)
- kmalloc:获取字节为单位的内存。
- gfp_mask标志:行为修饰符、区修饰符及类型。
- vmalloc():分配的内存虚拟地址是连续的,而物理地址则无需连续。kmalloc确保页在物理地址上是连续的(虚拟地址自然也是连续的)。
- slab层
- 为了便于数据的频繁分配和回收,编程人员(SAS驱动)常常会用到空闲链表,包含可供使用、已经分配好的数据结构块。
- 高速缓存、slab及对象之间的关系(图12-1)
- 高速缓存使用kmem_cache结构表示,slab描述符用struct slab描述。
slab分配器的接口
一个新的高速缓存通过以下函数创建:struct kmem_cache * kmem_cache_create(const char *name, size_t size, size_t align, unsigned long flags, void (*ctor)(void *));
获取对象:void * kmem_cache_alloc(struct kmem_cache *cachep, gfp_t flag)
- 在栈上静态分配
内核栈小且固定。每个进程的内核栈大小依赖体系结构,通常有两页,8K或者16K。
内核函数,必须尽量节省栈资源,只需要在具体的函数中让所有局部变量(自动变量)所占空间之和不要超过几百字节。在栈上进行大量的静态分配(比如分配大型数组或大型结构体)是很危险的。因此,进行动态分配是一种明智的选择。
- 高端内存的映射
- 每个CPU的分配
编译时的每个CPU数据 运行 时的每个CPU数据
- 分配函数的选择