内存管理之linux内存管理

1张惠娟副教授[e-mail]内存管理2内容•i386存储管理单元•Linux存储管理思想•物理内存空间管理•进程虚拟空间管理•请页机制•交换空间管理•缓冲机制3MMU分段机制i386的存储管理单元4i386的存储管理单元MMUMMU由一个或一组芯片组成，其功能是把虚地址映射为物理地址，即地址转换。80386以两级方式实现地址转换：第一级使用段机制，第二级使用分页机制。在80386上，分页机制是支持虚拟存储器的最佳选择。段机制使用可变大小的块，使段机制较适合处理复杂系统的逻辑分区。5i386的存储管理单元6分段机制段描述符描述了段的基地址、界限及保护属性，是一个8字节的数据结构，存放在段描述符表中。i386的存储管理单元78上图说明从图中可以看出，一个段描述符指出了段的32位基地址和20位段界限（即段长）。第6个字节的G位是粒度位，当G=0时，段长的表示格式为字节长度，即一个段最长可达1M字节。当G=1时，段长表示段以4K字节为一页的页数目，即一个段最长可达1M*4K=4G字节。D表示缺省操作数大小，D=0，操作数为16位，如果D=1，操作数为32位。i386的存储管理单元9描述符表在分段机制中，系统维护三种段表，称为描述符表，即全局描述符表、局部描述符表和中断描述符表。描述符表本身占据的字节数为8的倍数，空间大小在8个字节（至少含一个描述符）到64K字节（至多含8K个描述符）之间。i386的存储管理单元10全局描述符表（GDT）全局描述符表包含着系统中所有任务都可用的那些描述符。局部描述符表（LDT）局部描述符表LDT包含了与一个给定任务有关的描述符，每一个任务都有一个各自LDT。i386的存储管理单元11选择器实模式下，段寄存器存储的是真实段地址保护模式下，16位段寄存器无法访问32位段地址，因此，被称为选择器，即段寄存器是用来选择描述符的。i386的存储管理单元12索引TI特权级别15321013位索引段选择器结构13上图说明：TI是选择域，TI＝1，从局部描述符表中选择相应描述符，TI＝0，从全局描述符表中选择描述符。索引域给出该选择符在GDT或LDT中的入口偏移量，选择符高14位将虚拟地址空间分为16K个独立段，其中8K个全局段和8K个局部段。第1、0位是特权级，表示选择器特权级，称为请求者特权级RPL。只有请求者特权级RPL高于或等于相应描述符特权级DPL，描述符才能被存取，可以实现一定程度的保护。i386的存储管理单元14描述符寄存器全局描述符表寄存器GDTR是一个48位的寄存器。低16位保持全局描述符表GDT大小，最大为64K字节，高32位保持GDT的段基地址。局部描述符表寄存器LDTR可见部分（即程序员可以操作的部分）只有16位，不可见部分有48位，放置局部描述符表的段基地址和界限。i386的存储管理单元15分段方式下，寻址过程如下：在段选择器中装入16位数，同时给出32位地址偏移量（比如在ESI、EDI中等等）。根据段选择器中的索引值、TI及RPL值，再根据相应描述符表寄存器中的段基地址和段界限，进行一系列合法性检查（如特权级检查、界限检查）若无异常，取出相应描述符放入段描述符高速缓冲寄存器中。将描述符中的32位段基地址和放在ESI、EDI等中的32位有效地址相加，就形成了32位物理地址。i386的存储管理单元16i386的存储管理单元17linux分段机制linux分页机制Linux内存管理实现Linux的存储管理思想18Linux分段机制linux只定义了四种段寄存器的取值内核代码段0x10内核数据段0x18用户代码段0x23用户数据段0x28Linux的存储管理思想19Linux的存储管理思想20将上表和段选择寄存器对比可知：表明：使用的都是GDT表运行级别分为两级：0和3Linux的存储管理思想21GDT初始化信息在arch/i386/kernel/head.S中Linux的存储管理思想22对照段描述符的含义，可以得出结论：四个段描述符内容下列内容基本相同结论：所有段都是从0地址开始的4G虚空间，虚拟地址到线性地址的映射是取值不变。Linux的存储管理思想23有区别的地方仅仅是下列部分结论：经过如上段映射，之后需要开始进行线性地址映射。Linux的存储管理思想24Linux分页机制控制寄存器CR0、CR3用CR0的PG位用来控制分页机制：1，启用分页；0，禁止分页。CR3用于指示页目录表的起始物理地址。Linux的存储管理思想25•两级页表结构Linux的存储管理思想26页目录项页目录项表最多可包含1024个页目录项，每个页目录项为4字节，结构如图所示。Linux的存储管理思想27Linux的存储管理思想上图说明：第0位是存在位，P＝1，表示页表地址指向的页在内存中，如果P＝0，表示不在内存中。第1位是读/写位第2位是用户/管理员位，这两位为页目录项提供保护属性。第5位是访问位，当对页目录项进行访问时，A位＝1。第9－11位由操作系统专用。28页面项每个页目录项指向一个页表，页表最多含有1024个页面项，每项4个字节，包含页面的起始地址和有关该页面的信息。其中，第6位是页面项独有的，当对涉及的页面进行写操作时，D位被置1。Linux的存储管理思想29总之，存储器只有一个页目录，有1024个页目录项，每个页目录项又含有1024个页面项，因此，存储器一共可以分成1024×1024＝1M个页面。由于每个页面为4K字节，所以，存储器的大小正好（最多）为4GB。Linux的存储管理思想30页面高速缓冲寄存器在分页情况下，每次存储器访问都要存取两级页表，大大降低了访问速度。为了提高速度，在386中设置了一个最近存取页面的高速缓冲寄存器，自动保持32项处理器最近使用的页面地址。Linux的存储管理思想31Linux的存储管理思想32linux三级分页结构Linux的存储管理思想33地址映射Linux的存储管理思想34交换控制模块（swap）系统调用内存映射模块（mmap）内存管理模块（core）结构特定模块MMULinux的存储管理思想35说明：上图是虚拟内存管理的程序模块，实现代码大部分放在/mm目录下。内存映射模块（mmap）负责把磁盘文件或交换空间文件的逻辑地址映射到虚拟地址，以及把虚拟地址映射到物理地址。Linux的存储管理思想36交换模块（swap）负责控制内存内容的换入和换出。采用交换机制，从主存中淘汰最近没被访问的逻辑页，保存近来访问过的逻辑页。核心内存管理模块（core）负责核心内存管理功能，如页的分配、回收和请求调页处理等功能，这些功能将别的内核子系统（如文件系统）所使用。Linux的存储管理思想37结构特定的模块负责给各种硬件平台提供通用接口，主要完成主存初始化工作及对页面故障的处理。这个模块是实现虚拟内存的物理基础。Linux的存储管理思想38数据结构基于Buddy算法的内存页面管理基于slab算法的内存分区管理物理内存空间管理39物理内存空间管理数据结构分页管理结构设置了一个mem_map[]数组管理内存页面page,其在系统初始化时由free_area_init()函数创建。数组元素是一个个page结构体，每个page结构体对应一个物理页面。page结构定义为mem_map_t类型，定义在/include/linux/mm.h中：40typedefstructpage{structpage*next;structpage*prev;structinode*inode;unsignedlongoffset;structpage*next_hash;atomic_tcount;unsignedflags;unsigneddirty,age;structwait_queue*wait;structbuffer_head*buffers;unsignedlongswap_unlock_entry;unsignedlongmap_nr;}mem_map_t;41说明：Count共享该页面的进程计数Age标志页面的“年龄”Dirty表示该页面是否被修改过prev和next：把page结构体链接成一个双向循环链表prev_hash和next_hash把有关page结构体连成哈希表物理内存空间管理42inode和offset：内核以节点和其上的偏移为键值，将页面组织成哈希表。Wait等待该页资源的进程等待队列指针Flag页面标志map_nr该页面page结构体在mem_map[]数组中的下标值，也就是物理页面的页号。物理内存空间管理43Buddy算法Linux对空闲内存空间管理采用Buddy算法。Buddy算法把内存中所有页面按照2n划分，其中n=0~5，每个内存空间按1个页面、2个页面、4个页面、8个页面、16个页面、32个页面进行六次划分。物理内存空间管理44划分后形成了大小不等的存储块，称为页面块，简称页块。包含1个页面的页块称为1页块，包含2个页面的称为2页块，依此类推。每种页块按前后顺序两两结合成一对Buddy“伙伴”系统按照Buddy关系把具有相同大小的空闲页面块组成页块组，即1页块组、2页块组……32页块组。每个页块组用一个双向循环链表进行管理，共有６个链表，分别为1、2、4、8、16、32页块链表。分别挂到free_area[]数组上。物理内存空间管理45位图数组标记内存页面使用情况，第0组每一位表示单个页面使用情况，1表示使用，0表示空闲，第2组每一位表示比邻的两个页面的使用情况，依次类推。默认为10个数组。当一对Buddy的两个页面块中有一个是空闲的，而另一个全部或部分被占用时，该位置1。两个页面块都是空闲，或都被全部或部分占用时，对应位置0。物理内存空间管理46内存分配和释放过程内存分配时，系统按照Buddy算法，根据请求的页面数在free_area[]对应的空闲页块组中搜索。若请求页面数不是2的整数次幂，则按照稍大于请求数的2的整数次幂的值搜索相应的页面块组。物理内存空间管理47当相应页块组中没有可使用的空闲页面块时就查询更大一些的页块组，在找到可用的空闲页面块后，分配所需页面。当某一空闲页面块被分配后，若仍有剩余的空闲页面，则根据剩余页面的大小把它们加入到相应页块组中。物理内存空间管理48内存页面释放时，系统将其做为空闲页面看待。检查是否存在与这些页面相邻的其它空闲页块，若存在，则合为一个连续的空闲区按Buddy算法重新分组。物理内存空间管理49物理内存空间管理50物理内存空间管理51物理内存空间管理52Slab算法采用buddy算法，解决了外碎片问题，这种方法适合大块内存请求，不适合小内存区请求。如：几十个或者几百个字节。Linux2.0采用传统内存分区算法，按几何分布提供内存区大小，内存区以2的幂次方为单位。虽然减少了内碎片，但没有显著提高系统效率。物理内存空间管理53Linux2.4采用了slab分配器算法该算法比传统的分配器算法有更好性能和内存利用率，最早在solaris2.4上使用。物理内存空间管理54Slab分配器思想小对象的申请和释放通过slab分配器来管理。slab分配器有一组高速缓存，每个高速缓存保存同一种对象类型，如i节点缓存、PCB缓存等。内核从它们各自的缓存种分配和释放对象。每种对象的缓存区由一连串slab构成，每个slab由一个或者多个连续的物理页面组成。这些页面种包含了已分配的缓存对象，也包含了空闲对象。物理内存空间管理55cacheSlabPCB缓存Slabi节点缓存…………PCB缓存…i节点缓存…Slab分配器的组成56数据结构高速缓存Structkmem_cache_s高速缓存种的每个slab数据结构Structkmem_slab_s物理内存空间管理57C_free,c_nextpC_