实验六 虚拟存储.pptVIP

主要内容 实验目的 实验内容 相关基本原理 实验参考过程 实验目的 理解虚拟地址空间和物理地址概念 理解页式存储管理如何实现地址转换 了解页式虚拟存储管理中如何处理缺页中断 理解页面置换算法 实验内容 用软件模拟硬件对给定的地址进行转换工作 用软件模拟硬件对缺页进行缺页中断处理。 编写测试程序进行测试。 实验相关原理 最常用的内存管理的方式有页式管理，段式管理，页段式管理和虚拟内存管理技术，其中虚拟内存管理又包括虚拟页式管理，虚拟段式管理，虚拟页段式管理。 Linux使用请求分页虚拟内存模型作为内存管理设计的基础。 物理地址－－主内存地址 虚拟地址－－逻辑地址 内存管理的基本单位为页，在i386中的实现中，每页大小为4KB(212B) 分页式内存管理 进程的虚拟内存空间 每个进程创建时都有自己的虚拟地址空间，一个虚拟地址空间是32位宽度，这意味着空间包含4GB的地址。 每个虚拟空间都被分成段：3GB的用户段和1GB的内核段。 每个内核段和用户段又进一步分为代码段和数据段 进程执行时，他的状态包括一个段选择器，如果进程在用户空间执行，那么段选择器被设置成user；如果在内核段执行，则选择器被设置成为kernel。存储管理程序通过使用段选择器的值和由进程提供的偏移地址形成虚拟地址。 Linux虚拟地址与页表 操作系统通过维护的一系列表格实现由处理器由虚拟地址到物理地址的转换。 Linux内核的地址映射机制设计成三层，在页表目录和页表中间还有一个中间目录。在代码中，页表目录称为PGD，中间目录称为PMD，页有称为PT 虚拟地址被划分成四部分(见下图) Linux的页表 虚拟地址划分成四部分 虚地址与页表 虚拟地址被划分成以下四部分 　页目录偏移：j.pgd 页中间目录偏移：j.pmd 页表偏移：j.pte 页内偏移：j.offset 转换公式(虚拟地址j转换成物理地址i)： i＝PTE*(PMD*(PGD*j.pgd+j.pmd)+j.pte)+j.offset 虚拟地址到物理地址的转换过程 当程序执行时发生对不在物理内存中的虚拟内存区域的访问。当进程访问无有效页表入口的虚拟地址时，处理器将向Linux报告一个页面错误。 如果进程以非法方式访问内存，比如对不可写区域进行写操作，系统将产生内存错误的信号。 程序中断执行。 如果Linux认为页面出错是合法的，那么它需要对这种情况进行中断处理 缺页中断处理 根据页号查找页表，判断该页是否再主存储器中，若该页标志位“0”，形成缺页中断。 操作系统让调出中断处理程序处理中断。 实验参考过程 实现地址转换与缺页中断处理，主要考虑三个问题 第一，设计页式虚拟存储管理方式中页表的数据结构 第二，地址转换算法的实现 第三，缺页中断处理算法的实现 设计页表的数据结构 （1/2） 页式虚拟存储管理方式中页表除了页号和该页对应的主存块号外，至少还要包括存在标志（该页是否在主存），磁盘位置（该页的副本在磁盘上的位置）和修改标志（该页是否修改过）。 在实验中页表用数组模拟，定义数据结构。 设计页表的数据结构（2/2） struct{? int lnumber;? //页号? int flag;???? //表示页是否在主存中，“1”表示在，“0”表示不在? int pnumber; // 该页所在主存块的块号? int write;?? //该页是否被修改过，“1”表示修改过，“0“表示没有修改过? int dnumber; //该页存放在磁盘上的位置，即磁盘块号}page[n];????? //页表定义 地址转换（1/2） 地址转换是由硬件完成的，实验中使用软件程序模拟地址转换过程。 在实验中，每个主存块1024字节，则块内地址占10位；主存64KB，则主存共64块，即块号占6位；物理地址共占16位；作业最倒64KB，则作业最大占64块，即页号占6位，逻辑地址共占16位。（用主存的大小计算物理地址位数，用最大作业大小计算逻辑地址位数）。 地址转换（2/2） 在页式虚拟存储管理方式中，作业信息作为副本放在磁盘上 作业执行时仅把作业信息的部分页面装入主存储器 作业执行时若访问的页面在主存中，则进行地址转换 若访问的页面不在主存中，则产生一个“缺页中断” 由操作系统把当前所需要的页面装入主存储器后，再次执行时才可以按上述方法进行地址转换。 ?实现缺页中断处理算法（1/2） 1.根据当前执行指令中逻辑地址的页号查找页表，判断该页是否在主存储器中，若该页标志为“0”，形成缺页中断。中断装置通过交换PSW让操作系统的中断处理程序占用处理器。 2.操作系统处理缺页中断的方法及时查主存分配表，找一个空闲主存块；若无空闲块，查页表，选择一个已在主存的页面，把它暂时调出主存。若在执