2. VFS层架构与接口

虚拟文件系统（VFS，Virtual File System）是 Linux 内核中一个关键的抽象层，它位于用户空间的系统调用接口与具体的文件系统实现（如 ext4、XFS、Btrfs）之间。VFS 的核心价值在于：为用户空间提供统一的、与具体文件系统无关的编程接口，同时允许内核同时挂载和管理多种不同的文件系统。理解 VFS 的核心数据结构及其关系，是进行文件系统性能优化的基础。

2.1 VFS 四大核心数据结构

VFS 围绕四个核心对象构建：super_block、inode、dentry 和 file。它们共同描述了文件系统的全局状态、单个文件的元数据、路径名与目录结构以及打开文件实例。

2.2 核心数据结构关系图

下图展示了 VFS 四大核心对象之间的关联关系，以及它们如何共同支撑一次文件访问操作。

2.3 super_block：文件系统的“身份证”

super_block 结构体代表一个已挂载的文件系统实例。它包含了文件系统的全局元数据，以及指向具体文件系统操作函数的指针表。

• 关键字段：s_dev（设备号）、s_blocksize（块大小）、s_root（根 dentry）、s_op（超级块操作表）。
• 性能相关：s_dirty 链表管理所有脏 inode，直接影响回写性能；s_bdi（后备设备信息）关联块设备 IO 调度。
• 操作接口：alloc_inode、destroy_inode、write_super、sync_fs 等。

// 简化版 super_block 结构（来自 <linux/fs.h>）
struct super_block {
    dev_t                     s_dev;          // 块设备标识
    unsigned long             s_blocksize;    // 文件系统块大小
    struct file_system_type   *s_type;        // 文件系统类型
    struct super_operations   *s_op;          // 超级块操作表
    struct dentry             *s_root;        // 根目录 dentry
    struct list_head          s_dirty;        // 脏 inode 链表
    struct backing_dev_info   *s_bdi;         // 后备设备信息
    // ... 其他字段
};

2.4 inode：文件的“户口本”

inode 存储了文件系统中每个文件或目录的元数据，但不包含文件名。文件名由 dentry 维护。

• 关键字段：i_mode（文件类型与权限）、i_uid/i_gid（属主）、i_size（文件大小）、i_atime/i_mtime/i_ctime（时间戳）、i_blocks（占用的块数）。
• 性能相关：i_mapping（地址空间，管理页缓存）、i_sb_list（链接到 super_block 的 inode 链表）、i_flags（如同步、追加、不可变标志）。
• 操作接口：create、lookup、link、unlink、mkdir、rmdir、setattr、getattr 等。

2.5 dentry：路径查找的“加速器”

dentry（目录项）是 VFS 路径查找的核心缓存单元。它将路径名中的每个组件（如 /usr、local、bin）映射到对应的 inode。

• 关键字段：d_name（文件名）、d_parent（父 dentry）、d_inode（指向的 inode）、d_op（dentry 操作表）。
• 缓存机制：dentry 缓存（dcache）使用 LRU 算法管理，dentry_cache 是 slab 分配器管理的缓存。
• 性能相关：d_lock（自旋锁，保护 dentry 状态）、d_flags（如 DCACHE_DISCONNECTED、DCACHE_REFERENCED）。

// 简化版 dentry 结构
struct dentry {
    struct qstr           d_name;        // 文件名（快速比较）
    struct dentry         *d_parent;     // 父目录 dentry
    struct inode          *d_inode;      // 关联的 inode
    struct list_head      d_child;       // 兄弟 dentry 链表
    struct list_head      d_subdirs;     // 子 dentry 链表
    struct dentry_operations *d_op;      // dentry 操作表
    spinlock_t            d_lock;        // 自旋锁
    unsigned int          d_flags;       // 标志位
};

2.6 file：进程视角的“文件句柄”

file 结构体代表一个进程打开的文件实例。它不直接对应磁盘上的数据，而是维护了进程与文件之间的交互状态。

• 关键字段：f_path（路径信息，包含 dentry 和 mount）、f_pos（当前读写偏移量）、f_mode（打开模式：读/写/追加）、f_flags（如 O_SYNC、O_DIRECT）。
• 性能相关：f_op（文件操作表，指向具体文件系统的实现）、f_count（引用计数，多进程共享时影响锁开销）。
• 操作接口：read、write、llseek、mmap、fsync、flush 等。

2.7 操作接口与函数指针表

VFS 通过函数指针表（operations tables）实现多态。每个核心数据结构都关联一个操作表，具体文件系统通过填充这些函数指针来注册自己的实现。

2.8 路径查找流程与性能关键点

当用户执行 open("/var/log/syslog", O_RDONLY) 时，VFS 执行以下路径查找流程：

1. 起始点：从当前进程的 fs->root（根 dentry）或 fs->pwd（当前工作目录 dentry）开始。
2. 逐层解析：对路径的每个组件（var、log、syslog），先在 dentry 缓存（dcache）中查找。
3. 缓存命中：如果 dcache 命中，直接获取对应的 dentry 和 inode，跳过磁盘读取。
4. 缓存未命中：调用父目录 inode 的 lookup 操作，从磁盘读取目录项，创建新的 dentry 并插入 dcache。
5. 创建 file 对象：分配 file 结构，关联 dentry，调用具体文件系统的 open 操作。

2.9 VFS 层性能优化切入点

基于对 VFS 核心数据结构的理解，性能优化可以从以下几个方向入手：

• dcache 调优：增大 dentry 缓存上限（/proc/sys/fs/dentry-state），减少路径查找的磁盘 IO。
• inode 缓存调优：调整 inode 缓存大小（/proc/sys/fs/inode-state），避免频繁的 inode 分配与回收。
• 文件操作表优化：对于自定义文件系统，精简 file_operations 中的函数调用路径，减少不必要的锁获取。
• 挂载选项：使用 noatime 挂载选项，避免每次读操作都更新 inode 的访问时间，减少写 IO。
• VFS 锁拆分：内核 5.x 版本引入了更细粒度的 VFS 锁（如 i_rwsem 替代全局 inode_lock），减少多线程并发访问时的锁争用。

# 查看当前 dentry 和 inode 缓存状态
$ cat /proc/sys/fs/dentry-state
# 输出：nr_dentry nr_unused age_limit want_pages dummy1 dummy2

$ cat /proc/sys/fs/inode-state
# 输出：nr_inodes nr_free_inodes preshrink dummy1 dummy2 dummy3