内存管理概念（一）

一. 内存管理基本原理和要求

内存管理（Memory Management）：操作系统设计最重要和最复杂的内容之一，用于对内存的划分和动态分配。
主要功能：

• 内存空间的分配与回收：操作系统负责内存空间的分配和管理，记录内存空闲空间、内存分配情况，并回收已结束进程占用的内存空间。
• **地址转换：**逻辑地址------>物理地址。
• **内存空间的扩充：**利用虚拟存储系统，从逻辑上扩充内存。
• **内存共享：**多进程访问内存空间的相同部分。
• **存储保护：**保证各个进程在各自存储空间运行，互不干扰。

程序的链接与装入

• 编译：由编译程序完成。源代码 ----> 若干目标模块。
• 链接：链接程序完成。一组目标模块 -----> 一个完整的装入模块。
• 装入：装入程序完成。 装入模块 ----> 装入内存。

静态链接

• 程序运行之前，将各模块以及所需库函数链接成一个完整装入模块，以后不再拆开。
• 特点
  • 修改相对地址：编译后所有目标模块都是从 0 开始的相对地址，链接成一个装入模块时修改相对地址。
  • 变换外部调用符号：每个模块中外部调用符号都变换为相对地址。

装入时动态链接

• 编译后得到的一组目标模块，装入内存时，边装入边链接。
• 优点：便于修改和更新，实现目标模块共享。

运行时动态链接

• 执行目标模块时，才进行链接。未用到的目标模块都不会调入内存和链接到装入模块。
• 优点：加快程序装入过程，节省内存空间。

绝对装入

• 编译时已知程序存放在内存中的位置，编译程序产生绝对地址目标代码。
• 特点：
  • 只适应于单道程序环境（无操作系统阶段），灵活性低。
  • 不需要对程序和数据的地址进行修改。
  • 绝对地址来源：编译或汇编时给出；程序员直接赋予。

通常情况，在程序中采用符号地址，编译或汇编时转换为绝对地址。

可重定位装入（静态重定位）

编译，链接后装入模块的起始地址通常从 0 开始，程序中指令和数据地址都是相对于起始地址的。
此时应采用可重定位装入方式。（早期多道批处理阶段）

• 根据内存当前情况，将装入模块装入内存适当位置。
• 重定位：装入时对目标程序中的相对地址进行修改的过程。

由于 地址转换 是在 装入时一次完成的，故称静态重定位。

• 一个作业装入内存时，必须给它分配要求的全部内存空间；若没有足够内存，则无法装入。
• 作业一旦进入内存，整个运行期间不能在内存中移动，也不能再申请内存空间。

动态运行时装入

亦称 动态重定位。若程序需要在内存中发生移动，需要采用的装入方式。（现代操作系统）

• 装入模块进入内存后，不会立即将相对地址转换为绝对地址，而是将地址转换推迟到程序真正执行时候。
• 装入内存后的地址为相对地址，因此需要一个 **重定位寄存器（存放装入模块的起始位置）**的支持。
• 优点
  • 可以将程序分配到不连续的存储区。
  • 程序运行之前只需要装入部分代码即可投入运行。
  • 运行期间根据动态申请分配内存。
  • 便于程序段的共享。

逻辑地址与物理地址

• 物理地址：内存中物理单元的集合，地址转换的最终地址。可执行程序将可执行代码装入内存时，将逻辑地址转换为物理地址的过程 —— 地址重定位。
• 逻辑地址：OS 通过内存管理部件（MMU）将进程的逻辑地址转换为物理地址。逻辑地址通过页表映射到物理内存，页表由操作系统维护并被处理器引用。

进程的内存映像

程序调入内存运行时候，构成进程的内存映像。构成要素如下：

• 代码段：程序的二进制代码，只读，可被多进程共享。
• 数据段：程序运行时加工处理的对象，包括全局部变量，静态变量。

代码段，数据段 调入内存时就指定大小。

• 进程控制块（PCB）：存放在系统区。OS 通过 PCB 管理和控制进程。
• 堆：存放动态分配的变量。通过调用 malloc 函数动态地从低地址向高地址分配空间。

堆，调用 malloc 和 free 等 C 语言标准库函数时候，堆可以在运行时动态地扩展和收缩。

• 栈：用来实现函数调用。从用户空间（地址最高）最高地址向低地址增长。

用户栈 运行时候 可以动态地扩展和收缩

• 调用一次函数，栈增长；
• 从一个函数返回，栈收缩。

内存映像的其他相关部分

• 共享库：存放进程使用的共享函数库代码，如：printf（） 函数等。
• .init：只读代码段中，初始化时调用的 _init 函数。
• .text：用户程序的机器代码。
• .rodata：只读数据。
• .data：读/写数据段中，存放已初始化的全局变量和静态变量。
• .bss：未初始化的数据以及所有初始化为 0 的全局变量和静态变量。

内存保护

内存共享

• 只有只读区域可以实现共享。
• 可重入代码，亦称 纯代码：一种允许多个进程同时访问但不允许被任何进程修订的代码。

实际执行时，可以为每一个进程分配局部数据区，将执行中可能改变的部分复制到该数据区。
这样，程序执行时，只对该私有数据区中的内存进行修改，并不改变共享代码。

内存分配与回收

存储管理方式随着操作系统的发展而发展。在操作系统由单道向多道发展时，存储管理方式便由单一连续分配发展为固定分区分配。为了能更好地适应不同大小的程序要求，又从固定分区分配发展到动态分区分配。为了更好地提高内存的利用率，进而从连续分配方式发展到离散分配方式——页式存储管理。
引入分段存储管理的目的，主要是满足用户在编程和使用方面的要求，其中某些要求是其他几种存储管理方式难以满足的。

二. 连续分配管理方式

连续分配：即为一个用户程序分配一个连续的内存空间。包括单一连续分配，固定分区分配和动态分区分配。

单一连续分配

• 内存被分为系统区和用户区
  • 系统区：仅供操作系统使用，通常在低地址部分。
  • 用户区：用户内存仅有一道用户程序，独占内存。
• 特点：
  • 优点：简单，无外部碎片；不需要内存保护（由于程序独占内存）。
  • 缺点：只能用于单用户，单任务的操作系统；有内部碎片；存储器利用率低。

内部碎片现象：程序小于分区大小，但也会占用一个完整内存分区，出现空间浪费。

固定分区分配

最简单的多道程序存储管理方式。

• 将用户内存空间划分为若干个固定大小的分区，每个分区只装入一道作业。空闲分区时，便可从外部后备作业队列选择装入。
• 划分分区的方法
  • 分区大小相等。程序太小造成浪费，太大无法装入，缺乏灵活性。
  • 分区大小不等。划分为多个较小分区、适中中等分区和少量大分区。
• 为了方便分配回收，建立分区使用表，通常按分区大小排序。包含部分如下：
  • 分区起始地址
  • 分区大小
  • 分区的状态（是否已分配）

存在的问题：

• 程序太大不能放入任何一个分区。
• 有内部碎片：程序小于一个固定分区，也会占用一个完整内存分区，出现空间浪费。
• 固定分区方式无外部碎片，但是不能实现多进程共享一个主存区，存储空间利用率低。

动态分区分配

基本原理

内存分配与回收方法

假设采用空闲分区表结构

• 内存分配
  • 分配的空间大小 > 需要的内存空间大小：仅仅修改对应分区的大小和起始地址。
  • 分配的空间大小 = 需要的内存空间大小：直接删除该空闲分区对应的表项。
• 内存回收

动态分配算法

作业装入主存时，需要按照一定的分配算法从空闲分区链（表）中选择分区，以分配给该作业。按分区检索方式，分为顺序分配算法，索引分配算法。

基于顺序搜索的分配算法

• 顺序分配算法：依次搜索该空闲分区链上的空闲分区，以寻找大小满足要求的分区。
• 系统很大时，空闲分区链可能很长，顺序分配算法可能很慢。
• 分为以下四种：

首次适应（First Fit）算法

邻近适应（Next Fit）算法

最佳适应（Best Fit）算法

最坏适应（Worst Fit）算法

算法总述

基于索引搜索的分配算法

• 根据大小对空闲分区进行分类，每类（大小相同）空闲分区单独设置空闲分区链，并设置索引表来管理空闲分区链。
  • 当为进程分配空间时，在索引表中查找所需空间大小对应的表项，从中多道对应空闲分区链的头指针，进而获得空闲分区。

快速适应算法

空闲分区分类依据：根据进程常用空间大小进行划分。

分配过程：

• 首先根据进程长度，在索引表中找到能容纳它的最小空闲分区链表。
• 从链表中取出第一块进行分配。

优点：查找效率高，不产生内部碎片。
缺点：回收分区时，需要有效合并分区，算法比较复杂，系统开销大。

伙伴系统

规定所有分区大小均为 2 的 k 次幂（k 为正整数）。

• 当请求分配大小为 n 时【2^(i-1) < n ≤ 2^i】，在大小为 2^i 的空闲分区链中查找；
  • 若找到，则直接分配给进程。
  • 否则，表示大小为 2^i 空闲分区已耗尽。需要在大小为 2^(i+1) 的空闲分区链 继续查找。
    • 若找到，则将该空虚分区等分为两个大小为 2^i 的空闲分区，称为一对伙伴。将一个用于分配，一个插入大小为 2^i 的空闲分区链。
    • 若不存在，则继续查找，直到找到。
  • 回收时，可能需要对伙伴分区进行合并。

哈希算法

• 根据空闲分区链分布规律，建立哈希函数，构建以空闲分区大小为关键字的哈希表。每个表项记录一个对应空闲分区链的头指针。
• 分配时，根据所需分区大小，根据哈希函数计算所在哈希表中的位置，得到相应的空闲分区链表。