4.1 存储器的层次结构
存储器管理的功能
- 内存的分配与回收
- 存储内容的共享与保护
- 地址映射(重定位)
- 主存扩充
- 记住每个区域的状态(已分,未分)
- 实施分配(修改数据结构)
- 接收系统或用户释放的区域(修改数据结构)
4.2 程序的装入和链接
程序的链接
静态链接
- 在程序运行之前,将个目标模块及他们所需要的库函数链接成一个完整的装入模块,以后不再分开。
- 模块修改或更新需要重新链接,目标模块不能共享。
装入时动态链接
- 边装入边链接:装入一个目标模块时,若发生一个外部模块调用事件,装入程序将去寻找到该模块,并将它装入内存。
- 优点:便于修改和更新,便于实现对目标模块的共享。
运行时动态链接
- 模块不是一次性装入内存,而是根据需要装入;
- 在程序执行时链接,即在执行过程中当发现一个被调用的模块尚未装入内存,立即由OS去找到该模块,并调入内存,将它链接到调用者模块上。
程序的装入
绝对装入方式
- 只适用于单道程序环境;
- 编译时预先知道程序将驻留在内存的什么位置,编译程序直接将程序的符号地址转换成绝对地址,产生使用绝对地址的目标模块,进而链接成使用绝对地址的装入模块。
- 装入程序将装入模块放入内存时不需要修改地址,直接按照模块中的地址装入。
可重定位装入方式(静态重定位)
- 多道程序设计环境编译之后的目标模块从0开始编址;
- 装入时必须将模块中的指令地址和数据地址都调成绝对地址。
动态运行时装入方式
- 允许程序在
- 运行时可以在内存中移动
- 重定位(地址变换)推迟到程序真正执行时才做
- 需要硬件支持(重定位寄存器)
- 动态重定位
4.3连续分配存储管理方式
单一连续分配
- 用户只能存放一道作业;
- 优点:管理简单,开销小
- 缺点:资源利用率低
固定分区分配
- 把物理内存空间划分成若干个大小一定的区域,每个分区装入一道作业
- 分区大小,数量固定
- 通过分区说明表进行内存分配
动态分区分配
- 根据进程实际需要,为进程分配一块大小刚好满足需求的内存
- 空闲分布表或空闲分区链
- 动态分区分配算法
- 分区的分配与回收
空闲分区表
空闲分区链
分区的分配与回收
- 分配内存
-
- 从空闲分区链(表)中找出满足所需大小的分区。若找到的分区大小m.size大于等于请求的分区大小u.size,则在分区中划出u.size大小进行分配。若m.size-u.size<=size,其中size是不再分割的分区大小,则直接将m.size分配。
- 收回内存
-
- 四种情况如下
动态分区分配算法
首次自适应算法(FF)
- 空闲区按地址由低到高排序;
- 将程序装入到主存中足够装入且地址最低的空闲区中。
- 尽量利用主存低地址空闲区,尽量在高地址保留大空闲区。
循环首次自适应算法
最佳适应算法(BF)
- 所谓最佳是指每次为作业分配内存时,总能把满足要求的最小空闲分区分配给作业,避免“大材小用”。
- 每次分割切下来的剩余部分总是最小——碎片多。
- 为了提高效率,应该让空闲分区按照从小到大的顺序排列。
最坏适应算法(WF)
- 总是将满足需求的最大的分区切割后分配给作业。
- 空闲分区按照从大到小的顺序排列
- 碎片少,查找效率高
练习
某系统内存空间分区分配状态如图所示,程序A、B、C顺序提出请求。程序A运行请求20KB,程序B运行请求15KB,程序C运行请求34KB,分别采用首次适应算法、最佳适应算法和最坏适应算法讨论内存分配情况。
快速适应算法(Quike fit)
- 又称为分类搜索算法:将空闲分区按照容量大小分类,每一类单独设置一个链(表)
- 内存中建立一张管理索引表,记录了每一类空闲分区的类型和链(表)头指针。
- 分配时找到满足需求的最小分区进行分配。
- 优点:查找效率高
- 缺点:整块分配可能会造成浪费,回收分区开销大。
伙伴系统(Buddy system)
- 规定无论是已分配分区还是空闲分区,其大小均是2的k次幂;
- 系统开始运行时,整个内存是一个2k的大分区,随着系统运行不断划分成小分区;
- 当为大小为n的进程分配分区时,计算i使得2i-1<n<2i成立,然后将大小为2i的空闲分区链(表)里面找一块分区进行分配;
- 若找不到,则在大小为2i+1的空闲分区链(表)里面找一块分区,划分成大小为2i的两块,一块用于分配,一块挂在的空闲分区链(表)中,依此类推……(伙伴分区)
4.3 连续分配存储管理方式
- 动态可重定位分区分配
-
- 在动态分区分配算法基础上增加了紧凑的功能
- 紧凑:将内存中的所有作业进行移动,使他们全部邻接,将所有空闲的小分区拼凑成一个大分区。
- 每次紧凑后要对程序或数据进行重定位。
- 重定位由硬件支持(重定位寄存器)
4.4 对换
- 对换的类型
-
- 整体对换:进程对换,处理机中级调度,单位时进程。
- 局部对换:单位是进程的一部分;页面对换,分段对换。
- 对换要求OS必须具备的功能
-
- 对换空间的管理
- 进程的换入
- 进程的换出
存储空间的离散分配
- 分页存储管理
-
- 将内存空间分成若干个固定大小(2k)的块(也称页框,page frame),相应的用户程序空间分成若干个相同大小的页,任一页可以放到任一块中。
- 分段存储管理
-
- 将用户程序空间分成若干个大小不同的段,内存分配以段位单位。
- 段页式存储管理
4.5 分页存储管理方式
页面与物理块
- 页面:进程逻辑地址空间分成若干相同大小的页,从0开始编号。把内存物流地址空间也分成若干相同大小的块,加以编号(如0#块、1#块…),为进程分配内存时,以块为单位分配。
- 碎片:进程的最后一页经常装不满一块,形成页内碎片。
- 页面大小:2k,通常为1KB-8KB
逻辑地址结构
- 业内地址的位数决定了页面的大小
- 页号的位数决定了逻辑空间中页面总数的最大值
- 注意逻辑地址的进制
练习
- 逻辑地址为2170的页面在页面大小为1KB的系统中的页号和页内地址分别是多少?逻辑地址为3150的页面呢?逻辑地址为2F4CH的页面呢?
- 如果逻辑地址的长度为16位,页面大小为1KB,则逻辑地址的构成是?页总数为多少?
页表
- 系统为每个进程设置了一张页号到物理块号映射表,称为页表。页表项包含页号和块号,但是,实际只存储块号。
- 页表至少要设置一个存取控制字段,用于对存储的内容加以保护。
地址变换机构
- 逻辑地址-页号-块号-物理地址
- 页表存储在内存,页表首址和表长度放在寄存器中。
练习
- 页内如图所示。若内存物理块大小为1KB,逻辑地址1023转换成物理地址是多少?逻辑地址4500呢?
- 若逻辑地址为1FC4H,那么它的物理地址是多少?
带有快表的地址变换机构
- 快表又称为“联想寄存器”,位于cache
- 快表是根据内容进行查找而不是根据地址进行查找。
- 快表查找速度远大于内存的查找速度
带有快表的地址变换机构
- 先将逻辑地址分成页号和页内地址两部分,然后在快表中查找是否存在该页号,若存在则根据对应块号变成物理地址。
- 若快表中找不到该页号,则去内存中查找页表,找到后变成物理地址,并且在快表中增加以一个表项,以备将来使用。
两级和多级页表
- 两级页表:页表分为外层页表和内层页表
- 外层页表记录内层页表(真页表,一个进程对应多个)的起始地址
- 内层页表记录内存块号
- 地址变换时:先查外层页表找到内层页表的起始地址;再查内层页表找到物理块号,最后再形成物理地址。
地址结构
反置页表
- 以物理块的编号排序,表项内容是页号和其所属进程的标识符。
- 地址变换时,根据进程标识符和页号去检索反置页表,如果检索到匹配项,则该项的序号就是该页所在的物理块号,然后根据块号和业内地址构成物理地址。
- 若检索不到,则说明该页没有进入内存。
4.6 分段存储管理方式
- 为什么要分段
-
- 方便编程
- 信息共享与保护
- 动态增长
- 动态链接
分段
- 分段是程序中自然划分的一组逻辑意义完整的信息集合。
程序地址空间
- 由若干个逻辑分段组成,每个分段有自己的名字,对于一个分段而言,它是一个连续的地址区。段的长度由相应的逻辑信息长度决定。
段表
- 段长
- 段基址
地址变换
练习
- 段表如图所示,请将逻辑地址<0,430>、<2,500>、<3,400>、<5,32>转换成物理地址。
- 请根据段表将逻辑地址(0,137),(1,4000),(2,3600),(5,230)转换成物理地址。
分页和分段的主要区别
- 页是信息的物理单位,分页的目的是提高内存的利用率;段时信息的逻辑单位,分段的目的是为了更好地满足用户需求。
- 页的大小固定,由系统决定,用户不可见;段大小不固定,由用户编写的程序决定,用户可见。
- 分页的地址空间是一维的,分段的地址空间是二维的。
4.7 段页式存储管理方式
- 基本原理
-
- 将分页原理与分段原理结合,先将用户程序分成若干段,为每个段赋予一个段名,而把每个段分成若干页。
- 逻辑地址由段号,段内页号和页内地址三部分构成。
段表和页表
- 段表:记录页表始址和页表长度
- 页表:记录块号
地址变换
提问
- 如何提高访问速度?
- 段页式存储管理方式为了对内存中的数据进行读写,需要对内存访问几次?
访问内存的有效时间
- 设一次内存的访问时间是t,一次快表的访问时间是λ,访问快表命中率为a,则有效访问内存时间是:
真题
- 假设一个分页存储系统具有快表,多数活动页表项都可以存在于其中。若页表放在内存中,内存访问时间是1ns,快表的命中率是85%,快表的访问时间是0.1ns,则有效存取时间为多少?
- 对一个将页表存放在内存中的分页系统:
(1)如果访问内存需要0.2μs,则有效访问时间是多少?
(2)如果加一快表,且假定在快表中找到页表项的概率高达90%,则有效访问时间又是多少?(假定查快表所需花费时间为0)