内存管理
内存空间的分配与回收
操作系统作为系统资源的管理者,需要对内存进行管理,要管理什么呢?
1.操作系统负责内存空间的分配与回收
2.操作系统需要提供某种技术从逻辑上对内存空间进行扩充
3.操作系统需要提供地址转换功能,负责程序的逻辑地址与物理地址的转换
4.操作系统需要提供内存保护功能。保证各进程在各自存储空间内运行,互不干扰
内存保护可采取两种方法:
方法一:在CPU中设置一队上下限寄存器,存放进程的上下限。进程的指令要访问某个地址时,CPU检查是否越界。
方法二:采用重定位寄存器(又称基址寄存器)和界地址寄存器(又称限长寄存器)进行越界检查。重定位寄存器中存放的是进程的起始物理地址。界地址寄存器中存放的是进程的最大逻辑地址。
覆盖于交换
覆盖技术
早期的计算机内存很小,经常会出现内存大小不够的情况,后来引入了覆盖技术,用来解决程序大小超过物理内存总和的问题。
覆盖技术的思想:将程序分为多个段(多个模块)常用的段常驻内存,不常用的段在需要时调入内存。
内存中分为一个“固定区”和若干个“覆盖区”
需要常驻内存的段放在固定区中,调入后就不再调出(除非运行结束)
不常用的段放在覆盖区,需要用到时调入内存,用不到时调出内存。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-6jA0qOGA-1606035999601)(file:///C:/WINDOWS/TEMP/msohtmlclip1/01/clip_image002.jpg)]
必须由程序员声明覆盖结构,操作系统完成自动覆盖。
缺点:对用户不透明,增加了用户编程负担
交换技术
交换(对换)技术的设计思想:内存空间紧张时,系统将内存中某些进程暂时换出外存,把外存中某些已经具备运行条件的进程换入内存(进程在内存与磁盘间动态调度)
暂时换出外存等待的进程状态为挂起状态(挂起态,suspend)
挂起态又可以进一步细分为就绪挂起,阻塞挂起两种状态。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-s8nC8ggc-1606035999603)(file:///C:/WINDOWS/TEMP/msohtmlclip1/01/clip_image004.jpg)]
1.应该在外存的什么位置保存被换出的进程?
具有对换功能的操作系统中,通常把磁盘空间分为文件区和对换区两部分。文件区主要用于存放文件,主要追求存储空间的利用率,因此对文件区空间的管理采用离散的分配方式;对换区空间只占磁盘空间的小部分,被换出的进程数据就存放在对换区。由于对换的速度直接影响到系统的整体速度,因此对换区空间的管理主要追求换入换出速度,因此通常对换区采用连续分配方式。总之,对换区的I/O速度比文件区更快。
2.什么时候应该交换?
交换通常在许多进程运行且内存吃紧时进行,而系统负荷降低就暂停。例如:在发现许多进程运行时经常发生缺页,就说明内存紧张,此时可以换出一些进程;如果缺页率明显下降,就可以暂停换出
3.应该换出哪些进程?
可优先换出阻塞进程;可换出优先级低的进程;为了防止优先级低的进程在被调入内存后很快又被换出,有的系统还会考虑进程在内存的驻留时间
(PCB会常驻内存,不会被换出外存)
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-V0wOsbXJ-1606035999605)(file:///C:/WINDOWS/TEMP/msohtmlclip1/01/clip_image006.jpg)]
连续分配管理方式
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-KdsmaKIE-1606035999607)(file:///C:/WINDOWS/TEMP/msohtmlclip1/01/clip_image008.jpg)]
单一连续分配
在单一连续分配方式中,内存被分为系统区和用户区。
系统区通常位于内存的低地址部分,用于存放操作系统相关数据,用户区用于存放用户进程相关数据
内存中只能有一道用户程序,用户程序独占整个用户区空间
优点:实现简单,无外部碎片;以可采用覆盖技术 扩充内存,不一定需要采取内存保护
缺点:只能用于单用户,单任务的操作系统中,有内部碎片(分配给某进程的内存区域中中,如果有些部分没有用上),存储器利用率极低。
固定分区分配
20世纪60年代出现了支持多道程序的系统,为了能在内存中装入多道程序,且这些程序之间又不会互相干扰,于是将整个用户空间划分为若干个大小固定的分区,在每个分区中只装入一道作业,这样就形成了最早的,最简单的一种可运行多道程序的内存管理方式。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-3icU9cwg-1606035999608)(file:///C:/WINDOWS/TEMP/msohtmlclip1/01/clip_image010.jpg)]
分区大小相等:缺乏灵活性,但是很适合用于一台计算机控制多个相同对象的场合(比如钢铁长有N个相同的炼钢炉,就可以把内存分为N个大小相等的区域存放N个炼钢炉控制程序)
分区大小不等:增加了灵活性,可以满足不同大小的进程需求。根据常在系统中运行的作业大小情况进行划分(比如:划分多个小分区、适量中等分区,少量大分区)
操作系统需要建立一个数据结构–分区说明表,来实现各个分区的分配与回收。每个表项对应一个分区,通常按分区大小排列。每个表项包括对应分区的大小,起始地址,状态(是否已分配)
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-1BR1HMlf-1606035999610)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119144847550.png)]
当某用户程序要装入内存时,由操作系统内核程序根据用户程序大小检索该表,从中找到一个能满足大小的、未分配的分区,将之分配给该程序,然后修改状态为“已分配”。
有点:实现简单,无外部碎片
缺点:1.当用户程序太大时,可能所有的分区都不能满足需求,此时不得不采用覆盖技术来解决,但这又会降低性能 2.会产生内部碎片,内存利用率低。
动态分区分配
动态分区分配又称为可变分区分配。这种分配方式不会预先划分内存分区,而是在进程装入内存时,根据进程的大小动态地建立分区,并使分区的大小正好适合进程的需要。因此系统分区的大小和数目是可变的。
1.系统要用什么样的数据结构记录内存的使用情况?
两种常用的数据结构:空闲分区表,空闲分区链
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Byw9E744-1606035999612)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119150327636.png)]
空闲分区表:每个空闲的分区对应一个表项。表项中包含分区号、分区大小、分区起始地址等信息
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-wo0laXEN-1606035999612)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119150249434.png)]
空闲分区链:每个分区的起始部分和末尾部分分别设置前向指针和后向指针。起始部分处还可记录分区大小等信息。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-3wWRezvq-1606035999618)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119150649713.png)]
2.如何进行分区的分配与回收操作?
情况一:回收区的后面有一个相邻的空闲分区,两个相邻的空闲分区合并为一个
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-wLlKpYch-1606035999621)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119153001599.png)]
情况二:回收区的前面有一个相邻的空闲分区,两个相邻的空闲分区合并为一个
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ganf76nw-1606035999623)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119153031657.png)]
情况三:回收区的前后各有一个相邻的空闲分区,三个相邻的空闲分区合并为一个
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-UKGYYCaH-1606035999624)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119153211186.png)]
情况四:回收区的前后都没有相邻的空闲分区,新增一个表项
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-YRu5xKTs-1606035999625)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119153255314.png)]
总结:回收后有相邻空闲则合并
动态分区分配没有内部碎片,但是有外部碎片
内部碎片:分配给某进程的内存区域中,如果有些部分没用上
外部碎片,是指内存中的某些空闲分区由于太小而难以利用
如果内存中空闲的空间的总和本来可以满足某进程的要求,但由于进程需要的是一块连续 内存空间,因此这些碎片不能满足进程的要求,可以通过紧凑(拼凑)技术来解决外部碎片
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-EKdQz079-1606035999627)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119161608577.png)]
动态分区分配算法
动态分区分配算法:在动态分区分配方式中,当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配?
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-oPkHLQM4-1606035999628)(C:\Users\Tamako丶\AppData\Roaming\Typora\typora-user-images\image-20201119162108931.png)]
首次适应算法
算法思想:每次都从低地址开始查找,找到第一个能满足大小的空闲分区
如何实现:空闲分区以地址递增的次序排列。每次分配内存时顺序查找空闲分区链或空闲分区表,找到大小能满足要求的第一个空闲分区。
最佳适应算法
算法思想:由于动态分区分配是一种连续分配方式,为各进程分配的空间必须是连续的一整片区域,因此为了保证当大进程到来时能有连续的大片空间,可以尽可能的留下大片的空闲区,即,优先使用更下的空闲区
如何实现:空闲分区以地址递增的次序排列。每次分配内存时顺序查找空闲分区链或空闲分区表,找到大小能满足要求的第一个空闲分区。
最佳适应算法
算法思想:由于动态分区分配是一种连续分配方式,为各进程分配的空间必须是连续的一整片区域,因此为了保证当大进程到来时能有连续的大片空间,可以尽可能的留下大片的空闲区,即,优先使用更下的空闲区
如何实现:空闲分区按容量递增次序链接。每次分配内存时顺序查找空闲分区链或空闲分区表,找到大小能满足要求的第一个空闲分区