linux内存管理教程分析.pptVIP

Linux Memory Management i386 MMU 进程的虚拟空间 内存的加锁和保护 物理空间管理 空闲物理内存管理 内核态实存的申请与释放 内核态虚存的申请与释放 页交换进程和页面换出 缺页中断和页面换入 Cache i386 MMU 段选择子（selector） 段描述符格式 G为段的粒度属性 G=0时，段的大小以字节为单位， G=1时，段的大小以4K字节为单位。 GDT入口分配 LDT入口分配 控制寄存器 CR3指示页目录表的起始地址 CR0寄存器的PE位(位0)用于控制段机制。PE=1则处理器工作于保护模式下；PE=0则处理器工作于实模式下，等同于8086 CR0的PG位(位31)用于控制分页机制。PG=1则启用分页机制，32位线性地址通过页表转换为物理地址；PG=0则禁止分页机制，32位线性地址直接寻址物理地址 当PE=1且PG=0时，处理器工作于保护模式下，但禁止分页机制。此时没有内存和磁盘之间的页面交换，也就不存在虚拟内存 当PE=1且PG=1时，处理器工作于保护模式下，但启用分页机制。此时有内存和磁盘之间的页面交换，磁盘起到虚拟内存的作用 CR2指示引起缺页中断的地址 32位线性地址 Linux分页管理 页目录项和页表项 PCB对存储空间的管理 虚存段vma 一个进程的虚拟空间 进程的虚拟空间分布 进程的虚拟空间分布 AVL树（Adelson-Velskii and Landis） 内存的加锁和保护 mm/mprotect.c，mm/mlock.c 对整个虚存段加锁或保护 对虚存段前部加锁或保护 对虚存段后部加锁或保护 对虚存段中部加锁或保护 初始化后物理存储分布 物理页面 空闲物理内存管理 bitmap表 在物理内存低端，紧跟mem_map表的bitmap表以位示图方式记录了所有物理内存的空闲状况。与mem_map一样，bitmap在系统初始化时由free_area_init()函数创建(mm/page_alloc.c)。 与一般性位图不同，bitmap表分割成NR_MEM_LISTS组(缺省值6)。 buddy算法 buddy算法分配空闲块，由_get_free_pages()和free_pages()函数执行。change_bit()函数根据bitmap的对应组，判断回收块的前后邻居是否也为空。 空闲物理内存管理 LINUX用free_area数组记录空闲的物理页帧 struct free_area_struct { struct page *next; /* 此结构的next,prev指针与struct page匹配 */ struct page *prev; unsigned int * map; /* 指向bitmap */ }; static struct free_area_struct free_area[NR_MEM_LISTS]; 空闲物理内存管理 内核态实存的申请与释放 kmalloc()和kfree() kmalloc_cache 在新版本里已经被SLAB替换 Slab: memory object(Solaris2.4) SLAB可供用户使用的函数有： kmem_cache_create(), kmem_cache_alloc(), kmalloc(), kmem_cache_free, kfree()/kfree_s(), kmem_cache_shrink(), kmem_cache_reap() 在新版本里已经被SLAB替换 内核态虚存的申请与释放 可分配的虚拟空间在3G+high_memory+HOLE_8M以上高端，由vmlist链表管理 申请与释放(mm/vmalloc.c) vmalloc()和vfree() vmlist链表的节点类型(include/linux/vmalloc.h) struct vm_struct { unsigned long flags; /* 虚拟内存块的占用标志 */ void * addr; /* 虚拟内存块的起始地址 */ unsigned long size; /* 虚拟内存块的长度 */ struct vm_struct * next; /* 下一个虚拟内存块 */ }; static struct vm_struct * vmlist = NULL; 3G+high_memory+HOLE_8M以上高端空间 页交换进程和页面换出 内核态交换进程kswapd 一个是内核线程（kernel thread）：没有虚拟存储空间，运行在内核态，直接使用物理地址空间