要点
程序的装入和链接
连续分配存储管理方式
分页存储管理方式
分段存储管理方式
虚拟存储器、请求分页/分段、页面置换算法
存储器结构
主存:保存进程运行时的程序和数据
寄存器:速度最快,价格昂贵容量不大,一般以字为单位,只要存放指令一次操作的数据就够了 。
cpu寄存器
高速缓存
主存(磁盘缓存)
磁盘(可移动存储介质)
程序的装入和链接
多道程序环境下,程序运行必须为之先建立进程。创建进程的第一件事,将程序和数据装入内存。
用户源程序——内存中执行的程序
1.编译compiler 2.链接link 3.装入load
1)地址的概念
①逻辑地址(相对地址,虚地址)
用户的程序经过汇编或编译后形成目标代码,目标代码中的指令地址是相对地址。
一般首地址为0,其余指令中的地址都相对于首地址来编址。
不能用逻辑地址在内存中读取信息
②物理地址(绝对地址,实地址)
内存中存储单元的地址。
物理地址可直接寻址被执行。
③地址映射:
将用户程序中的逻辑地址转换为运行时由机器直接寻址的内存物理地址的过程。
2)程序装入中的地址处理
逻辑地址 ====== 物理地址
①绝对装入方式
逻辑地址 →重定位→物理地址
②静态可重定位装入方式
③动态运行时(重定位)装入方式
- 绝对装入方式
编译程序生成的“目标代码”就是”装入模块” ,逻辑地址直接从某个地址R处增长,装入模块直接装入内存地址R处。
2.静态可重定位装入
地址映射在程序执行之前进行,重定位后物理地址不再改变。可由专门设计的重定位装配程序完成(软):装入时根据所定位的内存地址去修改每个逻辑地址,添加相应偏移量,重定位为物理地址。
3.动态运行时(重定位)装入方式
实际运行中往往会需要程序在内存中的各位置移动,即经常需要重定位到不同的物理地址上。这种运行时移动程序要求地址变换要快速,实现时一般依靠硬件地址变换机构一个重定位寄存器。
3)不同的程序链接装入方式
①静态链接:装入运行前将多个目标模块及所需库函数链接成一个整体,以后不再拆开。
②装入时动态链接:装入内存时,边装入边链接的链接方式。
由一个目标模块开始装入,若又涉及外部模块调用事件,装入程序再找出相应的外部目标模块,并将它装入内存,还要修改目标模块中的相对地址。
③运行时动态链接:对某些目标模块的链接,在执行中需要该目标模块时,才对它进行链接。
许多情况下,事先不知道某应用程序本次运行需要哪些模块,只能全部装入,装入时全部链接在一起,效率低。
连续分配方式
(1)单一连续分配
内存分为系统区和用户区两部分
系统区:仅提供给OS使用,通常放在内存低址部分
用户区:除系统区以外的全部内存空间,提供给用户使用。
(2)固定分区分配
把内存分为一些大小相等或不等的分区(partition),每个应用进程占用一个分区。操作系统占用其中一个分区。
具体实现
①如何划分分区大小
分区大小相等:只适合于多个相同程序的并发执行(处理多个类型相同的对象)。缺乏灵活性。
分区大小不等:多个小分区、适量的中等分区、少量的大分区。根据程序的大小,分配当前空闲的、适当大小的分区。
②需要的数据结构
建立一记录相关信息的分区表(或分区链表),表项有:
| 起始位置 | 大小 | 状态 |
③分配回收操作
程序分配内存的过程
①将分区表分为两个表格:空闲分区表/占用分区表。从而减小每个表格长度。
②检索算法:空闲分区表可能按不同分配算法采用不同方式对表项排序(将分区按大小排队或按分区地址高低排序)。
③过程:检索空闲分区表;找出一个满足要求且尚未分配的分区,分配给请求程序;若未找到大小足够的分区,则拒绝为该用户程序分配内存。
(3)动态分区分配
①分区的大小不固定:在装入程序时根据进程实际需要,动态分配内存空间,即——需要多少划分多少。
②空闲分区表项:从1项到n项:内存会从初始的一个大分区不断被划分、回收从而形成内存中的多个分区。
具体实现:
1)分区分配中的数据结构
1.空闲分区表:
记录每个空闲分区的情况。
每个空闲分区对应一个表目,包括分区序号、分区始址及分区的大小等数据项。
2.空闲分区链:
每个分区的起始部分,设置用于控制分区分配的信息,及用于链接各分区的前向指针;
分区尾部则设置一后向指针,在分区末尾重复设置状态位和分区大小表目方便检索。
2)分区分配算法
①首次适应算法FF
1.空闲分区排序:以地址递增的次序链接。
2.检索:分配内存时,从链首开始顺序查找直至找到一个大小能满足要求的空闲分区;
3.分配:从该分区中划出一块作业要求大小的内存空间分配给请求者,余下的空闲分区大小改变仍留在空闲链中。
②循环首次适应算法
1.空闲分区排序:按地址
2.检索:从上次找到的空闲分区的下一个空闲分区开始查找,直到找到一个能满足要求的空闲分区。为实现算法,需要:设置一个起始查寻指针、采用循环查找方式
3.分配:分出需要的大小
③最佳适应算法
1.空闲分区排序:所有空闲分区按容量从小到大排序成空闲分区表或链。
2.检索:从表或链的头开始,找到的第一个满足的就分配
3.分配:分出需要的大小
④最差适应算法
基本不留下小空闲分区,但会出现缺乏较大的空闲分区的情况。
⑤快速适应算法**
根据进程常用空间大小进行划分,相同大小的串成一个链,需管理多个各种不同大小的分区的链表。进程需要时,从最接近大小需求的链中摘一个分区。类似的:伙伴算法
3)分区分配操作
①分配内存
②回收内存
③回收分区
4)动态重定位分区分配
5)内存空间管理之对换
存储管理的离散分配方式
(1)基本分页存储管理
(2)基本分段存储管理
(3)段页式存储管理
基本分页存储管理方式
不具备对换功能的纯分页模式,作业运行需要全部装入内存。
1)页面的概念
内存划分成多个小单元,每个单元K大小,称(物理)块。作业也按K单位大小划分成片,称为页面。
① 物理划分块的大小 = 逻辑划分的页的大小
②页面大小要适中。
2)页表的概念
①为了找到被离散分配到内存中的作业,记录每个作业各页映射到哪个物理块,形成的页面映射表,简称页表。
②作用:页号到物理块号的地址映射
③找到作业A:首先找到页表(PCB),其次根据页表找到物理块
3)地址的处理
连续方式下,每条指令用基地址+偏移量即可找到其物理存放的地址。
4)地址变换机构
分页系统中,进程创建,放入内存,构建页表,在PCB中记录页表存放在内存的首地址及页表长度。
5)快表
6)多级页表
①两级页表②多级页表③反置页表
基本分段存储管理方式
固定分区 动态分区 分页
1)分段系统的基本原理
程序通过分段(segmentation)划分为多个模块,每个段定义一组逻辑信息。如代码段(主程序段main,子程序段X)、数据段D、栈段S等。
分段下的相对地址:
地址结构:段号 + 段内地址
段表:记录每段实际存放的物理地址
2)段表与地址变换机构
段是连续存放在内存中。段表中针对每个“段编号”记录:“内存首地址”和“段长”
3)分页和分段的主要区别
①需求:分页是出于系统管理的需要,是一种信息的物理划分单位,分段是出于用户应用的需要,是一种逻辑单位,通常包含一组意义相对完整的信息。
一条指令或一个操作数可能会跨越两个页的分界处,而不会跨越两个段的分界处。
②大小:页大小是系统固定的,而段大小则通常不固定。分段没有内碎片,但连续存放段产生外碎片,可以通过内存紧缩来消除。相对而言分页空间利用率高。
③逻辑地址:
分页是一维的,各个模块在链接时必须组织成同一个地址空间;
分段是二维的,各个模块在链接时可以每个段组织成一个地址空间。
④其他:通常段比页大,因而段表比页表短,可以缩短查找时间,提高访问速度。分段模式下,还可针对不同类型采取不同的保护;按段为单位来进行共享
4)信息共享
5)段页式存储管理方式
① 基本原理
将用户程序分成若干段,并为每个段赋予一个段名。
把每个段分成若干页
地址结构包括段号、段内页号和页内地址三部分
②地址变换过程
转换表