动态分区分配
所谓动态分区分配,就是指内存在初始时不会划分区域,而是会在进程装入时,根据所要装入的进程大小动态地对内存空间进行划分,以提高内存空间利用率,降低碎片的大小
动态分区分配算法有以下四种:
1. 首次适应算法(First Fit)
空闲分区以地址递增的次序链接。分配内存时顺序查找,找到大小满足要求的第一个空闲分区就进行分配。
(每次从低地址开始查找,找到第一个能满足大小的空闲分区,顺序查找空闲分区链或者空闲分区表)
2. 邻近适应算法(Next Fit)
又称循环首次适应法,由首次适应法演变而成,空闲分区以地址递增的顺序链接(可排成一个循环链表),不同之处是分配内存时从上一次查找结束的位置开始继续查找。
(首次适应算法每次都从链头开始查找的。这可能会导致低地址部分出现很多小的空闲分区,而每次分配查找时,都要经过这些分区,因此也增加了查找的开销。如果每次都从上次查找结束的位置开始检索,就能解决上述问题。)
注意:
对于邻近适应算法和首次适应算法,我们是按照地址顺序递增的次序来进行排列的。所以,即使内存空闲区的大小发生了比较大的变化,也不需要对整个链表进行重新排序。这也是这两种算法的算法开销小的原因。而最佳适应算法和最坏适应算法,在回收分区后可能经常需要对空闲分区队列重新排序,因此算法开销大。
3. 最佳适应算法(Best Fit)
空闲分区按容量递增形成分区链,找到第一个能满足要求的空闲分区就进行分配。
由于动态分区分配是一种连续分配方式,为各进程分配的空间必须是连续的一整片区域。因此,为了保证当“大进程”来的时候能有连续的大片空间,可以尽可能多的留下大的空闲区,即优先使用小的空闲区。
按照容量递增从小到大的顺序查找,每次分配内存按前面顺序查找,找到第一个合适的,但这样会留下很多很小、难以利用的碎片
4. 最坏适应算法(Next Fit)
又称最大适应算法(Largest Fit),空闲分区以容量递减的次序链接,找到第一个能满足要求的空闲分区(也就是最大的分区)就进行分配。
为了解决最佳适应算法的问题——即留下太多难以利用的小碎片,可以在每次分配时优先使用最大的连续空闲区,这样分配后剩余的空闲区就不会太小,更方便使用。(按容量从大到小顺序查找)