1. 文件系统基础：VFS（虚拟文件系统）架构、超级块、inode、dentry、文件对象的关系与生命周期

1.1 VFS 架构概述

虚拟文件系统（VFS）是 Linux 内核中一个关键的抽象层，它位于用户空间与具体文件系统实现之间。VFS 的核心价值在于：为用户空间提供统一的系统调用接口（如 open、read、write、close），同时允许内核支持多种不同的底层文件系统（如 ext4、XFS、Btrfs、NFS、tmpfs）。这种设计使得用户程序无需关心底层存储介质或文件系统格式的差异。

VFS 架构基于四个核心对象模型，它们共同构成了文件系统的“元数据骨架”：

1.2 VFS 架构分层与数据流

下图展示了 VFS 在 Linux I/O 栈中的位置，以及四个核心对象之间的协作关系：

1.3 超级块 (Super Block) 深度解析

超级块是文件系统实例的“身份证”，每个已挂载的文件系统在内存中对应一个 struct super_block 实例。它包含了文件系统的全局元数据和操作函数指针。

关键字段：

• s_dev：文件系统所在块设备的设备号。
• s_blocksize：文件系统的块大小（通常为 4096 字节）。
• s_root：指向根目录 dentry 的指针，是路径查找的起点。
• s_op：超级块操作函数表（struct super_operations），包含 alloc_inode、destroy_inode、write_super 等回调。
• s_fs_info：指向具体文件系统私有数据的指针（如 ext4 的 ext4_sb_info）。

1.4 索引节点 (inode) 深度解析

inode 是文件系统中最核心的元数据结构，它唯一标识一个文件或目录，并存储了除文件名之外的所有元数据。每个 inode 都有一个全局唯一的 i_ino（inode 号）。

关键字段：

1.5 目录项 (dentry) 深度解析

dentry 是 VFS 中路径名解析的核心缓存结构。它将路径名中的每个分量（如 /home/user/file.txt 中的 home、user、file.txt）映射到对应的 inode。dentry 不直接对应磁盘上的数据结构，而是内存中的缓存加速层。

关键字段：

• d_name：目录项的名称（struct qstr，包含名字字符串和哈希值）。
• d_parent：指向父目录 dentry 的指针。
• d_inode：指向该目录项对应的 inode（如果为 NULL，表示该 dentry 是“负”的，即路径名不存在）。
• d_op：dentry 操作函数表（struct dentry_operations），包含 d_hash、d_compare、d_delete 等回调。
• d_flags：标志位，如 DCACHE_DISCONNECTED 表示 dentry 未连接到全局树。

dentry 状态与生命周期：

1.6 文件对象 (file) 深度解析

文件对象是进程与打开文件之间的桥梁。每次调用 open() 系统调用时，内核都会创建一个新的 struct file 实例。同一个文件可以被多个进程打开，每个进程拥有独立的文件对象，但它们共享底层的 inode。

关键字段：

• f_path：文件路径（包含 dentry 和 mount 信息）。
• f_pos：当前读写位置（loff_t）。
• f_mode：打开模式（读/写/追加等）。
• f_flags：文件状态标志（O_NONBLOCK、O_SYNC 等）。
• f_count：引用计数，当减为 0 时文件对象被释放。
• f_op：文件操作函数表（struct file_operations），包含 read、write、llseek、mmap 等回调。
• private_data：具体文件系统或设备驱动使用的私有数据指针。

1.7 四个核心对象的生命周期与协作

理解四个对象的生命周期和协作关系，是调试文件系统问题的前提。下图展示了从 open() 系统调用到文件关闭的完整流程：

1.8 核心对象关系总结

下表总结了四个核心对象之间的主要关联关系，这是理解 VFS 数据流的基础：

1.9 常见调试命令速查