第四章.内存管理（lab2）(v0.1).PDFVIP

第四章. 内存管理（lab2 ）(v0.1) 4.1. 实验目标 MIT 这次实验的目标，是在他们的JOS 操作系统中实现内存分页管理的功能。 程序的几乎所有代码都集中在pmap.c 文件中。实际上，该实验可以分为2 部分：物理 页面管理和页表管理。前者强调对机器拥有的物理内存的管理，包括建立对应的数据结构、 处理分配和回收动作等；而后者主要是强调利用Intel x86 系列处理器的页式地址管理功能， 完成（虚拟）线性地址到物理地址的转换，包括建立页目录、页表等。 在物理页面管理上，需要完成的函数包括： boot_alloc() page_init() page_alloc() page_free() 在页表管理上，需要完成的函数包括： pgdir_walk() boot_map_segment() page_lookup() page_remove() page_insert() 而在实验过程中，我们发现，为了保证大家自己写的程序段的正确性，该实验安排了一 些检查函数，以进行阶段性地检查，如果这些检查函数发现大家写的程序不符合实验原来的 设想的话（主要是一堆的assert ），就会提前panic 掉。这是一个非常好的方法，即使只写了 一小段程序，都可以让这些检查程序进行一下检查，以确保走的是正确的路。 主要的检查函数有： check_page_alloc(); 该函数检查用于管理物理内存的数据结构（在该实验中是一个双向 链表）是否分配和安排妥当； page_check(); 该函数检查页表管理是否正确； check_boot_pgdir(); 该函数用于检查（虚拟）线性内存地址是否都按照实验设想的那样 被页式地址转换机制映射到了正确的物理内存上。 4.2. 背景知识 通过实验一，我们知道，JOS 的启动过程实际上是先把bootsector 的内容读到 0x7c00 处（注意，bootsector 的代码在编译的时候已经故意地把逻辑地址的首地址定在了0x7c00 上）， bootsector 中的代码开始执行后，会从磁盘上紧接着自己的第2 个扇区开始，一直读8 个扇 区的内容（一共是8 ×512=4KB，ELF 头的大小）到0x10000 （64KB ）的地方，然后，通过 对 ELF 头的解析，得到 kernel 模块编译出来后所占的大小，并将 kernel 读到物理内存 0x100000 （1MB）开始的地方。然后设置好GDT，并调用i386_init()函数，而i386_init()函 数在将自己的BSS 区域清零后，调用cons_init()函数设置好屏幕显示设备为cprintf 的运行做 好准备后就调用 i386_detect_memory(); 函数和 i386_vm_init(); ，这里前者的功能主要是读 CMOS 取得物理内存的实际大小，而后者就是实验2 的主要函数了。当然i386_init()函数最 后会调用monitor(NULL);并进入循环，处理用户通过终端输入的命令。 在调用i386_init()函数以前，内存的layout 可以用图4-1 来表示： Real Mode Boot Sector Bios Data, Setted by ELF header Kernel Code IDT Code Video Ram Bochs 4KB 0 4KB 640KB 1MB End of Physical 0x7C00 0x10000 Program ed