Linux内核文件系统调试：crash与trace工具实战 - 第2节

2.1 VFS 架构：通用文件系统模型

虚拟文件系统（VFS，Virtual File System）是 Linux 内核中最精妙的抽象层之一。它定义了一套通用的文件系统接口，使得 open()、read()、write() 等系统调用能够以统一的方式操作 ext4、XFS、Btrfs、NFS 等不同文件系统。VFS 的核心价值在于：用户态程序无需关心底层存储介质和文件系统格式。

VFS 架构采用面向对象的设计思想，定义了四种主要对象类型：

下图展示了 VFS 对象之间的协作关系，以及它们如何连接用户态系统调用与底层具体文件系统：

2.2 核心数据结构详解

2.2.1 super_block：文件系统的元元数据

struct super_block 是 VFS 中最顶层的结构，每个挂载的文件系统实例对应一个超级块。它记录了文件系统的全局属性，并作为访问 inode 和 dentry 的入口。

// 关键字段（精简自 include/linux/fs.h）
struct super_block {
    dev_t                s_dev;           // 块设备标识
    unsigned long        s_blocksize;     // 块大小（字节）
    unsigned char        s_blocksize_bits;// 块大小的对数
    loff_t               s_maxbytes;      // 最大文件大小
    struct file_system_type *s_type;      // 指向文件系统类型
    struct dentry       *s_root;          // 挂载点的根 dentry
    struct list_head     s_inodes;        // 所有 inode 链表
    struct list_head     s_dentry_lru;    // dentry LRU 链表
    const struct super_operations *s_op;  // 超级块操作函数表
    struct backing_dev_info *s_bdi;       // 后备设备信息
    // ... 更多字段
};

2.2.2 inode：文件的元数据仓库

每个文件（包括目录）在内核中都有一个 struct inode 实例。inode 不包含文件名，只包含文件的元数据和数据块索引。文件名到 inode 的映射由 dentry 完成。

// 关键字段（精简自 include/linux/fs.h）
struct inode {
    umode_t              i_mode;          // 文件类型和权限
    uid_t                i_uid;           // 所有者 UID
    gid_t                i_gid;           // 所有者 GID
    ktime_t              i_atime;         // 最后访问时间
    ktime_t              i_mtime;         // 最后修改时间
    ktime_t              i_ctime;         // 最后状态变更时间
    loff_t               i_size;          // 文件大小（字节）
    unsigned long        i_ino;           // inode 编号
    struct super_block  *i_sb;            // 所属超级块
    const struct inode_operations *i_op;  // inode 操作函数表
    const struct file_operations  *i_fop; // 默认文件操作函数表
    struct address_space *i_mapping;      // 地址空间（页缓存）
    // ... 更多字段
};

2.2.3 dentry：路径查找的加速器

目录项（dentry）是 VFS 路径查找的核心缓存机制。它将路径名中的每个分量（如 /usr/bin/gcc 中的 usr、bin、gcc）映射到对应的 inode。dentry 缓存（dcache）极大加速了路径解析过程。

// 关键字段（精简自 include/linux/dcache.h）
struct dentry {
    unsigned int         d_flags;         // 标志位（DCACHE_*）
    struct qstr          d_name;          // 文件名（hash + len + name）
    struct inode        *d_inode;         // 指向对应的 inode
    struct dentry       *d_parent;        // 父目录 dentry
    struct list_head     d_child;         // 兄弟 dentry 链表
    struct list_head     d_subdirs;       // 子 dentry 链表
    const struct dentry_operations *d_op; // dentry 操作函数表
    struct super_block  *d_sb;            // 所属超级块
    // ... 更多字段
};

2.3 文件系统类型与注册机制

Linux 支持数十种文件系统类型，每种类型通过 struct file_system_type 结构向 VFS 注册。内核维护一个全局链表 file_systems，遍历该链表可以查看所有已注册的文件系统。

// 文件系统类型结构（精简自 include/linux/fs.h）
struct file_system_type {
    const char *name;                      // 文件系统名称（如 "ext4"）
    int fs_flags;                          // 标志位
    struct dentry *(*mount) (struct file_system_type *, int,
                             const char *, void *);  // 挂载回调
    void (*kill_sb) (struct super_block *);          // 卸载回调
    struct module *owner;                  // 所属模块
    struct file_system_type *next;         // 链表下一项
    struct list_head fs_supers;            // 该类型的所有超级块链表
};

下表列出了 Linux 中常见的文件系统类型及其典型应用场景：

下图展示了文件系统类型的注册与挂载流程：

2.4 VFS 操作函数表：多态的实现

VFS 通过函数表（operations table）实现多态。每种文件系统类型提供自己的操作函数实现，VFS 在运行时通过函数指针调用具体实现。这种设计使得添加新文件系统无需修改 VFS 核心代码。

四个核心操作函数表：

2.5 本章小结

VFS 是 Linux 文件系统调试的基石。掌握以下要点将为你后续使用 crash 和 trace 工具打下坚实基础：

• 四类核心对象：super_block（全局信息）、inode（元数据）、dentry（路径缓存）、file（打开实例）
• 函数表机制：VFS 通过操作函数表实现多态，调试时需关注函数指针是否被正确初始化
• 文件系统类型注册：register_filesystem() 将类型加入 file_systems 链表，mount 时通过类型名查找
• 调试入口：crash 中的 files、mount、super、inode、dentry 命令直接操作上述数据结构