操作系统1112存储管理1.ppt

1）静态链接(static-linking) 动态分区分配例 e. 快速适应算法 分类搜索算法 将空闲分区按容量大小分类。 先找到大类，再找到具体分区。 （类似索引） 动态分区分配例: 闲 以链表结构表示空白分区 下一块 地址 分区 大小 空闲分区 节点形式: 首次适应算法的空闲分区链表组织形式 若此时作业5到达，需要36K空间 最佳适应算法的空闲分区链表组织形式 最差适应算法的空闲分区链表组织形式 例： 下图为首次适应算法的空闲分区链表组织形式 分区大小 下一块地址 链表节点形式: 请据此画出最佳适应，最差适应算法的空闲分区链表组织形式？ 最佳适应算法的空闲分区链表组织形式 最差适应算法的空闲分区链表组织形式 状态 大小 前一块 状态 大小 后一块 状态 大小 前一块 状态 大小 后一块 状态 大小 前一块 回收区 状态 大小 后一块 相邻 大小 大小 用户使用完的内存形成新的空白分区插入到系统空白分区链表中。 *如果新回收的分区在空白分区链表中有邻接分区,则实行分区合并——消灭外碎片 （3）内存回收 从检索效率上考虑，但回收时复杂、开销大，以空间换取时间 1112.*/43 ?* 操作系统 存储管理概述 程序的装入和地址变换 连续分配方式——分区存储管理 离散分配方式—— 分页式 分段式 段页式 虚拟存储器 第四章 存储器管理 4.1存储管理概述 存储管理是指对存储器资源（主要指内存）的管理。 4.1.1 存储器的层次结构： Cache 主存 磁盘 寄存器 高速缓存Cache：少量的、非常快速、昂贵、易变的 内存RAM： 若干兆字节、中等速度、中等价格、易变的 磁盘： 数百兆或数千兆字节、低速、价廉、不易变的 为了解决对存储器要求容量大，速度快，成本低三者之间的矛盾，目前通常采用多级存储器体系结构: 内存： 是由存储单元（字节或字）组成的一维连续的地址空间，简称内存空间。用来存放当前正在运行程序的代码及数据，是程序中指令本身地址所指的、亦即程序计数器所指的存储器。 内存可以分为： 系统区：用于存放操作系统 用户区：用于装入并存放用户程序和数据。 重要性：直接存取要求内存速度尽量快到与CPU取指速度相匹配，大到能装下当前运行的程序与数据，否则CPU执行速度就会受到内存速度和容量的影响而得不到充分发挥. 帕金森定律： 内存多大，程序多长 4.1.2 存储管理目的: 1、充分利用内存，为多道程序并发执行提供存储基础 2、尽可能方便用户使用 自动装入用户程序 用户程序中不必考虑硬件细节 3、系统能够解决程序空间比实际内存空间大的问题 … （1）存贮分配 （2）地址变换 （3）存贮空间保护 （4）主存的“扩充”问题 前提：多道程序在内存 4.1.3主要研究课题 1、从用户源程序到内存中可执行的代码将经历以下步骤： 编译： 链接： 装入： 完成用户源程序从高级语言到机器可理解代码的转换 根据任务的需要可能形成若干相对独立的目标模块 将任务所需的目标模块链接起来， 形成一个完整的装入模块 由系统的装入操作将装入模块装入内存 4.2 程序的装入和地址变换 2、程序的装入 0 内存空间 程序空间 (1) 逻辑地址（相对地址，虚地址） (2) 物理地址（绝对地址，实地址） 程序中使用的地址， 逻辑地址空间：每个程序都从0开始 不能用逻辑地址在内存中读取信息。 内存中存储单元的地址，可直接寻址。 物理地址空间：整个系统从0开始 装入模块 用户的程序经过汇编或编译后形成目标代码，目标代码通常采用相对地址的形式，其首地址为0，其余指令中的地址都相对于首地址而编址。 0 2、程序的装入 0 绝对装入方式:程序中的逻辑地址与实际的内存地址完全相同,装入时不需对程序和数据的地址做任何变动. 即：程序中使用的是内存中的绝对地址 内存空间 程序空间 装入模块 MOV ax , [2500] 365 MOV ax，[2500] 365 0 1000 2500 10000 11000 12500 MOV ax，[2500] MOV ax，[12500] 10000 2500 0 2) 程序重定位装入方式: 地址变换——相对空间到绝对空间的映射 需将用户程序中的逻辑地址转换为运行时由机器直接寻址的物理地址，这一过程也称为地址映射（重定位） 为什么进行地址变换？ 1、多道程序并发执行： 2、 程序中使用的是相对地址 0 0 0 0 relocaiton, address binding, mapping from one address space to another） 如何进行地址变换？ MOV ax , [2500] 365 365 0 1000 2500