计算机操作系统 第四章

本文详细介绍了存储器管理中的层次结构,包括内存分配方法(如连续分配、动态分区和对换)、程序的装入策略(静态链接、动态链接和装入方式)、以及分页、分段和段页式存储管理的原理与地址变换机制。还探讨了如何提高内存访问速度和有效时间,以及相关算法如首次适应、最佳适应等。
摘要由CSDN通过智能技术生成

4.1 存储器的层次结构

存储器管理的功能

  • 内存的分配与回收
  • 存储内容的共享与保护
  • 地址映射(重定位)
  • 主存扩充
  1. 记住每个区域的状态(已分,未分)
  2. 实施分配(修改数据结构)
  3. 接收系统或用户释放的区域(修改数据结构)

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

逻辑地址结构

  • 业内地址的位数决定了页面的大小
  • 页号的位数决定了逻辑空间中页面总数的最大值
  • 注意逻辑地址的进制

练习

  1. 逻辑地址为2170的页面在页面大小为1KB的系统中的页号和页内地址分别是多少?逻辑地址为3150的页面呢?逻辑地址为2F4CH的页面呢?
  2. 如果逻辑地址的长度为16位,页面大小为1KB,则逻辑地址的构成是?页总数为多少?

页表

  • 系统为每个进程设置了一张页号到物理块号映射表,称为页表。页表项包含页号和块号,但是,实际只存储块号。
  • 页表至少要设置一个存取控制字段,用于对存储的内容加以保护。

地址变换机构

  • 逻辑地址-页号-块号-物理地址
  • 页表存储在内存,页表首址和表长度放在寄存器中。

练习

  • 页内如图所示。若内存物理块大小为1KB,逻辑地址1023转换成物理地址是多少?逻辑地址4500呢?
  • 若逻辑地址为1FC4H,那么它的物理地址是多少?

带有快表的地址变换机构

  • 快表又称为“联想寄存器”,位于cache
  • 快表是根据内容进行查找而不是根据地址进行查找。
  • 快表查找速度远大于内存的查找速度

带有快表的地址变换机构

  • 先将逻辑地址分成页号和页内地址两部分,然后在快表中查找是否存在该页号,若存在则根据对应块号变成物理地址。
  • 若快表中找不到该页号,则去内存中查找页表,找到后变成物理地址,并且在快表中增加以一个表项,以备将来使用。

两级和多级页表

  • 两级页表:页表分为外层页表和内层页表
  • 外层页表记录内层页表(真页表,一个进程对应多个)的起始地址
  • 内层页表记录内存块号
  • 地址变换时:先查外层页表找到内层页表的起始地址;再查内层页表找到物理块号,最后再形成物理地址。

地址结构

反置页表

  • 以物理块的编号排序,表项内容是页号和其所属进程的标识符。
  • 地址变换时,根据进程标识符和页号去检索反置页表,如果检索到匹配项,则该项的序号就是该页所在的物理块号,然后根据块号和业内地址构成物理地址。
  • 若检索不到,则说明该页没有进入内存。

4.6 分段存储管理方式

  • 为什么要分段
    • 方便编程
    • 信息共享与保护
    • 动态增长
    • 动态链接

分段

  • 分段是程序中自然划分的一组逻辑意义完整的信息集合。

程序地址空间

  • 由若干个逻辑分段组成,每个分段有自己的名字,对于一个分段而言,它是一个连续的地址区。段的长度由相应的逻辑信息长度决定。

段表

  • 段长
  • 段基址

地址变换

练习

  1. 段表如图所示,请将逻辑地址<0,430>、<2,500>、<3,400>、<5,32>转换成物理地址。

  1. 请根据段表将逻辑地址(0,137),(1,4000),(2,3600),(5,230)转换成物理地址。

分页和分段的主要区别

  • 页是信息的物理单位,分页的目的是提高内存的利用率;段时信息的逻辑单位,分段的目的是为了更好地满足用户需求。
  • 页的大小固定,由系统决定,用户不可见;段大小不固定,由用户编写的程序决定,用户可见。
  • 分页的地址空间是一维的,分段的地址空间是二维的。

4.7 段页式存储管理方式

  • 基本原理
    • 将分页原理与分段原理结合,先将用户程序分成若干段,为每个段赋予一个段名,而把每个段分成若干页。
    • 逻辑地址由段号,段内页号和页内地址三部分构成。

段表和页表

  • 段表:记录页表始址和页表长度
  • 页表:记录块号

地址变换

提问

  • 如何提高访问速度?
  • 段页式存储管理方式为了对内存中的数据进行读写,需要对内存访问几次?

访问内存的有效时间

  • 设一次内存的访问时间是t,一次快表的访问时间是λ,访问快表命中率为a,则有效访问内存时间是:

真题

  1. 假设一个分页存储系统具有快表,多数活动页表项都可以存在于其中。若页表放在内存中,内存访问时间是1ns,快表的命中率是85%,快表的访问时间是0.1ns,则有效存取时间为多少?

  1. 对一个将页表存放在内存中的分页系统:

(1)如果访问内存需要0.2μs,则有效访问时间是多少?

(2)如果加一快表,且假定在快表中找到页表项的概率高达90%,则有效访问时间又是多少?(假定查快表所需花费时间为0)

  • 18
    点赞
  • 15
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值