【操作系统OS笔记04】内存分层体系、地址生成、连续内存分配概论

【操作系统/OS笔记04】内存分层体系、地址生成、连续内存分配概论

本次笔记内容： 3.1 计算机体系结构及内存分层体系 3.2 地址空间和地址生成 3.3 连续内存分配：内存碎片与分区的动态分配 3.4 连续内存分配：压缩式与交换式碎片整理

文章目录

【操作系统/OS笔记04】内存分层体系、地址生成、连续内存分配概论物理内存计算机体系结构内存分层体系在操作系统中管理内存的不同方法 地址空间和地址生成地址空间定义逻辑地址生成物理地址生成 连续内存分配内存碎片首次适配算法最优适配算法最差适配算法 压缩式碎片整理（紧致算法）交换式碎片整理

---

物理内存

计算机体系结构

主要包含CPU（完成对程序执行的控制）、内存（代码、处理数据）、外设。内存的层次结构： CPU访问寄存器、cache，这两者在CPU内部，速度快、容量小，操作系统无法直接对其进行管理。主存（物理内存），速度相对慢，容量大一些；主存掉电，数据清空。把数据放入**磁盘（虚拟内存）**中存储。速度慢，容量大。 速度、容量不可兼得，因此需要操作系统管理。

内存分层体系

逻辑地址空间： 连续的；物理空间： 存在隔离，为了保护独立地址空间。

图中，主存不够，P4的代码和数据被导到硬盘上去（因为不紧急）。

在操作系统中管理内存的不同方法

程序重定位分段分页虚拟内存按需分页虚拟内存

地址空间和地址生成

地址空间定义

物理地址空间和硬件直接对应逻辑地址空间是一维线性地址空间：一个运行的程序所拥有的内存范围物理地址和逻辑空间的映射关系需要操作系统管理。

逻辑地址生成

例：c程序通过编译、汇编、链接、载入生成程序在内存中的地址。

.c file 函数位置、变量名即逻辑地址.s file 汇编语言中更加贴近机器语言，但是依然用符号代表变量名字.o file 机器语言中，起始地址都是从0开始的linker将一个项目中多个.o file变成一个单一的executable file。executable file中，不同的.o file程序的地址在单一程序中已经有各自的定义。executable file载入内存中，可能会有偏移量，执行。

上述是逻辑地址生成的过程。

物理地址生成

CPU根据指令，查找逻辑地址的物理地址在什么地方。根据什么查找？MMU将逻辑地址映射到物理地址。

具体步骤：

CPU执行某条指令时，算术逻辑单元(arithmetic and logic unit, ALU)发出请求：逻辑地址；

CPU中MMU表查找逻辑地址对应的物理地址，如果没有去内存中找；

找到后，CPU控制器给主存发出情况：需要某个物理地址上的内容。

主存把内存的内容通过总线传给CPU，CPU执行。

操作系统起了什么作用？

操作系统在四步之前，要把映射建立好；确保访问的地址空间是合法、安全的。

连续内存分配

内存碎片

无法进一步利用的空间。外碎片： 分配单元间的碎片；内碎片： 分配单元内没有使用的碎片。

用数据结构算法进行管理。

首次适配算法

需求：

按地址排序的空闲块列表分配需要寻找一个合适的分区重分配需要检查，看是否自由分区能合并于相邻的空闲分区（若有）

优势：

简单易于产生更大的空闲块，向着地址空间的结尾

劣势：

外部碎片不确定性

最优适配算法

优势：

当大部分分配是小尺寸时非常有效比较简单

劣势：

外部碎片重分配慢易产生很多没用的微小碎片

最差适配算法

优势：

分配是中等尺寸效果最好

劣势：

重分配慢外部碎片抑郁破碎大的空间块以致大分区无法被分配

总结：应该使用更加有效的算法进行内存分配。

压缩式碎片整理（紧致算法）

看起来很简单，但是重定位的时机、开销都需要考虑。比如运行时无法操作。

交换式碎片整理

利用起硬盘，将等待中的内存放到硬盘上。

问题为：哪些程序进行交换？开销？