计算机 操作系统ch2 (7).ppt

有效访问时间 联想寄存器的查找需要时间单位 ? 假设内存一次存取需要1微秒 命中率—在联想寄存器中找到页号的百分比，比率与联想寄存器的大小有关。 命中率 = ? 有效访问时间 (EAT) EAT = (1 + ?) ? + (2 + ?)(1 – ?) = 2 + ? – ? 内存保护 内存的保护由与每个帧相连的保护位来实现。 有效-无效位附在页表的每个表项中: 有效”表示相关的页在进程的逻辑地址空间，并且是一个合法的页。 “无效”表示页不在进程的逻辑地址空间中。 页表中的有效位和无效位 共享代码 如果代码是可重入代码（只读），可以在进程间共享 (如文本编辑器, 编译器, window系统). 共享代码必须出现在所有进程的逻辑地址空间的相同位置 私有代码和数据 每个进程保留一个代码和数据的私有备份 存有私有数据和代码的页能够出现在逻辑地址空间的任意位置 页共享 一个共享页的例子 层次页表 哈希页表 反向页表 页表结构 将逻辑地址空间分成多个页表 一种简单的方法是使用两级页表 层次页表 两级页表机制 一个两级分页的例子 一个逻辑地址被分为 (在4K页大小的32位机器上) : 一个20位的页号 一个12位的页偏移 由于页表所在页也被分页，页号被进一步分为: 一个10位的页号 一个10位的页偏移 因此，逻辑地址表示如下:p1 是外页表的索引，而 p2 是外部页表的页偏移. page number page offset pi p2 d 10 10 12 地址转换机制 一个两级32位分页结构的地址转换机制 三级分页机制 通常地址空间 32 位 虚拟页号被散列到一个页表中。这种页表的每一个条目都包括了一个链表元素，这些元素哈希成同一位置。 虚拟页号与链表中的每个元素相比较，找到匹配项。如果匹配，则相应的物理帧被取出。 哈希页表 哈希页表 反向页表 对于每个真正的内存页或帧有一个条目。 每个条目保存在真正内存位置的页的虚拟地址，以及包括拥有这个页的进程的信息。 减少了需要储存每个页表的内存，但是当访问一个页时，增加了寻找页表需要的时间。 使用哈希表来将查找限制在一个或少数几个页表条目。 反置页表机制 分段(Segmentation ) 内存管理机制支持用户观点的内存。 一个程序是一些段的集合，一个段是一个逻辑单位，如: main program, procedure, function, local variables, global variables, common block, stack, symbol table, arrays 分段的逻辑视图 1 3 2 4 1 4 2 3 用户空间 物理内存空间 分段机制 一个逻辑地址是两个向量的集合: segment-number, offset, 段表 - 映射二维物理地址，每个表项包括: 基址 - 包括内存中段物理地址的起始地址。 限长 - 指定段的长度。 段表基址寄存器(STBR)指向段表在内存中的地址。 段表限长寄存器(STLR)表明被一个程序所使用的段的数目。 segment number s is legal if s STLR. 分段机制（续） 重定位 动态 由段表来执行 共享 共享的段 同样的段号 分配 首先/最佳适配 外碎片 分段机制（续） 保护，每个段表的表项有: 有效位 = 0 ? 非法段 读/写/执行权利 保护位同段相联系，在段的级别进行代码共享。 由于段的各个长度不同，内存分配是一个动态存储-分配问题。 下面的是一个段的例子 分段硬件 分段例子 Intel 386的段页式存储管理 如下图所示，Intel 386使用段页结合来进行二级分页的内存管理。 采用段页式的INTEL 386 Pentium Paging Architecture 存储管理各种策略的比较 硬件支持 执行 碎片 重定位 交换 共享 保护 * 6.* Silberschatz, Galvin and Gagne ?2005 Operating System Concepts – 7th Edition, Feb 8, 2005 内容 背景 逻辑与物理地址空间 交换 连续分配 分页 分段 段页式 各种内存管理方案的比较 总结 背 景 程序必需放入一个进程，并且送入内存才能被执行 CPU可以直接访问的存储器只有主存和寄存器 寄存器通常可以在一个（或少于一个）CPU时钟周期内完成访问 完成主存访问可能需要多个CPU时钟周期 Cache 位于主存和CPU寄存器之间，协调速度差异 内存保护需要保证正确的操作 基址寄存器（ base）和界限寄存器（limit）定义了逻辑地址空间 基址