2. 文件系统基础架构：VFS 核心数据结构关系图解

虚拟文件系统（VFS）是 Linux 内核文件子系统的核心抽象层。它通过一组通用数据结构屏蔽了具体文件系统（ext4、XFS、Btrfs 等）的实现差异，使得系统调用（如 open()、read()、write()）能够以统一的方式操作不同介质上的文件。理解 VFS 的四大核心数据结构——super_block、inode、dentry、file——是进行文件系统调试和 I/O 路径分析的基础。

2.1 四大核心数据结构概述

VFS 的四个核心对象分别从不同维度描述一个文件系统及其中的文件：

2.2 数据结构关系全景图

下图展示了 VFS 四大核心数据结构之间的引用关系，以及它们如何协同完成一次文件 I/O 操作：

2.3 核心数据结构字段详解

2.3.1 struct super_block（超级块）

每个挂载的文件系统对应一个 super_block 实例，存储全局控制信息：

struct super_block {
    struct list_head    s_list;          // 全局超级块链表
    dev_t               s_dev;           // 块设备号
    unsigned long       s_blocksize;     // 块大小（字节）
    struct file_system_type *s_type;     // 文件系统类型（ext4/xfs 等）
    struct super_operations *s_op;       // 超级块操作函数表
    struct dentry       *s_root;         // 挂载点的根 dentry
    struct list_head    s_inodes;        // 所有 inode 链表
    // ... 其他字段
};

2.3.2 struct inode（索引节点）

inode 是文件系统中最核心的元数据对象，不包含文件名：

struct inode {
    umode_t             i_mode;          // 文件类型与权限
    uid_t               i_uid;           // 所有者 UID
    gid_t               i_gid;           // 所属组 GID
    loff_t              i_size;          // 文件大小（字节）
    struct timespec64   i_atime;         // 最后访问时间
    struct timespec64   i_mtime;         // 最后修改时间
    struct timespec64   i_ctime;         // 最后状态变更时间
    struct inode_operations *i_op;       // inode 操作函数表
    struct super_block  *i_sb;           // 所属超级块
    struct address_space *i_mapping;     // 地址空间（页缓存核心）
    // ... 其他字段
};

2.3.3 struct dentry（目录项）

dentry 是 VFS 路径解析的核心缓存对象，将文件名与 inode 关联：

struct dentry {
    struct qstr         d_name;          // 文件名（快速字符串）
    struct inode        *d_inode;        // 指向对应的 inode
    struct dentry       *d_parent;       // 父目录 dentry
    struct list_head    d_subdirs;       // 子目录项链表
    struct dentry_operations *d_op;      // dentry 操作函数表
    struct super_block  *d_sb;           // 所属超级块
    // ... 其他字段
};

2.3.4 struct file（文件对象）

file 结构体代表进程打开的一个文件描述，是 I/O 操作的直接入口：

struct file {
    struct path         f_path;          // 包含 dentry 和 mount 信息
    struct inode        *f_inode;        // 缓存指向的 inode
    const struct file_operations *f_op;  // 文件操作函数表
    loff_t              f_pos;           // 当前读写偏移量
    unsigned int        f_flags;         // 打开标志（O_RDONLY/O_WRONLY 等）
    fmode_t             f_mode;          // 访问模式（读/写/执行）
    struct address_space *f_mapping;     // 页缓存地址空间
    // ... 其他字段
};

2.4 数据结构关系矩阵

下表总结了四大结构体之间的双向引用关系，以及它们在调试中的典型用途：

2.5 一次 open() 调用的数据结构流转

理解 VFS 数据结构关系的最佳方式，是跟踪一次 open() 系统调用的完整路径：

1. 系统调用入口： 用户态调用 open("/home/user/test.txt", O_RDONLY)，陷入内核执行 sys_open()。
2. 路径解析： VFS 调用 path_openat()，从当前进程的 fs->root 开始，逐级查找路径分量。每解析一个分量，在 dcache 中查找或创建对应的 dentry 对象。
3. 获取 inode： 通过最后一个分量 test.txt 的 dentry，访问 dentry->d_inode 获取 inode。如果 inode 不在内存中，调用具体文件系统的 lookup() 方法从磁盘加载。
4. 创建 file 对象： 分配 struct file 实例，设置 f_path.dentry 指向步骤 2 的 dentry，f_inode 指向步骤 3 的 inode，f_op 指向 inode 对应的文件操作表。
5. 关联进程： 将新创建的 file 指针存入当前进程的 files_struct 文件描述符表中，返回文件描述符 fd 给用户态。

2.6 调试实践：从 file 回溯完整路径

在调试一个“文件读写异常”的问题时，通常需要从 struct file 出发，回溯整个数据结构链以确认文件身份和状态。以下是在 crash 工具中的典型操作序列：

// 1. 查看进程打开的文件列表
crash> files 1234
PID: 1234  TASK: ffff88003e2c0000  CPU: 2   COMMAND: "test_app"
FD   FILE            DENTRY           INODE            PATH
0    ffff88001a3f5c00 ffff88001b2e3a80 ffff88001c4d6e00 /dev/null
1    ffff88001a3f5e00 ffff88001b2e3c00 ffff88001c4d7000 /var/log/app.log
2    ffff88001a3f6000 ffff88001b2e3e00 ffff88001c4d7200 /etc/config.ini

// 2. 检查特定 file 结构体
crash> struct file ffff88001a3f5e00
struct file {
  f_path = {
    dentry = 0xffff88001b2e3c00,
    mnt = 0xffff88001d4e8000
  },
  f_inode = 0xffff88001c4d7000,
  f_op = 0xffffffffa0e5c2c0,
  f_pos = 1024,
  f_flags = 1,  // O_WRONLY
}

// 3. 查看 inode 元数据
crash> struct inode ffff88001c4d7000
struct inode {
  i_mode = 33206,  // 0x81a4 -> 普通文件，权限 644
  i_size = 1048576,
  i_mapping = 0xffff88001e5a8000,
}

// 4. 查看 dentry 确认文件名
crash> struct dentry ffff88001b2e3c00
struct dentry {
  d_name = {
    name = 0xffff88001b2e3c48 "app.log",
    len = 7
  },
  d_parent = 0xffff88001b2e3800,
  d_inode = 0xffff88001c4d7000,
}

2.7 常见调试陷阱与避坑指南