基于连续内存分配的动态分区分配算法是操作系统中用于管理内存空间的重要技术。在这种分配方式下,内存空间被划分为若干个连续的分区,每个分区可以独立地分配给不同的进程使用。动态分区分配算法能够在进程运行时根据需要动态地为其分配内存空间,并在进程结束时释放这些空间,以提高内存利用率和灵活性。动态分区分配算法解决的是空间分配的问题,也就是如何为程序找到一个合适的内存空间,当内存中有多个空闲空间时如何进行选择的问题,主要有下面四种类型:
一 首次适应算法(First Fit)
空闲分区链按地址递增的次序链接;进行内存分配时,从链首开始顺序查找直至找到一个能装下该程序的空闲分区为止。
但是在实际操作中,空闲分区往往比要装的程序大,此时多余的部分就会留在空闲链表中,导致低址部分不断划分,造成一批较小的空闲区,低址部分产生大量空闲碎片,造成了浪费。磁轭,查找总从低址部分开始,也增大了开销。
二 邻近适应算法(Next Fit)
进程分配内存空间时,查找不再是每次从链首开始,而是从上次找到的空闲块的下一个空闲区开始,直至找到满足的空闲分区。要想实现本算法,需要设置一个起始查寻指针,以指示下一次起始查寻的空闲分区,并采用循环查找方式。
该算法能减少查找时的开销,更均匀的分布空闲分区,减少内存碎片的产生,但是仍然无法规避该问题,尤其是在连续分配大进程之后,导致缺乏大的空闲分区。
三 最佳适应算法(Best Fit)
在内存分配时,总选择满足请求的最小空闲分区分配给作业。将空闲区按由小到大递增的顺序形成空闲区链。
可以减少内存碎片的产生,但由于需要遍历链表找到合适的分区,所以查找时间可能较长。
四 最坏适应算法(Worst Fit 或 Largest Fit)
空闲分区以容量递减的次序链接。分配内存时,总是选择当前最大的空闲分区进行分配。
该算法可以最大限度的利用内存空间,减少大碎片的产生,对中小作业有利。但可能不利于后续的内存分配。
五 快速适应算法(Quick Fit)
该算法是首次适应算法和最佳适应算法的结合,会维护一个空闲块列表,按照空闲块的大小进行分类,并为每种大小的空闲块维护一个空闲链表,在分配内存时,根据进程的需求大小,选择合适大小的空闲链表进行查找。
六 相关练习
已知主存320k,OS占用低位32k,现有一作业序列如下:J1要求40k,J2要求100k,J3要求80k,J2完成,J4要求60k,J5要求32k,J3完成,J6要求112k,J1完成,J7要求30k。
① 若系统采用首次适应法进行内存分配,画出所有操作完成后的空闲内存队列;
② 若系统采用最佳适应法进行内存分配,画出所有操作完成后的空闲内存队列;
③ 若系统采用最坏适应法进行内存分配,画出所有操作完成后的空闲内存队列。
首次适应算法:
最佳适应算法:
最坏适应算法: