Windows 内核实验-内存管理基本知识.ppt

内存管理基本知识 操作系统课程组 存储结构层次 地址重定位 基本概念 地址重定位 常见的地址重定位技术 绝对装入(Absolute loading) / 固定地址再定位 程序的地址再定位是在程序执行之前被确定的，也就是在编译连接时直接生成实际存储器地址(物理地址)。在此，程序地址空间和内存地址空间是一一对应的。 可重定位装入(Relocatable Loading) 即指程序装入内存时，由于程序的逻辑地址和物理地址不一致，由逻辑地址到物理地址的映射过程。 分类 静态再定位：指地址定位时修改程序的逻辑地址值，完成定位后，在程序的执行期间地址将不再发生变化。特点：在程序执行之前进行地址再定位。 动态再定位：程序在装入内存时，不修改程序的逻辑地址值，程序在访问物理内存之前，再实时地将逻辑地址转换成物理地址。 存储管理方案分类 从操作系统的发展历史来看，存储管理主要有以下几种方案： 分区存储管理方案 段式存储管理方案 页式存储管理方案 段页式存储管理方案 交换技术和覆盖技术 虚拟存储管理方案 分区存储管理方案 分区存储管理 是一种连续分配存储空间的管理方式。曾被广泛地应用于1960～1970年代的操作系统中。 思想：把内存分为一些大小相等或不等的分区(Partition)，装入时每个应用程序占用一个或几个分区，操作系统占用其中一个分区。适用于多道程序系统和分时系统，支持多个程序并发执行。 分类 单一连续分区存储管理 固定分区管理 可变分区管理 页式存储管理 基本原理 页式存储管理 地址变换过程 段式存储管理 基本思想 段式存储管理 地址变换过程 段页式存储管理 思想 段页式存储管理 地址变换过程 虚拟存储技术 原理： 在程序装入时，不必一次将其全部读入到内存，而只需将当前需要执行的某些区域读入到内存，然后程序开始执行。在程序执行过程中，如果需执行的指令或访问的数据尚未在内存，则由处理器通知操作系统将相应的区域调入内存，然后继续执行。 带来的好处 程序的大小可以突破内存容量限制，使得用户感觉到系统好像提供了一个容量极大的“主存”。 内存中容纳更多程序并发执行。 虚拟页式存储技术 工作原理 虚拟页式存储技术 页面淘汰算法 页面置换算法决定在需要调入页面时，选择内存中哪个物理页面被置换。 出发点：希望把未来不再使用的或者短时期内较少使用的页面调出。 常见的页面淘汰算法 最佳算法(OPT) 思想：选择从当前时刻开始以后不在使用的页面淘汰，如果没有这类页，则选择离当前页最远位置上出现的页面淘汰。 优点：使得页面调入调出的次数达到最小，这是一种理想情况。 缺点：实际上无法实现，因为系统无法预知未来页面的访问情况。因此只能用作理论上性能评价的标准。 先进先出页面淘汰算法(FIFO) 思想：选择最早调入内存的页面淘汰。 出发点：近期调入的页面被再次访问的概率要大于早期调入的页面。 问题：事实上并非所有的时候都这样。此时FIFO算法的性能较差。 虚拟页式存储技术 最近最少使用页面淘汰算法(LRU, Least Recently Used) 思想：每次选择内存中离当前时刻最久未使用过的页面淘汰。 根据：局部性原理。 优点： 不会出现Belady现象 性能较好，接近OPT算法 缺点： 算法效率不高 需要对整个页表频繁进行维护。 比较是算法的基本操作，当页面较多时会消耗大量时间。 References [1]方敏、王亚平、权义宁、王长山等编著，《计算机操作系统》，西安电子科技大学出版社，2004.8 * 访问 速度 频度 成本 容量 程序 符号地址/名地址 编译 0101010 0101101 0101010 1101010 目标文件 逻辑地址/相对地址 虚拟地址/程序地址 加载 内存 物理地址/绝对地址 定义：当程序被装入内存时，程序的逻辑地址被转换成内存的物理地址，这一过程称为地址重定位(由内存管理单元(MMU)完成)。 逻辑地址空间 0 1K 2K 3K 4K 物理地址空间 0 100K 101K 102K 103K 104K 105K 106K 107K 108K 109K OS 0 1 2 3 4 5 6 7 8 实页/主页 0 1 2 3 虚页：大小相同，常为2的整数幂。 2 0 3 1 映射关系 逻辑单位 内存管理采用可变分区动态分配法。 段表 总段表/系统段表 … … … … 起始地址 长度 … 作业ID … 段表控制寄存器 逻辑地址空间 物理地址空间 . . . 0 3K . . . 0 . . . 5K 0 3K 逻辑地址格式 逻辑地址空间 物理地址空间 0 1 2 3 4 5 6 7 8 ... … 0 1 2 CPU OS 缺页中断 缺页中断处 理子程序 3 页表 *