暑期在校,每天看些数学和外语,得不到时间正经的写程序。恰好有莱昂氏的UNIX版本6的内核代码分析,考虑到学校从没有训练我们“阅读理解代码”的课程,就决定读下去。这一下子,发现这代码竟如诗句一般,简练而优美。不忍独享,也不知大家可有时间来细分辨这一行一行的“诗”,就想着间或拿出来一点,关系到算法而又不难懂的,与大家共同学习。
这次,我们看一看操作系统存储管理的部分内容。
内存的空间在分配给进程的时候,有几个算法可以为新创建或换进的进程分配空间。当然,我们假设存储管理程序知道要分配的内存大大小。
最简单的算法是首先适配算法(first fit)。存储管理程序沿着内存段链表搜索,直到找到第一个足够大的空闲区,除非空闲区大小和要分配的空间大小正好一样,否则将该区分为两个部分,把一部分分配给进程使用,另一部分仍是未分配区。
下次适配算法(next fit)是对首先适配算法的一个小小改动而来。它的工作方式与首先适配算法相同,不同的是,每次找到合适的空闲区时都记录当时的位置,下次寻找空闲区时就从上次结束的地方开始搜索,而不从头开始。
还有几个算法是常用的。一个是最佳适配算法(best fit),它找出恰好够用的最小的空闲区来分配。当然,如果每次找出够用的最大的空闲区,那就是另外一种算法了。还有一种,就是快速适配算法(quick fit),它给那些常用到的长度的空闲区设立单独的链表。
记得在学操作系统的时候,眼睛都是盯着后面的算法。想实际的操作系统中,使用的应该是它们吧?现在明白了,算法在于实用,简单高效才是最好。
我们看UNIX的内核代码,呵呵,看一看实际的操作系统之算法实现程序。
如下:
/*percy说明:
*此文件乃 malloc.c ,主要过程为 malloc 和 mfree ,
*以对存储资源进行管理。
*编排方式遵照 莱昂氏UNIX版本6内核源代码 编排方式,
*为原 2500行 至 2599行。
*此次编辑器是VS.NET内置编辑器。
* 2003/8/15
*/
#
/*
*/
/*
*Structrue of the coremap and swapmap
*arrays.Consists of non-zero count
*and base address of that many
*contiguous units.
*(The coremap unit is 64 bytes,
*the swapmap unit is 512 bytes)
*The addresses are increasing and