操作系统lab2实验报告解析.docxVIP

HUNAN UNIVERSITY 操作系统 实验报告 1 操作系统实验报告 2 操作系统实验报告 目录 一、内容 3 二、目的 3 三、实验设计思想和练习题 3 练习 0：填写已有实验 3 练习 1：实现 first-fit 连续物理内存分配算法(需要编程) 3 练习 2：实现寻找虚拟地址对应的页表项(需要编程) 8 练习 3：释放某虚地址所在的页并取消对应二级页表项的映射(需要编程) 11 运行结果 13 四、实验体会 13 3 操作系统实验报告 一、内容 本次实验包含三个部分。首先了解如何发现系统中的物理内存； 然后了解如何建立对物理内存的初步管理， 即了解连续物理内存管理；最后了解页表相关的操作，即如何建立页表来实现虚拟内存到物理内存之间的 映射，对段页式内存管理机制有一个比较全面的了解。 二、目的 1.理解基于段页式内存地址的转换机制； 2.理解页表的建立和使用方法； 3.理解物理内存的管理方法。 三、实验设计思想和练习题 练习 0：填写已有实验 使用 eclipse 中的 diff/merge 工具将实验 1 的代码填入本实验中代码中有“LAB1”的注释相应部分。 练习 1：实现 first-fit 连续物理内存分配算法(需要编程) 在实现 first fit 内存分配算法的回收函数时，要考虑地址连续的空闲块之间的合并操作。提示:在建立 空闲页块链表时，需要按照空闲页块起始地址来排序，形成一个有序的链表。可能会修改 default_pmm.c 中的 default_init，default_init_memmap，default_alloc_pages， default_free_pages 等相关函数。 请仔细查看和理解 default_pmm.c 中的注释。 请在实验报告中简要说明你的设计实现过程。请回答如下问题： 你的 first fit 算法是否有进一步的改进空间。 解答： 分析思路： (1) 数据结构： A．每个物理页利用一个 Page 结构体表示，查看 kern/mm/memlayout.h 包括： 4 操作系统实验报告 ref：引用计数，即映射此物理页的虚拟页个数； flags：描述物理页属性， bit 0 设置为 1，即为“被保留”项， bit 1 设置为 1，即为空闲项； property：记录某连续内存块的大小，即地址连续的空闲页的个数； page_link：将多个连续内存链接在一起的双向链表指针， 即构建双向链接各个 Page 结构的双向链表。 B ． 所有 的连续 内存 空闲块可用一个双 向链表管理 ，利用一个 free_area_t 结构体表示 ，查看 kern/mm/memlayout.h 包括： list_entry：双向链表指针，指向空闲的物理页； nr_free：记录当前空闲页的个数的无符号整形变量。 (2) 连续物理内存分配思路： 物理内存页管理器顺着双向链表进行搜索空闲内存区域，直到找到一个足够大的空闲区域，这是一种 速度很快的算法，因为它尽可能少地搜索链表。如果空闲区域的大小和申请分配的大小正好一样，则把这 个空闲区域分配出去，成功返回;否则将该空闲区分为两部分，一部分区域与申请分配的大小相等，把它 分配出去， 剩下的一部分区域形成新的空闲区。其释放内存的设计思路是把这块区域重新放回双向链表中。 (3) 具体设计： bootloader 进行探测物理格局后，利用 kern_entry()函数设置堆栈，并临时建立一个段映射关系， 调用 kern_init()函数输出检查后， pmm_init()函数完成物理内存的管理，假定 page_init()函数是按照 地址从小到大的顺序传递连续内存空闲块，根据 page_init()函数中传递的参数(某个连续的空闲块的起 始 页 ， 页 个 数 ) ， default_init_memmap()来 建 立 一 个 连 续 内 存 空 闲 块 的 双 向 链 表 ， 链 表 头 设 free_area.free_list，链表项设 Page 的 base-page_link。 5 操作系统实验报告 代码分析： (1) default_init_memmap ：用于构建空闲页链表； A．步骤： (1)初始化每一个空闲页，注意使用头插法是因为地址是从低到高地址增长； (2)计算空闲页的总数。 B．具体实现： (2) default_alloc_pages ：用于为进程分配空闲页； A．步骤： (1)从空闲链表表头开始查找最小的地址，寻找足够大的空闲块； (2)如果找到，获得指向分配的页，重新设置标志位，从空闲链表中删除此页； (3)判断空闲块大小是否合适； (4)如果合