文件系统

真题练习

本节的重点在于外存空间管理的方法，其他几个知识点也偶有考察，稍微了解下概念就行。

功能

文件系统（File System）作为操作系统与存储设备之间的桥梁，负责数据的存储、访问、管理和保护。简单来说，文件系统主要包含以下功能：

1. 数据存储与组织
   • 文件系统以 文件 和 目录 的形式组织数据，将存储设备的物理空间划分为 逻辑单元（如文件、文件夹），便于用户和应用程序访问与管理数据。
2. 空间管理
   • 通过 空闲块管理（分配、回收、组织），文件系统高效利用存储空间，减少碎片，支持文件的创建、扩展和删除。常见方法包括 连续分配、链接分配 和 索引分配。
3. 数据访问与操作
   • 提供标准接口（如 读、写、打开、关闭）支持对文件的访问和操作，确保数据的高效检索和修改，同时支持 随机访问 和 顺序访问。
4. 数据保护和安全
   • 权限管理
   • 数据完整性校验

注意

文件系统和磁盘的功能区别

文件系统和磁盘在存储管理中扮演不同角色。磁盘或 SSD 提供按逻辑扇区编号访问的块设备接口，常见逻辑扇区大小为 512 B 或 4 KiB；设备的真实物理扇区可能不同。文件系统在块设备之上构建逻辑结构，以盘块（或簇）为单位分配和回收空间。

盘块/簇是文件系统定义的 逻辑分配单位，其大小在格式化时确定（常见如 4 KiB、8 KiB），通常是逻辑扇区大小的整数倍。解题时必须区分扇区号、盘块号和字节偏移，单位不能混用。

全局结构

如上图所示，磁盘从逻辑上分为如下部分：

1. 引导与分区元数据：传统 MBR 把引导代码、4 项主分区表和签名放在第一个扇区；GPT 则在保护 MBR 后使用 GPT 头和分区表项数组，并保存备份结构。二者不能混成“分区表统一位于第一个扇区之后”。
2. 分区表（Partition Table）：记录各分区的起始逻辑块地址、长度和类型，使系统能找到分区边界。采用 MBR 还是 GPT 取决于磁盘初始化方式。
3. 分区（Partition）：分区中存储有 文件系统，文件系统中包含 元数据 和 数据区 这两个部分。
   • 元数据：
     • 超级块（Superblock）：包含文件系统的关键信息，在计算机启动时，超级块会被载入内存。超级块中包含的典型信息包括分区的块的数量、块的大小、空闲空间的管理方式等。
     • 空闲块信息：管理磁盘中空闲块的存储数据，具体方法见下文空闲空间管理方法
     • inodes：管理文件的元数据
   • 数据区：文件系统的 数据区 存储了实际的文件数据。这是存储文件内容的地方。文件系统会将文件数据分为一个或多个 块 或 簇，并将这些块分布在磁盘上的不同位置。文件系统的 数据区 通常占据了磁盘上的大部分空间。

下图是一个 文件系统 在 分区（Partition）上的存储示例，文件系统的 元数据 由 superblock、inode 位图区（inode bmap）、数据块位图区（data bmap）、inode 存储区（inode region）这四个部分构成。

外存空闲管理

硬盘、SSD 等块设备向上提供按 逻辑扇区 编号访问的数据接口，常见逻辑扇区大小为 512 B 或 4 KiB。文件系统在此接口之上再定义大小固定的 盘块/簇 作为空间分配单位；一个盘块通常包含一个或多个逻辑扇区。因此，外存空闲管理组织、分配与回收的是文件系统尚未占用的 盘块/簇，不能把设备物理扇区、逻辑扇区和文件系统盘块混为一谈。

空闲表法

在该方法中，系统需要维护一张 空闲块表，用以记录磁盘上尚未分配的连续空闲块的所在位置和大小。表格的每一行描述一个空闲区段。

空闲块表应包含以下两个字段：

• 起始空闲盘块号：该空闲区段的第一个盘块编号
• 空闲盘块数：该区段中连续空闲盘块的数量

这样，空闲块表就能够清晰、完整地反映磁盘空间的空闲情况，为后续的块分配和回收提供可靠依据。

空闲链表法

在本方法中，采用 链表 结构来组织和管理磁盘上的空闲数据块。链表的每个节点对应一个空闲块，并在节点中记录该块所在的磁盘块号（或块标识）。链表的头节点保存第一个空闲块的位置，随后每个节点的 next 指针指向 下一个空闲块，形成一条从头到尾依次链接的空闲块序列。

这样，所有空闲块就被构建成一条有序的链表：

• 分配时：系统只需从链表头部取出一个节点，即可得到一个可用的磁盘块；随后将头指针移动到下一个节点，完成快速分配。
• 回收时：若采用头插法，可在 $O(1)$ 时间把释放块接回链表；若要维持按盘块号有序，则需先找到插入位置。
• 遍历和统计：统计全部空闲块需顺序遍历。单块链表不直接记录连续区段，寻找一组连续块和做碎片整理并不高效。

因此，空闲链表适合快速取得或归还单个块，但随机查找、连续块分配和全盘统计的开销较大。

位图法

位图（Bitmap）是一种用二进制位数组来管理磁盘块的技术。位图中的每一位（bit）对应磁盘上一个固定大小的数据块（通常为 4 KB、8 KB 等），通过该位的取值即可快速判断该块的使用状态。

• 0：对应的数据块为空闲块，意味着它尚未被分配，可以用于存放新文件的数据。
• 1：对应的数据块已被占用，已经分配给某个文件，不能再被其他文件使用。

位图 使用流程

1. 初始化：在文件系统创建时为整个磁盘块集合生成位图，初始全部置为 0（空闲）。
2. 分配块：当文件需要写入数据时，系统在位图中搜索第一个 0 位，找到后将该位改为 1，并返回对应的块号给文件系统。
3. 回收块：文件被删除或其数据块被释放时，系统把对应的位恢复为 0，表示该块重新进入空闲池。
4. 持久化：位图通常被写入磁盘的固定位置（例如超级块或专门的位图块），以保证系统重启后仍能恢复块的使用状态。

成组链接法

成组链接法 的实现细节相对繁琐，这里只要求掌握其核心思想（在选择题中出现的概率较低，但仍值得了解）。

其基本思路与 文件混合索引分配方式 相似：使用一个磁盘块来保存若干空闲盘块号，并通过链表把这些块组织起来。具体做法如下：

1. 组织一组盘块号：系统在内存中的专用结构（传统 UNIX 中位于超级块的空闲块号栈）保存当前一组空闲盘块号及其数量。
2. 组间链接：当当前组即将用尽时，最后取出的那个空闲块本身保存下一组的数量和盘块号；读入该块即可补充内存中的盘块号栈。组与组是单向衔接，不需要 A、B 互相保存对方盘块号。
3. 分配与回收：分配时从当前组弹出盘块号；回收时压回当前组。若当前组已满，就把当前组的数量和盘块号写入新回收的盘块，再以该盘块作为新组入口。

成组链接法通过“块内多址+块间链表”的组合方式，兼顾了存储密度和访问效率，是一种在文件系统中常用的空闲空间管理策略。

虚拟文件系统

虚拟文件系统（Virtual File System，简称 VFS）是一种位于操作系统内核中的抽象层，它为各种底层文件系统提供统一的访问入口。通过 VFS，操作系统能够把不同存储介质（本地磁盘、网络共享、光盘等）和各类文件系统的实现细节屏蔽掉，使上层的系统调用和用户程序只需要面对一套一致的接口，而无需关心文件实际存放在哪里、采用何种组织方式。

VFS 的核心目标有三点：

1. 统一接口：为所有文件系统提供统一的 API（如 open、read、write、close 等），保证应用程序在对文件进行操作时的代码始终相同。
2. 提升可扩展性：只要新的文件系统实现了 VFS 定义的接口，就可以通过注册驱动或模块的方式无缝加入系统，而无需修改内核其它部分。
3. 增强可移植性：同一套系统调用在不同硬件平台或不同底层文件系统上均能工作，从而简化了跨平台软件的开发。

在 VFS 的架构中，每一种具体的文件系统（例如 ext4、NTFS、NFS、ISO 9660 等）都会实现一套内部的操作函数，并在启动时向 VFS 注册自己的驱动或模块。当应用程序发起文件操作时，流程大致如下：

1. 系统调用入口：用户态程序调用如 open()、read() 等系统调用。
2. VFS 调度：VFS 接收到请求后，根据文件路径解析出对应的挂载点（mount point），进而确定使用哪一个底层文件系统。
3. 转发到具体实现：VFS 将请求转交给已注册的文件系统驱动，由它完成实际的磁盘读取、网络通信或光盘访问等操作。
4. 结果返回：底层文件系统返回操作结果，VFS 再把结果封装回系统调用的返回值，交给用户程序。

通过上述机制，应用程序能够实现 跨文件系统的透明访问，即无论文件位于本地硬盘、远程服务器还是光盘上，使用的代码完全相同。这种抽象不仅简化了软件开发，还为操作系统的模块化设计提供了坚实的基础。

文件系统挂载

文件系统挂载 是指把一个独立的文件系统与操作系统的目录结构（即文件树）关联起来，使得该文件系统中的文件和目录能够被正常访问和管理。简而言之，挂载的过程就是把存储介质（如硬盘分区、U 盘、光盘、网络共享等）上的文件系统“接入”到操作系统的统一命名空间中。

在大多数现代操作系统，文件系统挂载是一个必不可少的步骤，具体表现为：

1. 识别存储设备 系统先检测到设备的出现（如插入 U 盘、插入光驱、网络共享被建立），并确定该设备所使用的文件系统类型（ext4、NTFS、FAT32、ISO 9660、NFS、SMB 等）。
2. 选择挂载点 挂载点是文件树中的一个目录，系统会在该目录下“挂上”外部文件系统。在 Linux/Unix 中挂载点通常预先存在；它不一定为空，但挂载后原目录内容会被暂时遮蔽，直到卸载。Windows 也可使用盘符或目录挂载点。
3. 执行挂载操作 操作系统调用相应的挂载函数，将外部文件系统的根目录映射到挂载点。挂载完成后，用户和应用程序通过访问挂载点即可透明地读取、写入该文件系统中的文件，就好像这些文件本来就在本地目录一样。
4. 管理与维护
   • 挂载选项：可以在挂载时指定只读、只写、用户权限、同步/异步等选项，以满足安全性或性能需求。
   • 自动挂载：在 Linux 中，/etc/fstab 文件或 systemd 的 automount 单元可以实现系统启动时自动挂载；在 Windows 中，使用 “磁盘管理” 或组策略设置网络驱动器的自动映射。
   • 卸载：使用 umount（Linux/Unix）或 “安全移除硬件”（Windows）将文件系统从挂载点分离，以防止数据丢失。

挂载可以提供以下优势：

• 统一命名空间：无论底层是本地磁盘、光盘还是远程网络共享，所有资源都在同一棵目录树下呈现，简化了路径管理。
• 跨文件系统协同：不同类型的文件系统（如 ext4 与 NTFS）可以并存，用户无需关心底层格式，只需通过统一的路径访问即可。
• 资源隔离与安全：通过挂载选项可以限制对特定文件系统的读写权限，保护敏感数据不被意外修改。