组成链接法?你们不知道我在说什么?那请翻书到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
怎么样,这个图和申请的图很像吧,因为他俩是互逆操作,所以很像咯。