《第43基本课件.ppt》由会员分享，可在线阅读，更多相关《第43基本课件.ppt（33页珍藏版）》请在三一办公上搜索。
1、基本分页存储管理,计算机科学技术学院：曹梅,操作系统原理 课程,连续分配方式（分区管理）,回顾：,1.固定分区,2.可变分区,进程1,进程2,进程4,内碎片,进程3,进程1,进程2,进程3,进程4,外碎片,内存的用户可用空间,导入：,经过一段时间的分配回收后，内存中存在很多很小的不可利用的空闲空间-碎片（零头）。,导入：,基本分页存储管理实分页,新授：,引 例,中国好声音-香港行,这么多人，住在哪里好呢？,五星级大酒店,入住登记表”,您好！请问酒店现在有空房间吗？我需要41个标准间，,欢迎光临，您需要的41个标准间我们可以提供.但是它们不在同一楼层，房间号也不连续！,基本分页存储管理实分页,一
2、、实现原理,1.内存空间的划分：将内存空间等分成若干物理块（也称为页框frame、页架、帧），并按物理地址递增的顺序连续编号为0，1，2块,新授：,“酒店客房”,基本分页存储管理实分页,2.虚拟空间的划分：进程的虚拟空间划分成一系列与物理块大小相等的页（也称为页面），并按逻辑地址递增的顺序连续编号为0，1，2页,新授：,“客人分组”,进程的虚拟空间,一、实现原理,基本分页存储管理实分页,3.内存分配：若进程的总页数不大于内存中的可用块数，系统就可以以页为单位离散分配，并在内存中为该进程建立一个能够反映其逻辑页与物理块映射关系的“页表”。,新授：,“入住登记表”,一、实现原理,进程的页表,基本分
3、页存储管理原理图示,Os区,进程B,0,1,3,2,4,5,内存空间,进程A的虚拟空间,0,2,1,3,2,5,后果,块大小,由硬件决定，页面大小要适中，常为2的幂字节，一般为512B4KB。,1.基本上解决了碎片问题。,2.实现了由连续存储到离散存储的飞跃。,基本分页存储管理,一起来分析：,后果,块大小,思考,为什么块尺寸太大或太小都不好？,基本分页存储管理,一起来分析：,新授：,例如：对8B的进程虚拟空间按页大小为2B进行分页。,逻辑地址如何表示？,73*2+1,逻辑页号,页内偏移量,页大小,简化的动态重定位方法,二、地址转换,P=A/L,1.逻辑地址结构：,十进制表示,A逻辑地址L页面大
4、小P页号W页内地址,新授：,A=P*L W,W=A%L,二、地址转换,新授：,二进制表示,1.逻辑地址结构：,对于n位的逻辑地址，设页大小为2i字节。,2.物理地址结构：,A 物理地址L 块大小P 块号W块内地址,新授：,对比发现：,二、地址转换,由地址变换机构实现,3.地址转换过程：,新授：,二、地址转换,页表始址,页表长度,页表寄存器PTR,+,页号 P,页内地址 W,逻辑地址A,0,页号,块号,P,页表,越界中断,新授：,N,Y,块号 P,块内地址W,物理地址A,P,内存,地址转换过程图,当执行一条指令需访问内存两次,4.具有快表的地址变换机构,为提高效率，克服两次访存的弊端,在地址变换
5、机构中，增设一个具有并行查找能力的高速缓冲寄存器，又称“联想寄存器”(Associative Memory)或“快表”,用以存放当前被频繁访问的页面号和对应的页表项。快表一般只存放16-512表项，表满时需进行淘汰。由于程序和数据的访问有局部性，所以快表“命中率”可达90%以上。,新授：,二、地址转换,具有块表的地址变换机构,新授：,例：设访问主存时间为200ms,访问联想存贮器为40ms，命中率为90，则平均存取时间为多少？,查页表两次访存：平均为200200400ms,查块表、页表(200+40)90(200+200)10256ms,解：,方法1：只设页表,方法2：增加快表,小练习,两级页
6、表结构,扩充：,1.相关数据结构,1）页表：每个进程一个页表，存在于内存的OS空间，记录各个 逻辑页到物理块之间的映射关系及页内存取控制权限等。,新授：,三、分配与回收,2）请求表：整个系统一个表，存放每个进程请求分配的页面数 及实际分配给它的内存空间的页表信息、请求是否 得到满足等。,1.相关数据结构,3）内存分配表位示图 整个系统一个表，存在于内存的OS空间，用比特位来记录内存每一块是否已分配的信息。（如：1已分；0未分）,新授：,三、分配与回收,举例：已知某系统内存的可分配区被分为256块，则位示图需占 用256/832字节的内存空间。,4）空闲页面链：不占额外的内存空间,2.分配,新授
7、：,三、分配与回收,修改空闲页表。,请求N个页面,查空闲页面表，看看是否还有N个空闲页面,如有相应空闲页面，则页表长度为N填入请求表中（申请页表，把页表始址填入请求表）。,分配N个空闲页面，将页面号和页号填入页表（页表号实际不用填）。,3.回收：,删除页表，并将归还的块对应的位由1置为0,1.共享,若两个进程的某2个逻辑页号对应的物理块号相同，则可达到共享该块的目的。,新授：,四、共享与保护,2.保护,1）越界检查2）存取控制检查：在页表中设置相应的位可读、可写、可执行,新授：,四、共享与保护,答：,2）对逻辑地址（2500）D：,Pint（25001K）2,W25001K452,由已知，页号
8、 P2 对应的页面号 P4，,逻辑（2500）D对应物理地址P 1KW（4548）D,例1：一个分页式存储管理系统中，用户虚拟空间每页1KB，假定某时刻用户的第0，1，2，3页分别分配的物理块号为10，8，4，17，将逻辑地址（2500）D转换为物理地址。,练习：,例2：设虚拟地址为(7101)8,每一物理块为128字节,请描述如何进行地址重定位?,12827,(7101)8(111,00 1,000,001)2,=(3 4 1 0 1)8,页号为(34)8,偏移量为(101)8,块号p由页表指定，偏移量w不变，按 A=p*L w 形成物理地址。,练习：,解惑:,(11,100 1,000,0
9、01)2,1：有一系统采用页式存储管理，有一作业大小是8KB，页大小为2KB，依次装入内存的第7、9、10、5块，试将十进制逻辑地址7145，3412转换成对应的物理地址。（电子作业文档详见网络平台）,作业：,基本分页存储管理实分页,1.基本分页管理-原理概括：系统自动将内存分块，将虚拟空间分页，页、块等大小，且都从0连续编号，在进程运行时，将进程所有逻辑页一次性装入内存中，相邻页所占的块可以不连续，并通过“页表”来记录页与块之间的映射关系。,2.地址映射：按逻辑地址不同表示下（十进制、二进制）的不同方法，将其分解为逻辑页号和页内偏移量，通过页表，获得对应的物理块号，最终形成物理地址。,本堂小结,
