操作系统知识（文件存储空间管理）

参考视频：王道计算机考研 操作系统_哔哩哔哩_bilibili

参考书籍：左万利《计算机操作系统教程（第4版）》

---

目录

第四章 文件管理

七、文件存储空间管理

1.空闲块表

2.空闲块链

2.1 空闲盘块链

2.2 空闲盘区链

3.字位映像图

4.成组链接法

4.1 分配 1 个空闲块

4.2 分配100个空闲块 

4.3 回收时分组没满

4.4 回收时分组已满

---

第四章 文件管理

七、文件存储空间管理

 

1.空闲块表

表中包含两个栏目：首空闲块号和空闲块数。适用于记录连续的空闲块。

分配磁盘块的算法：首次适应、最佳适应、最坏适应、邻近适应，来决定文件分配的磁盘块。

2.空闲块链

2.1 空闲盘块链

操作系统保存着链头、链尾指针。

分配：从链头开始依次分配 k个盘块，修改头指针。

回收：回收的盘块依次挂在链尾，修改尾指针。

2.2 空闲盘区链

操作系统保存着链头、链尾指针。

分配：使用分配算法：首次适应......等分配，若没有找到合适的一个盘块，可以用多个盘块来分配给同一个文件，注意修改相应的指针和盘区大小等数据。

3.字位映像图

0 代表磁盘块空闲，1 代表磁盘块已分配。

可以用（字号，位号）对应一个盘块号。分配时，顺序扫描位图，将“0”改为“1”，回收则相反。

4.成组链接法

以上方法不适用于大型文件系统。UNIX系统采取成组链接法对磁盘空闲块进行管理。

Windows中的C:盘、D:盘、E:盘就相当于一个个文件卷。

文件卷划分为目录区和文件区，在目录区中用一个磁盘块作为“超级块”，当系统启动时需要将超级块读入内存，并保持外存与内存的超级块数据一致。

目录区：inode区域，存放FCB和磁盘空间管理的信息。

4.1 分配 1 个空闲块

① 检查第一个分组块数是否足够；② 分出去的盘块在“超级块”中删除，且块数减1.

4.2 分配100个空闲块 

① 检查第一个分组是否满足块数要求；

② 超级块中记录的100个磁盘块都可以分配出去，但是由于第一块（300号块）记录了下一组空闲磁盘块的信息，因此300号块在分配出去之前需要将数据存入超级块中。

4.3 回收时分组没满

把回收的块信息存入超级块中，块数加1。

4.4 回收时分组已满

当分组已满时，又要回收一个磁盘块，就：

① 将“超级块”中的数据复制存入新回收的块中，此块代替超级块指向下一组。

② 修改“超级块”，记录当前分组的信息。