[操作系统] 文件系统的实现(二)

文件系统的实现(二)

---

---

1. 共享文件

一个文件同时出现在属于不同用户的不同目录下，即为共享文件，目录与共享文件的联系称为连接。如果目录中包含磁盘地址，当连接文件时，必须把该共享文件原目录中的磁盘地址复制到新的得到该共享文件的目录中。如果随后又往该文件中添加新的数据块，那么另一方并不会知道，违反了共享的目的。

为了解决这个问题可以使用两种方法

1. 磁盘块不列入目录，而是列入i节点中，目录指向i节点。

   缺点：

   • 假如文件原所有者为C，现在B想要得到这个共享文件。当B连接到这个共享文件时，i节点中记录的文件所有者仍然为C，然后i节点需要将自身的连接计数+1，以让操作系统直到当前文件被多少目录共享。

     但是当C想要删除该文件时，如果直接删除文件并清除i结点，那么B中会出现一个无效i节点，如果以后这个i节点分配给其他文件了，B中就会连接一个错误文件。

     所以，此时只能删除C中该文件的目录项，但是保留i结点，并让i节点自身连接计数-1。只有等到计数为0时，才会真的删除该文件。

2. 让系统建立一个类型为LINK的新文件，并把该文件放在想要得到共享文件的目录下。新的文件中只包含了它所连接的文件的路径名。当读该连接文件时，操作系统发现该文件为LINK类型，则找到该文件实际的位置，并去读那个实际文件，该方法称为符号连接。

   缺点：

   • 需要额外开销，必须读取包含路径的文件，然后一步步的扫描路径直到找到i结点，会造成额外的磁盘存取。并且每个符号连接都需要额外的i节点，以及额外的磁盘块用于存储路径。

另外，如果允许连接，文件就会有两个或多个路径，查找文件时，有可能多次定位到被连接的文件。

2. 日志结构文件系统

CPU的运行速度越来越快，RAM内存容量变得更大，同时磁盘高速缓存也在迅速增加。进而，不需要磁盘访问操作，就有可能满足直接来自文件系统高速缓存的很大一部分读请求。从而推测出，未来多数磁盘访问为写操作，所以提前读机制并不能获得更好的性能。

由此，日志结构文件系统(LFS)被开发出来。其基本思想是将整个磁盘结构化为一个日志。每隔一段时间，或有特殊需要时，被缓存在内存中的所有未决的写操作都被放在一个单独的段中，作为在日志末尾的一个邻接段写入磁盘。

在LFS中，同样存在i节点，但是i节点分布在整个日志中。所以要想快速找到i节点，必须维护一个由i节点编号索引组成的i节点图。

总而言之，所有的写操作最初都缓冲在内存中，然后周期性地把所有已缓冲的写作为一个单独的段，在日志的末尾写入磁盘。要打开一个文件，则首先需要从i节点图中找到文件的i节点。一旦i节点定位之后就可以找到相应的块的地址。

为了避免日志将磁盘占满，需要一个清理线程，周期性地扫描日志进行磁盘压缩。该线程首先读日志中的第一个段的摘要，检查有哪些i节点和文件。然后该线程查看当前i节点图，判断该i节点是依然有效以及文件块是否让在使用。如果没有，则丢弃。

3. 日志文件系统

保存一个记录系统下一步要做什么的日志，当系统在完成即将完成的任务前崩溃时，重新启动后，可以查看日志，获取崩溃前计划做的任务，并完成他们。

例如，删除文件的操作需要三个步骤

1. 在目录中删除文件。
2. 释放i结点。
3. 将所有占用磁盘块归还。

如果在操作系统完成第一步后，系统崩溃，那么文件已经在目录中被删除，但是i节点和磁盘块将永远无法被归还造成了浪费。

在日志文件系统中，先写一个日志项，列出这三个动作，并将日志写入磁盘。只有当这步完成后，才能进行接下来真正的删除操作。如果顺利完成，则擦除日志项，如果遇到崩溃，系统恢复后，可以通过检查日志来查看是否有未完成操作。

这就意味着被写入日志的操作必须是幂等操作，简单来说就是可以执行多次而不会对结果造成破坏。有些文件系统还引入原子事务的概念，即这一组事务只有完成和未完成两种状态，而不会存在其他中间状态。

4. 虚拟文件系统

为了将多种文件系统整合到一个统一的结构中，抽象出所有文件系统共有的部分，并将这部分代码放在单独的一层，这一层调用底层的实际文件系统来管理数据。

对文件相关的系统调用首先指向虚拟文件系统，再由虚拟文件系统选择实际的文件系统完成任务。

参考书目：现代操作系统第三版