Chap7. 内存管理 (Memory Management)

1. 内存管理的核心基础

在多道程序设计系统（Multiprogramming system）中，主内存（Main memory）必须被合理地划分和管理。

• 内存管理 (Memory Management) 的定义：由操作系统自动完成的、在操作系统与用户进程之间划分和分配内存空间的任务被称为内存管理。
• 内存管理满足的系统需求：内存管理机制需要满足多种系统层面的需求，主要包括保护（Protection）、重定位（Relocation）以及物理组织（Physical organization）等。
• 重定位 (Relocation)：这是内存管理中的一项重要任务，指的是为了支持交换（Swapping）操作，将进程映像（Process image）在内存的不同区域之间进行移动的过程。
• 覆盖技术 (Overlaying)：这是一种程序和数据的组织实践，通过这种方式，可以将程序的不同模块分配到内存的同一个区域中，从而节省空间。

2. 内存地址的分类

理解内存地址的区别是学习内存管理的关键前提。

• 逻辑地址 (Logical Address)：指对内存位置的引用，这种引用是独立于当前数据在内存中的实际物理分配的。物理内存地址绝不能与逻辑地址混淆。
• 绝对地址 (Absolute Address)：指代主内存中真实存在的、实际的物理存储位置。
• 相对地址 (Relative Address)：使用相对地址的程序通常是通过动态运行时加载（Dynamic run-time loading）机制被加载到内存中的。

3. 内存分区技术 (Partitioning Techniques)

早期的内存管理主要通过对内存进行分区来实现。了解它们的缺陷（尤其是“碎片”问题）有助于理解现代内存管理技术的演进。

3.1 碎片化问题 (Fragmentation)

在讲解具体技术前，必须先理清两种“内存浪费”的现象：

• 内部碎片 (Internal Fragmentation)：当加载到分区中的数据块小于该分区的大小时，分区内部会产生未被使用的浪费空间，这种现象称为内部碎片。
• 外部碎片 (External Fragmentation)：在内存分配过程中，现有分区之外产生的、由于太小而无法被利用的空闲内存块，这种现象称为外部碎片。

3.2 固定分区 (Fixed Partitioning)

这是一种很大程度上已经被淘汰的早期技术。

• 主要问题：固定分区面临着三大问题：只允许固定数量的进程运行、内存使用效率低下，以及严重的内部碎片问题。固定分区的主要问题并非外部碎片。
• 优化方案：为了减轻固定分区带来的内部碎片问题，系统可以采用大小不等的分区 (Unequal size partitions) 策略。

3.3 动态分区 (Dynamic Partitioning)

动态分区根据进程的实际需要为其分配确切大小的内存。

• 主要问题：动态分区技术会导致外部碎片的产生。
• 解决方案：使用压缩技术 (Compaction)。压缩是指将所有进程移动到连续的内存块中，从而将所有空闲的内存聚合汇总成一个单一的大空闲块。
• 放置算法 (Placement Algorithms)：当有新进程需要载入时，系统需要决定将其放入哪个空闲块中。
  • 最佳适应算法 (Best-fit)：选择大小最接近请求大小的空闲块。注意：最佳适应算法通常不是可用算法中性能最好的，因为它会产生大量微小的外部碎片。
  • 首次适应算法 (First-fit)：该算法并非从上一次放置的位置开始扫描，而是通常从头开始扫描内存，寻找第一个足够大的空闲块。
  • 下次适应算法 (Next-fit)：从上一次放置发生的位置开始扫描内存，并选择下一个足够满足请求的可用空闲块。

3.4 伙伴系统 (Buddy System)

• 概念：伙伴系统是一种结合了固定分区和动态分区（可变分区）两者特点的方案，它是克服这两种方案各自缺点的合理折中选择。

4. 现代内存管理技术：分页与分段 (Paging & Segmentation)

在几乎所有现代的多道程序设计系统中，内存都是通过一种极其复杂的、被称为虚拟内存 (Virtual Memory) 的技术来进行管理的。虚拟内存的概念建立在两种基本技术的基础之上（或二者兼有）：分段 (Segmentation) 和 分页 (Paging)。

4.1 分页系统 (Paging)

分页系统将进程和内存都划分为大小固定且相等的块。

• 核心概念：进程的块被称为页 (Pages)，而可用内存的块被称为帧 (Frames)。在分配时，进程的页会被分配到主存中可用的帧里。
• 页表 (Page Table)：系统会为每个进程维护一个页表。页表的作用是记录进程中每一个页 (Page) 所对应的物理帧 (Frame) 的位置。
• 碎片情况：采用分页策略的系统会遭受轻微的内部碎片（通常发生在进程的最后一页），但完全没有外部碎片。系统浪费的空间主要是由内部碎片引起的。

4.2 分段系统 (Segmentation)

分段系统根据程序的逻辑结构（如函数、对象等）将其划分为不同的部分。

• 核心概念：在分段系统中，程序及其相关数据被划分为若干个段 (Segments)。关键点在于，这些段的长度不需要相等（即不必大小一致）。
• 段表 (Segment Table)：分段系统利用段表来工作，段表提供了每个对应段在主内存中的起始地址 (Starting address)。
• 碎片情况：与分页系统相反，采用分段策略的系统会遭受轻微的外部碎片，但完全没有内部碎片。在分段系统中，被浪费的内存空间主要是由于外部碎片导致的。