第二版linux操作系统原理与应用chp4.ppt

第四章 内存管理 Linux的内存管理 虚拟内存的基本思想：在计算机中运行的程序，其代码、数据和堆栈的总量可以超过实际内存的大小，操作系统只将当前使用的程序块保留在内存中，其余的程序块则保留在磁盘上。必要时，操作系统负责在磁盘和内存之间交换程序块。 虚拟内存－共4G字节，分为内核空间（最高的1G字节）和用户空间（较低的3G字节）两部分，每个进程最大拥有3G字节私有虚存空间 地址转换－通过页表把虚存空间的一个地址转换为物理空间中的实际地址。 内核空间由所有进程共享，其中存放的是内核代码和数据，即“内核映象” 进程的用户空间中存放的是用户程序的代码和数据 内核空间映射到物理内存总是从最低地址（0开始，使之在内核空间与物理内存之间建立简单的线性映射关系。 Linux虚拟内存的实现需要多种机制的支持 地址映射机制 请页机制 内存分配和回收机制 交换机制 缓存和刷新机制 每个进程经编译、链接后形成的二进制映像文件有一个代码段和数据段 进程运行时须有独占的堆栈空间 Linux把进程的用户空间划分为一个个区间，便于管理 一个进程的用户地址空间主要由mm_struct结构和vm_area_structs结构来描述。 mm_struct结构对进程整个用户空间进行描述 vm_area_structs结构对用户空间中各个区间(简称虚存区)进行描述 进程控制块是内核中的核心数据结构。 在进程的task_struct结构中包含一个mm域，它是指向mm_struct结构的指针。 而进程的mm_struct结构则包含进程的可执行映像信息以及进程的页目录指针pgd等。 该结构还包含有指向vm_area_struct结构的几个指针，每个vm_area_struct代表进程的一个虚拟地址区间。 fork()系统调用在创建新进程时也为该进程创建完整的用户空间 具体而言，是通过拷贝或共享父进程的用户空间来实现的，即内核调用copy_mm()函数，为新进程建立所有页表和mm_struct结构 Linux利用“写时复制”技术来快速创建进程 执行一个进程时，其可执行映像必须装入进程的用户地址空间 虚存映射：即把文件从磁盘映射到进程的用户空间，对文件的访问转化为对虚存区的访问 有共享的、私有的虚存映射和匿名映射 当可执行映像映射到进程的用户空间时，将产生一组vm_area_struct结构来描述各虚拟区间的起始点和终止点 进程运行时，CPU访问的是用户空间的虚地址 Linux仅把当前要使用的少量页面装入内存，需要时再通过请页机制将特定的页面调入内存 当要访问的虚页不在内存时，产生一个页故障并报告故障原因 请求调页：把页面的分配推迟到进程要访问的页不在物理内存时为止，由此引起一个缺页异常 引入原因：进程开始运行时并不访问其地址空间中的全部地址 程序的局部性原理保证请求调页从总体上使系统有更大的吞吐量。 写时复制技术可以推迟、甚至免除数据的拷贝 进程创建之初内核并不复制整个进程空间，而是使父子进程以只读方式共享同一个拷贝 数据只有在需要写入时才会被复制，从而使各个进程拥有各自的拷贝 在Linux中，CPU所访问的地址是虚拟地址空间的虚地址； 管理内存页面时，先在虚存空间中分配一个虚存区间，然后才根据需要为此区间分配相应的物理页面并建立起映射 Linux采用著名的伙伴（Buddy）算法来解决外碎片问题 Linux的伙伴算法把所有的空闲页面分为10个块链表，每个链表中的一个块含有2的幂次个页面(叫做“页块”或简称“块”) 大小相同、物理地址连续的两个页块被称为“伙伴” 工作原理：首先在大小满足要求的块链表中查找是否有空闲块，若有则直接分配，否则在更大的块中查找。其逆过程就是块的释放，此时会把满足伙伴关系的块合并 函数__get_free_pages用于分配物理页块 该函数所做的工作如下： 检查所请求的页块大小是否能够被满足 检查系统中空闲物理页的总数是否已低于允许的下界 正常分配。从free_area数组的第order项开始，这是一个mem_map_t链表。 换页。通过下列语句调用函数try_to_free_pages()，启动换页进程 1)??如果该链表中有满足要求的页块，则： 将其从链表中摘下；将free_area数组的位图中该页块所对应的位取反，表示页块已用；修改全局变量nr_free_pages（减去分配出去的页数）；根据该页块在mem_map数组中的位置，算出其起始物理地址，返回。 2) 如果该链表中没有满足要求的页块，则在free_area数组中顺序向上查找。其结果有二： a)?整个free_area数组中都没有满足要求的页块，此次无法分配，返回。 b