操作系统原理、设计及应用-刘乃琦-第三章数据存储与管理.pptVIP

第三章 数据存储与管理 如何对存储器加以有效的管理，不仅直接影响到存储器的利用率，而且还对系统性能有重大影响。存储器管理的主要对象是内存。 3.1 概述 3.1.1 存储系统的结构 如何将一个用户源程序变成一个可在内存中执行的程序，通常要经过3步骤： 编译:由编译程序（Compiler）将用户源代码编译成若个目标模块 链接:由链接程序（Linker）将编译后形成的一组目标模块，以及它们所需要的库函数链接在一起，形成一个完整的装入模块 装入:由装入程序（Loader）将装入模块装入内存。 1. 程序的装入 在将一个装入模块装入内存时，可以有绝对装入方式、 (1)．绝对装入方式 如果知道程序将驻留在内存的什么位置，那么，编译程序将产生绝对地址的目标代码。 绝对装入程序按照装入模块中的地址，将程序和数据装入内存。装入模块被装入内存后，由于程序中的逻辑地址与实际内存地址完全相同，故不需对程序和数据的地址进行修改。 ★源程序经过编译后，可得到一组目标模块，再利用链接程序将这组目标模块链接形成装入模块。根据链接时间的不同，可把链接分成如下三种： (1)、静态链接方式。在程序运行之前，先将各目标模块及它们所需的库函数，链接成一个完整的装配模块（又称执行模块），以后不再拆开。我们把这种事先进行链接的方式称为静态链接方式。 3.2 连续分配方式 连续分配方式，是指为一个用户程序分配一个连续的内存空间。 连续分配方式有四种： 单一连续分配 固定分区分配 动态分区分配 可重定位分区分配(汤子瀛) 把内存分为系统区和用户区两部分 系统区仅提供给0S使用，通常是放在内存的低址部分； 用户区是指除系统区以外的全部内存空间，提供给用户使用。 配置了存储器保护机构，用于防止用户程序对操作系统的破坏 。 1. 固定分区分配：将内存用户空间划分为若干个固定大小的区域，在每个分区中只装入一道作业 。 (1)．划分分区的方法两种： ①分区大小相等。当程序太小时，会造成内存空间的浪费 。当程序太大时，一个分区又不足以装入该程序，致使该程序无法运行 ②分区大小不等。可把内存区划含有多个较小的分区、适量的中等分区及少量的大分区。 分区描述表 ★动态分区分配是根据进程的实际需要，动态地为之分配内存空间。 (1) 分区组织 为了实现分区分配，系统中配置相应的数据结构，为分配提供依据。常用的数据结构有以下两种形式： ①空闲分区表。在系统中设置一张空闲分区表，用于记录每个空闲分区的情况。 ②空闲分区链。为了实现对空闲分区的分配和链接，设置前向指针和后向指针，通过前、后向链接指针将所有的空闲分区链接成一个双向链。 空闲分区链表 (2) 分区分配算法 ①首次匹配(首次适应算法FF )：要求空闲分区链以地址递增的次序链接。在分配内存时，从链首开始顺序查找，直至找到一个大小能满足要求的空闲分区为止； 该算法的优缺点：为大作业分配大的内存空间创造了条件。低址部分不断被划分，会留下许多难以利用的、很小的空闲分区。 分区分配流程 （3）分区回收 当进程运行完毕释放内存时，需合并相邻的空闲分区，形成大的分区，称为合并技术。 系统根据回收区的首址，从空闲区链中找到相应的插入点，此时可能出现以下四种情况之一： 采用动态重定位 技术的分区分配 称为可重定位分区分配 。 紧凑技术——将内存中的所有作业进行移动，使它们全都相邻接，这样，可把原来分散的多个小分区合成一个大分区的方法，称为紧凑。 动态重定位分区分配算法 4、动态分区的示例-伙伴系统 伙伴系统是一种不需要紧凑的动态分区算法。 伙伴系统是内存块管理机制，采用二进制数的方式来分配和回收空间。 伙伴系统实现方式：假设整个内存的大小为2U 。在伙伴系统中，系统初始启动时整个内存将被视作单一的空闲分区。如果进程请求的尺寸s在 2U-1 s = 2U 之间，则全部分给进程，否则一分为二，再继续比较，直到满足需要的最小者为止。 伙伴系统实现 Linux内存管理 Linux采用多种内存分配策略，2.4版采用伙伴系统： 把内存划分为块组，大小为2的幂次，如1页=20、2页=21、4页=22、8页=23等。 将相同大小的组织成一个队列。并用位示图表示占用与否。 将多个队列组织成一个表。 Linux内存管理结构 1．对换的引入 所谓“对换”，是指把内存中暂时不能运行的进程或者暂时不用的程序和数据，调出到外存上，以便腾出足够的内存空间，再把已具备运行条件的进程或进程所需要的程序和数据，调入内存。对换是提高内存利用率的有效措施。 如果对换是以整个进程为单位，便称之为“整体对换”或“进程对换”。 为了实现进程对换，系统必须能实现三方面的功能：对换空间的管理、进程的换出，以及进程的