浅谈磁盘空间管理的组成链接法

组成链接法？你们不知道我在说什么？那请翻书到394页，什么书？就是吉林大学左万利老师出的那本《计算机操作系统教程》（第3版）

Unix系统用的就是这个典型的方法，在介绍这个方法之前，我们要明确一些概念。

组成链接法是将磁盘分成了若干块，每个块都有不同的编号，我们叫做ID吧，之后块分为三种，一种是被调用的块，一种是空闲块，还有一种是存储信息的块，被调用的块是系统使用的，我们管不到，空闲块里面什么都没有，所以我们要考虑的是信息块。

一个信息块记录的是那些空闲块的ID，还有就是下一个信息块的ID。

我们看一张图

Super block就是我们的信息块，其中s_nfree记录的这个块中记录着多少个空闲块，从s_free[0]到s_free[s_nfree - 1]，但其中s_free[0]记录的是你下一个信息块的ID，所以我们可以看见它连出的块还能连接出东西。

有了这些基础知识，我们就能考虑组成链接法的两个问题，申请和归还。

所谓申请，就是从你的空闲块中申请一个空闲的用于系统调用，而归还就是将用完的块归还到空闲链表上。 

注意一点，所谓Super block的意思，就是它是超级块，存储在内存当中，而其他的块，则存储在外存上面，所以这就涉及到了内存存储的调度问题了。

于是，我们有了这样的规则：

申请时：
    (1) s_nfree>1, 取s_free[--s_nfree];
    (2) s_nfree=1, 将s_free[0]所指连接块读入内存,分配s_free[0].

释放时:
    (1) s_nfree<100, s_free[n_free++]=释放块号;
    (2) s_nfree=100, 将s_nfree和s_free拷贝到释放的块中, 将该块号记录到s_free[0], 写回外存. 

怎么？看不懂，那我们就画图来说吧。

申请的第一种情况s_nfree>1很容易理解吧，只要内存中的Super block中还有富余空闲块，我们就拿出最后一个给系统，就像这样：

我们看看s_nfree == 1的时候吧。

什么意思呢？就是说，我们把Super Block中s_free[0]所指向的块中所有信息，复制到Super block中，这时，s_free[0]空了，所以用它作为了申请号。

看图吧。

一开始，组成链表是这样的：

可以看出Super block中依旧没有可以再申请的空闲块了，而这时系统申请了一个空闲块，于是

我们将50块中所有内容搬到了Super block中，而这时50块为空了，所以，我们将50块作为系统的申请。

 

这样明白了，其实归海很申请是互逆的。

so.....

归还的第一种情况

也就是s_nfree<100，很好理解吧，就是我的Super没有满，于是我就直接插入我的最下面，注意，这里的100上限时Unix系统中定义的，所以要根据不同题目不同分析。

于是，我们在来看看s_nfree=100。

因为s_nfree=100，Super block满了，没有归还块的位置，所以我们将归还块作为一个信息块去存储Super block里面的信息，这样就能让Super block又多出许多空闲了。

如图，假设我们的s_nfree的上限是2。

一开始，如图：

我们有个空闲块50，而却Super block已经满了。

于是：

我们将Super block里面所有的内容写入50块，同时让s_free[0]=50

怎么样，这个图和申请的图很像吧，因为他俩是互逆操作，所以很像咯。