Linux 虚拟文件系统（Virtual File System, VFS）是 Linux 内核的核心组件，作为用户进程与各种文件系统之间的抽象层，实现了对本地磁盘、网络文件系统以及 I/O 设备的统一操作接口。本文将深入探讨 VFS 的核心数据结构、文件系统挂载过程以及文件操作（如打开、读写）的详细机制。本文以 IT 专业人士为目标受众，力求提供详尽、准确且实用的技术信息。
虚拟文件系统简介
Linux 虚拟文件系统（VFS）是用户进程与底层文件系统交互的桥梁，能够无缝支持多种存储系统，包括本地磁盘、网络文件系统和 I/O 设备。VFS 通过抽象化文件系统操作，为用户进程提供统一的接口，使得无论底层文件系统类型如何，进程都能轻松执行打开、读写等操作。
VFS 架构可以分为以下三个主要层次：
- 文件系统层：包含 VFS 以及具体文件系统实现（如 ext4），为上层应用程序提供标准文件访问接口。
- 块设备层：负责管理 I/O 队列和调度，优化文件系统的 I/O 请求后发送至设备层。
- 设备层：处理物理存储设备及其驱动程序，执行最终的 I/O 操作。
本文将详细介绍 VFS 的核心组件、文件系统挂载流程以及文件操作的实现机制。
VFS 的核心数据结构
VFS 依赖两个主要数据结构来管理文件操作：dentry（目录项）和 inode（索引节点）。这些结构存储在内存中，抽象了磁盘上的文件系统结构。
索引节点（Inode）
索引节点（inode） 用于存储文件的元数据，包括：
- 索引节点编号
- 文件大小
- 访问权限
- 修改时间戳
- 数据块位置
每个文件对应一个 inode，inode 与文件数据一样被持久化存储在磁盘上，因此会占用磁盘空间。
目录项（Dentry）
目录项（dentry） 表示 VFS 中的文件或目录，包含以下关键信息：
- 文件名
- 指向关联 inode 的指针
- 与父目录的关系（通过 d_parent）
- 文件系统特定的操作（通过 d_op）
- 指向超级块的指针（通过 d_sb）
与 inode 不同，dentry 是内存中的数据结构，作为目录项缓存（dcache）存储，用于加速文件查找。VFS 使用以下两种缓存机制：
- 哈希表（dentry_hashtable）：通过 d_hash 指针将所有 dentry 组织为哈希链表，以便快速查找。
- LRU 列表（s_dentry_lru）：管理未使用的 dentry，允许根据引用计数进行重用或回收。
dentry 的生命周期包括：
- 引用计数为零时，移至 LRU 列表。
- 再次被引用时，从 LRU 列表移除。
- 在哈希表中未找到时，从 SLUB 分配器分配新的 dentry。
- 内存不足时，回收 LRU 列表中最久未使用的 dentry。
- 文件删除时，释放对应的 dentry。
文件系统挂载
文件系统挂载是将 VFS 与实际文件系统（如 ext4）建立联系的过程，使文件系统融入 VFS 的目录结构，从而可供访问。
文件系统注册
挂载文件系统前，需通过 register_filesystem() 函数向内核注册。以 ext4 为例，注册时使用 ext4_fs_type 结构：
mount 系统调用启动挂载流程，调用链为：do_mount() → do_new_mount() → do_new_mount_fc()。
挂载流程
do_new_mount_fc() 函数创建 struct mount 表示挂载的文件系统，并通过以下结构与 VFS 关联：
- fs_context：存储文件系统的根目录项和超级块。
- vfsmount：包含挂载文件系统的根目录项（mnt_root）和超级块指针（mnt_sb）。
- mount：记录父文件系统（mnt_parent）和挂载点（mnt_mountpoint）。
例如，将文件系统挂载到 /home 会创建一个 mount 结构，与根文件系统的 mount 关联，并生成对应的 /home 目录项。这种层级结构支持跨文件系统的无缝导航。
文件操作：打开文件
打开文件是将用户态请求转换为内核操作的过程，由 VFS 协调。以下以 open() 系统调用为例，解析其实现：
- 系统调用处理：open() 调用触发 do_sys_open()，其步骤包括：
- 使用 build_open_flags() 解析传入的标志。
- 通过 get_unused_fd_flags() 分配文件描述符（fd）。
- 调用 do_filp_open() 创建 struct file。
- 通过 fd_install() 将文件描述符与 struct file 关联。
- 文件描述符分配：get_unused_fd_flags() 从进程的文件描述符表（files_struct，位于 task_struct 中）分配可用描述符，映射到 struct file 指针。
- 路径解析：do_filp_open() 初始化 nameidata 结构解析文件路径，随后调用 path_openat()：
- 使用 alloc_empty_file() 分配 struct file。
- 通过 path_init() 初始化路径解析。
- 使用 link_path_walk() 逐层解析路径（例如，/root/hello/world）。
- 通过 do_last() 获取 inode 并初始化 struct file。
- 目录项查找：lookup_fast() 在目录项缓存中查找文件的 dentry，使用 hlist_bl_for_each_entry_rcu。若未找到，lookup_open() 创建新 dentry，调用文件系统的 lookup 操作（如 ext4 的 ext4_lookup）。
- 文件打开：vfs_open() 调用文件系统的 open 操作（如 ext4_file_open），完成 struct file 的初始化，设置 inode、路径和文件操作指针。
VFS 因此通过文件描述符屏蔽了文件系统细节，提供统一的访问接口。
文件操作：读写文件
文件的读写操作通过 VFS 与底层文件系统交互，支持缓冲 I/O 和直接 I/O。
读操作
read() 系统调用触发 vfs_read() → __vfs_read()，使用文件的 file_operations（f_op）执行读取。对于 ext4，调用 ext4_file_read_iter() → generic_file_read_iter()，支持以下模式：
- 缓冲 I/O：检查页面缓存是否包含数据。若无，读取磁盘并缓存。使用 page_cache_sync_readahead() 或 page_cache_async_readahead() 进行预读优化。
- 直接 I/O：通过 ext4_direct_IO 直接访问磁盘，绕过缓存。
数据通过 copy_page_to_iter() 拷贝至用户空间。
写操作
write() 系统调用触发 vfs_write() → __vfs_write()，调用 ext4_file_write_iter() → __generic_file_write_iter()，支持：
- 缓冲 I/O：将数据写入页面缓存并标记为脏页，流程包括：
- 使用 ext4_write_begin() 准备缓存页面。
- 通过 iov_iter_copy_from_user_atomic() 将用户态数据拷贝至内核页面。
- 调用 ext4_write_end() 完成写入，标记脏页。
- 使用 balance_dirty_pages_ratelimited() 管理脏页，必要时触发回写。
- 直接 I/O：通过 ext4_direct_IO 直接写入磁盘，绕过缓存。
Ext4 写模式
Ext4 提供三种写模式以平衡数据完整性和性能：
- 日志模式：在写入前记录元数据和数据的日志，安全性最高但性能较低。
- 有序模式：仅记录元数据日志，确保数据先于元数据写入磁盘（默认模式）。
- 回写模式：仅记录元数据日志，不保证数据写入顺序，性能最佳但安全性最低。
页面缓存与回写
页面缓存由 struct address_space 管理，使用基数树（radix tree）跟踪缓存页面。回写触发条件包括：
- 脏页数量超限，由 balance_dirty_pages_ratelimited() 处理。
- 显式调用 sync，通过 wakeup_flusher_threads 同步脏页。
- 内存压力大时，调用 free_more_memory 释放脏页。
- 定时同步，确保内存与磁盘数据一致性。
总结
Linux 虚拟文件系统是内核文件处理的核心，通过抽象不同文件系统，提供统一的访问接口。VFS 管理目录项和索引节点、协调文件系统挂载、并优化文件操作流程。理解其机制——如目录项缓存、路径解析、缓冲与直接 I/O——有助于 IT 专业人士优化系统性能并有效排查文件相关问题。
