Linux内存管理详解1.pptVIP

Confidential Confidential Linux Memory Manager Actions Microelectronics Co., Ltd. 柯锦玲 2009-10-21 Agenda Linux对外提供的内存管理接口 linux 内存镜像图 3 1 3 2 3 4 Linux 内存管理算法介绍 3 3 Linux如何防止内存碎片 Linux Image 蓝色字体部分 可用空间 Linux 如何防止内存碎片 内存碎片 内部碎片: 系统为了满足一小段内存区（连续）的需要，不得不分配了一大区域连续内存给它，从而造成了空间浪费 外部碎片 系统虽有足够的内存，但却是分散的碎片，无法满足对大块“连续内存”的需求 Linux 如何防止内存碎片 linux减少外部碎片 伙伴系统(buddy算法)把内存块按大小分组管理，一定程度上减轻了外部碎片的危害，因为页框分 配不在盲目，而是按照大小依次有序进行，不过伙伴关系只是减轻了外部碎片，但并未彻底消除 ,但是伙伴系统同时又带来很多的内部碎片 linux减少外部碎片 SLAB,SLUB,SLOB分配器使得一个页面内众多小块内存可独立被分配使用，避免了内部分片，节约了空闲内存 Linux 如何防止内存碎片 linux 内存管理层次关系图1 Linux 如何防止内存碎片 linux 内存管理层次关系图2 Linux 内存管理算法介绍 Buddy System算法原理 Buddy System是一种经典的内存管理算法。在Unix和Linux操作系统中都有用到。其作用是减少存储空间中的空洞、减少碎片、增加利用率。避免外碎片的方法有两种： a.利用分页单元把一组非连续的空闲页框映射到连续的线性地址区间。 b.开发适当的技术来记录现存的空闲连续页框块的情况，以尽量避免为满足对小块的请求而把大块的空闲块进行分割。 基于下面三种原因，内核选择第二种避免方法： a.在某些情况下，连续的页框确实必要。 b.即使连续页框的分配不是很必要，它在保持内核页表不变方面所起的作用也是不容忽视的。假如修改页表，则导致平均访存次数增加，从而频繁刷新TLB。 c.通过4M的页可以访问大块连续的物理内存，相对于4K页的使用，TLB未命中率降低，加快平均访存速度。 buddy算法将所有空闲页框分组为11个块链表，每个块链表分别包含1,2,4,8,16,32,64,128,256,512,1024个连续的页框，每个块的第一个页框的物理地址是该块大小的整数倍。如，大小为16个页框的块，其起始地址是16*2^12的倍数。 例，假设要请求一个128个页框的块，算法先检查128个页框的链表是否有空闲块，如果没有则查256个页框的链 表，有则将256个页框的块分裂两份，一份使用，一份插入128个页框的链表。如果还没有，就查512个页框的链表，有的话就分裂为 128，128，256，一个128使用，剩余两个插入对应链表。如果在512还没查到，则返回出错信号。 回收过程相反 static inline struct page *alloc_pages(gfp_t gfp_mask, unsigned int order) void __free_pages(struct page *page, unsigned int order) 分配内存的单位为页面数,分配时候传入order值, order 为0 ,1,2,..,n 分别分配1,2,4,2^n个页面 伙伴系统(Buddy算法)分配的页面物理上是连续的,因此使用伙伴系统分配的内存大小最大为2^10 * PAGESIZE = 4K * 4K = 4M unsigned long __get_free_pages(gfp_t gfp_mask, unsigned int order) void free_pages(unsigned long addr, unsigned int order) Buddy算法虽然能很好的减少外部碎片的产生,但是他却可用导致很多的内部碎片 slab/slob/slub的作用: 以页为最小单位分配内存对于内核管理系统物理内存来说的确比较方便，但内核自身最常使用 的内存却往往是很小（远远小于一页）的内存块——比如存放文件描述符、进程描述符、虚拟内存区域描述符等行为所需的内存都不足一页。这些用来存放描述符的 内存相比页面而言，就好比是面包屑与面包。一个整页中可以聚集多个这种这些小块内存；而且这些小块内存块也和面包屑一样频繁地生成/销毁。 为了满足内核对这种小内存块的需要，Linux系统采用了一种被称为slab分配器的技术。Slab分配器的实现 相当复杂，但原理不难，其核心思想就是“存储池”的运用。内存片段(小块内存)被看作对