存储管理的主要任务是为多道程序的运行提供良好的环境,方便用户使用存储器,提高存储器的利用率以及逻辑上扩充存储器。
功能:
应用程序从用户编写的源文件到内存中执行的进程,大致分为三个阶段:
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
一些小笔记
名地址:对程序设计者来说,数据的存放地址由数据名称决定,因此称为名地址。
相对地址(虚拟地址、逻辑地址):源程序经过编译后得到目标代码,由于编译程序无法得知代码驻留在内存的实际位置(物理地址),一般总是从0号单元开始编址,并顺序分配所有地址单元,并不是真实的内存地址。
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
重定位:通过地址转换将逻辑地址转换为物理地址的过程。
程序的链接有三种方式:
程序的装入也有三种方式:
逻辑地址:由程序产生的与段(与页无关,因为只有段对用户可见)相关的便宜地址部分。总是从0号带能源开始编址。
物理地址:出现在CPU外部地址总线上的寻址物理地址内存的地址信号,是逻辑地址变换后的最终结果地址。
内存保护是为了防止一个作业有意或无意地破坏操作系统或其他作业。常用的方法有有界限寄存器和存储保护键方法。
覆盖技术:把大的程序划分为一些列覆盖,每个覆盖是一个相对独立的程序单位。把程序执行时并不要求同时装入内存的覆盖组成一组,称为覆盖段。覆盖区大小由覆盖段中最大的覆盖来决定。
交换技术:把暂时不用的某个程序及数据部分(或全部)从内存移到外存中;或把指定的程序或数据从外存读到相应的内存中,并将控制权转交给它,让其在系统上运行。
内部碎片:指已经分配给作业但不能被利用的内存空间
外部碎片:指系统中还没有分配给作业,但由于碎片太小而无法分配给申请内存空间的新进程的存储块。
将内存分为两个连续存储区域,其中一个存储区域固定地分配给操作系统使用,通常放在内存低地址部分,另一个存储区域给用户作业使用。
会产生内部碎片
将内存空间划分为若干个固定大小的分区,每个分区可以装入一道程序。
为实现动态分区分配,系统中需设置相应的数据结构来记录内存的使用情况。常用的数据结构形式如下。
分区分配算法
分页原理
在分页存储管理中,用户作业的地址空间被划分成若干个大小相等的区域,称为页或页面。相应地,将主存的存储空间也分成与页面大小星等的区域,称为块或物理块。可以将作业中的任意一页放到主存的任意一块中。
分页存储管理系统中的逻辑地址包含两部分:页号P,业内位移W。
页表
页面和物理块的映射关系。
基本地址变换机构
具有快表的地址变换机构
页的共享和保护:使共享用户地址空间中的页指向相同的物理块。地址越界保护,访问控制信息保护。
在分段存储管理系统中,作业的地址空间由若干个逻辑分段组成,每个分段式一组逻辑意义上相对玩真的信息集合,每个分段都有子集的名字,每个分段都从0开始编址,并采用一段连续的地址空间。
分段管理系统的逻辑地址结构由段号S和段内位移W组成。
段表及地址映射
分页与分段的区别
页是信息的物理单位;段是信息的逻辑单位。
页的大小固定且由系统决定;段的长度不固定。
分页系统中作业的地址空间是一维的;分段系统中作业的地址空间是二维的。
分页系统有内部碎片,无外部碎皮;分段系统中无内部碎片,有外部碎片。
作业的地址空间首先被分成若干个逻辑分段,每段都有自己的段号,然后再将每一段分成若干个大小固定的页。、
大多数程序执行时,再一个较短的时间内仅使用程序代码的一部分,相应地,程序所访问的存储空间也局限于某个区域,这就是程序执行的局部性原理。表现为:时间局部性、空间局部性。
常用的虚拟存储管理技术有请求分页存储管理、请求分段存储管理和请求段页式存储管理。
作业运行之前,只要将当前需要的一部分页面装入主存,便可以启动作业运行。在作业运行过程中,若索要访问的页面不在主存中,则通过调页功能将其调入,同时还可以通过置换算法将暂时不用的页面置换到外存上,以腾出内存空间。
请求分页=基本分页+请求调页功能+页面置换功能
页表中个字段的作用如下
用来选择患处页面的算法。
在预知一个进程的页面号引用串的情况下,没看此都淘汰以后不再使用的或以后最迟别使用的页面。无法实现,只能作为一个标注来衡量其他置换算法的优劣。
每次总是淘汰最先进内存的页面,也就是淘汰在内存驻留时间最长的页面。
选择最近最长时间没有被使用的页面语义淘汰。
在常用的页面置换算法中,LRU算法最接近最佳置换算法。
CLOCK维护一个内存中所有页面的循环链表,当程序需要访问链表中存在的页面时,该页面的访问位就被置为1;否则,若程序要访问的页面没有在链表中,那就需要淘汰一个内存中的页面,于是一个指针就从上次别淘汰页面的下一个位置开始顺序遍历链表,当这个指针指向的页面的访问位为1时,就把该访问位清零,指针再向下移动,当指针指向的页面的访问位为0时,淘汰这一页面。
在访问位为0的进程间有限淘汰没有修改过的页面。
与简单CLOCK算法相比,减少了磁盘I/O次数,但增加了扫描次数。
工作集是最近n次内存访问的页面的集合。
页面分配策略:固定分配局部置换、可变分配全局置换、可变分配局部变换。
页面调入策略:请求调页策略、预调页策略。
FIFO置换算法的缺页率可能会随着所分配的物理块数的增加而增加,这种现象就是Belady异常。
产生Belady异常的原因:FIFO算法的置换特征预进程访问内存的动态特征相矛盾,被置换的页面并不是进程不会访问的。
LRU永远不会出现Belady异常。
抖动现象:若选用的页面置换算法不合适,可能会出现这种现象:刚被淘汰的页面,过后不久又要访问,并且调入不久后又调出,如此反复,使得系统吧大部分时间用在了页面的调入调出上,而几乎不能完成任何有效的工作,这种现象称为抖动。
离散分配方式的比较
内存管理方式的比较
十六进制、八进制、二进制对应的后最分别为字母H、O、B。
在请求分页系统中,若将逻辑地址转换为物理地址,处理过程如下:
有效访问时间(EAT)指给定逻辑地址找到内存中对应物理地址单元中的数据所有的的时间。
没有块表的情况
访存一次所需时间为t,有效访问时间分为:查找页表找到对应页表项,需要访存一次,消耗时间t;通过对应页表项中的物理地址访问对应内存单元,需要访存一次,消耗时间t。
因此,EAT=t+t=2t。
存在快表的的情况
设访问快表的时间为a,访存一次时间为t,快表命中率为b,则有效访问时间分为:查找对应页表项的平均时间a*b+(t+a)(1-b)。其中,a表示快表命中所需查找时间;t+a表示查找快表未命中时,需要再次访存读取页表找到对应页表项,两种情况的概率分别为b和1-b,可以计算得到期望值,即平均时间。通过页表项中的物理地址访存一次取出所需数据,消耗时间t。因此,EAT=a*b+(t+a)(1-b)+t。
与基本分页管理方式相比,多了缺页中断的情况,需要耗费而外的时间,因此计算有效访问时间时,要将缺页这种情况考虑进去。
然后加入缺页率和命中快表的概率,将上述3中情况组合起来,形成完整的有效访问呢时间计算公式。设命中快表的概率为d,缺页率为f,则
EAT=查找快表时间+d*根据物理地址访存时间+(1-d)*[查找页表时间+f*(处理缺页时间+查找快表时间+根据物理地址访存时间)+(1-f)*(修改快表时间+根据物理地址访存)]=a+d*t+(1-d)[t+f(T+a+t)+(1-f)(a+t)].
快表访问和修改时间,若没有说明则默认没有快表,将命中率和访问时间变为0即可。如忽略访问和修改快表的时间,则将a变为0即可。
关于处理缺页中断时间T的计算,若题中没有说明被置换出的页面是否被修改,则缺页中断时间统一为T。若分修改和未修改的情况,设被修改的概率为n,处理被修改的页面的时间为T1,处理未修改的页面的时间为T2,则T=n*T1+(1-n)T2.
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
MFC项目在vs2017编译正常无报错,但是升级vs2019后一打开项目就报如下错误。 项...
这5个PHP编程中的不良习惯,一定要改掉 PHP世界上最好的语言! 测试循环前数组是...
本文实例为大家分享了javascript实现倒计时提示框的具体代码,供大家参考,具体...
首先到这里下载其源码。里面东西挺多的,我们基本上可以把它放到两个文件夹就是...
本文实例为大家分享了vue实现按钮切换图片的具体代码,供大家参考,具体内容如下...
由于固态驱动器(SSD)的速度比传统的硬盘驱动器(HDD)快得多,并且价格越来越便宜...
目录 读者基础 ?微服务架构梳理 https://www.coder4.com/homs_online/ ? ? 读者...
目录 1. C语言文件接口(库函数) 1.1 fopen 1.2 fclose 1.3 fread 1.4 fwrite 1.5...
在大三的时候,一直就想搭建属于自己的一个博客,但由于各种原因,最终都不了了...
今天看到个不错的网页播放器,感觉不错,大家可以测试 我写的一个播放器网页: ...