虚拟文件系统

定义

虚拟文件系统是位于内核与具体文件系统之间的一层抽象，它向上为进程提供统一的文件操作接口，向下把请求转交给各类具体文件系统^[1][2]。它本身并不负责在磁盘上组织数据，而是定义一组所有文件系统都要满足的接口约定，任何文件系统只要实现这套约定就能被内核接纳^[1]。因此在同一操作系统中，本地磁盘、网络共享和内存文件系统可以并存，并共享同一套系统调用。

在中文技术文献中，虚拟文件系统也常被称作虚拟文件系统开关（virtual filesystem switch），这一名称强调的是它在多种文件系统之间进行分派和转换的作用^[1]。Linux 中的实现并不是磁盘上的文件格式，而是一棵由内存对象构成的抽象文件树，通过标准接口动态挂载或移除目录。

原理

虚拟文件系统采用面向对象式的设计思路，把文件系统的共同概念抽取成若干核心对象，具体实现则以 C 语言的数据结构承载。Linux 的实现归纳出 4 类主要对象：超级块描述一个已挂载的文件系统，索引节点描述一个具体文件，目录项代表路径中的一个组成部分，文件对象代表进程已打开的文件^[3]。这些对象通过指针相互连接，打开文件时由文件对象沿目录项找到索引节点，再由索引节点找到所属超级块，从而定位到真正的存储实体^[4]。

当进程发起读写请求时，内核先由虚拟文件系统处理与物理结构无关的部分，再重新定向到具体文件系统中对应的函数^[5]。为了减少路径解析开销，内核还维护目录项缓存；若某节点已在缓存中，其所有上级节点也必然在缓存内^[2]。文件系统需要先向内核注册类型，挂载时再读入超级块，具体文件系统才会真正参与工作^[5]。这里的关键关系可概括为：进程 → 文件对象 → 目录项 → 索引节点 → 超级块 → 具体文件系统驱动 → 存储设备。

发展历程

类 Unix 系统上较早的虚拟文件系统机制由 Sun Microsystems 在 1985 年随 SunOS 2.0 引入，它使 Unix 系统调用能够透明地访问本地的 UFS 文件系统与远程的 NFS 文件系统^[1]。由于不少 Unix 厂商从 Sun 获得 NFS 授权，Sun 的这套设计被广泛沿用，并成为 System V Release 4 中相关机制的基础^[1]。Sun 内部还曾开发可插入该框架的 MS-DOS FAT 实现，但它到 SunOS 4.1 才作为产品发布^[1]。

此后 John Heidemann 在 SunOS 4.0 上为实验性的 Ficus 文件系统设计了可堆叠的虚拟文件系统，使语义相近的文件系统能够复用代码^[1]。这项工作后来被移植到 4.4BSD，其后继代码成为包括 macOS 在内的现代 BSD 系统文件系统实现的基础^[1]。在 OS/2 与 Windows 中，对应的机制被称为可安装文件系统（Installable File System）^[1]。

应用

虚拟文件系统最直接的用途是让多种文件系统在同一系统中共存。以 Linux 为例，磁盘文件系统、网络文件系统以及基于内存的特殊文件系统都能挂载进同一棵目录树，进程用同一组接口访问它们。这使外部设备也能以文件形式统一处理，从而屏蔽不同设备在输入输出方式上的差异。

在用户态扩展方面，FUSE 机制允许用户空间的程序接入 Linux、NetBSD、FreeBSD、OpenSolaris 和 macOS 的虚拟文件系统框架^[1]。桌面环境也提供类似能力，KDE 的 KIO 与 GNOME 的 GVfs/GIO 可以在文件管理器层面接入非传统存储来源，并可借助 FUSE 与系统集成^[1]。此外，虚拟机与模拟器中的单文件虚拟文件系统把整套文件数据封装在一个容器中，便于整体迁移和删除^[1]。

虚拟文件系统还是内核向用户暴露状态信息的通道。以 Oracle Solaris 为例，进程文件系统把活动进程按进程号列在 /proc 目录中，ps 等命令与调试工具由此获取进程信息；临时文件系统则借助本地内存完成读写，用于存放编译等过程中产生的临时文件^[6]。回送文件系统可以用另一条路径名访问原有的目录层次，形成替代的访问入口^[6]。

局限

虚拟文件系统只统一接口，无法抹平各文件系统在能力和语义上的差异。它定义的是内核与具体文件系统之间的约定，而约定的条款可能在不同版本间发生不兼容的变动，此时具体文件系统的支持代码需要重新编译甚至修改后才能使用^[1]。这意味着接口统一并不等于底层行为完全一致。

在用户态实现的方案中，限制更为明显。Windows 的 Shell 命名空间扩展虽然也能提供虚拟文件系统，但不支持系统中最底层的文件访问接口，因此并非所有程序都能访问这类文件系统；KIO 与 GVfs/GIO 存在类似问题，需要通过 FUSE 等方式才能较顺畅地融入系统^[1]。单文件虚拟文件系统的内部结构通常只对专门编写的程序开放，且写入或删除数据时需要在容器内搬移虚拟文件，性能相对偏低^[1]。

另外，虚拟文件系统本身不携带持久数据，其数据结构多在系统运行后建立、卸载后销毁，因此脱离具体文件系统便无法独立工作^[5]。以内存为基础的特殊文件系统也有类似约束，例如临时文件系统中的文件在卸载或重启后即被删除，且其数据依托交换空间，交换空间不足时会出现空间不足或程序无法执行的情况^[6]。

参见

• 文件系统 —— 虚拟文件系统所抽象的底层对象。

• 索引节点 —— 虚拟文件系统中描述单个文件的核心对象之一。

• Linux内核 —— 虚拟文件系统在其中的典型实现。

• FUSE —— 让用户态程序接入虚拟文件系统框架的机制。

• 网络文件系统 —— 经虚拟文件系统透明访问的远程存储类型。

• 挂载 —— 将具体文件系统接入虚拟文件树的操作。