哈工大《操作系统》实验6要领.docVIP

2014级本科《操作系统》实验报告（实验6） 学生姓名 曾帅143710412 院系 软件学院 任课教师 范国祥 实验TA XXX 实验地点 软件学院三楼实验室 实验时间 2016年06月16日 星期四3学时 实验目的： 深入理解操作系统的段、页式内存管理，深入理解段表、页表、逻辑地址、线性地址、物理地址等概念； 深入理解操作系统的内存管理。。 输入命令“c”，continue程序的运行，Bochs一如既往地启动了Linux 0.11。在Linux 0.11下输入（或拷入）test.c，编译为test，运行之，打印如下信息： 当test运行的时候，在命令行窗口按“ctrl+c”，Bochs会暂停运行，进入调试状态。绝大多数情况下都会停在test内，显示类似如下信息： 使用命令“u /7”，显示从当前位置开始7条指令的反汇编代码，如下： 用“sreg”命令： 可以看到ldtr的值是0x0068=0000000001101000（二进制），表示LDT表存放在GDT表的1101(二进制)=13（十进制）号位置。而GDT的位置已经由gdtr明确给出，在物理地址的0x00005cc8。用“xp /32w 0x00005cb8”查看从该地址开始，32个字的内容，即GDT表的前16项，如下： GDT表中的每一项占64位（8个字节），所以我们要查找的项的地址是“0x00005cc8 + 13 * 8”。“xp /2w 0x00005cb8 + 13 * 8”，得到： sreg输出中，ldtr所在行里，dl和dh的值一致， “0x52d00068 0x000082fd”将其中的加粗数字组合为“0x00fd52d0”，这就是LDT表的物理地址。“xp /8w 0x00f52d0”，得到： IA-32下，页目录表的位置由CR3寄存器指引。“creg”命令可以看到： 说明页目录表的基址为0。看看其内容，“xp /68w 0”： 其中第65个页目录项就是我们要找的内容，用“xp /w 0+64*4”查看： 从该位置开始查找3号页表项，得到（xp /w 0x00fa7000+3*4）： 其中067是属性，显然P=1， 线性地址0应的物理页框号为0x00fa6，和页内偏移0x004接到一起，得到0x00fa6004，这就是变量i的物理地址。 这个数值确实是test.c中i的初值。 现在，通过直接修改内存来改变i的值为0，命令是： setpmem 0x00fa6004 4 0，表示从0x00fa6004地址开始的4个字节都设为0。然后再用“c”命令继续Bochs的运行，可以看到test退出了，说明i的修改成功了，此项实验结束。 编写producer.c、consumer.c，运行 （） 第二步是:由ds:0x0017=0000000000010111（二进制），所以RPL=11，可见是在最低的特权级（因为在应用程序中执行），TI=1，表示查找LDT表，索引值为10（二进制）= 2（十进制）， 表示找LDT表中的第3个段描述符（从0开始编号）。所以第3项“0x00003fff 0x10c0f300”就是寻找的ds段描述符。 第三步是:段描述符“0x00003fff 0x10c0f300”组合成的“0。这就是ds段在线性地址空间中的起始地址（ds段的段基址）。段基址+段内偏移，就是线性地址了。 所以ds:0x3004的线性地址就是：0+ 0x3004 = 0 首先需要算出线性地址中的页目录号、页表号和页内偏移，它们分别对应了32位线性地址的10位+10位+12位，所以0页目录号是64，页号3，页内偏移是4。 页目录表的基址为0，其中第65个页目录项就是我们要找的内容，0: 0x00fa7027，页表所在物理页框号为0x00fa7，即页表在物理内存的0x00fa3000位置。 进而得到0x00fa700c : 0x00fa6067 第四步是:线性地址0应的物理页框号为0x00fa6，和页内偏移0x004接到一起，得到0x00fa6004，这就是变量i的物理地址。 查看0x00fa6004 : 0证明其确实为i的物理地址 （2）test.c退出后，如果马上再运行一次，并再进行地址跟踪，你发现有哪些异同？为什么？ 相同的是虚拟地址不会改变，线性地址也不会改变，但是实际的物理地址改变了。因为虚拟地址和线性地址都是操作系统抽象出来的，再运行一次仍可以在当前位置， 而物理地址是动态分配的，可能上一次的物理地址已经被占用，所以操作系统会分配一块新的未被使用的来保存变量的值。