1. VFS概述：VFS在Linux内核中的位置、设计目标与核心抽象

1.1 VFS在Linux内核中的位置

虚拟文件系统（VFS，Virtual File System）是Linux内核中一个关键的抽象层，位于系统调用接口与具体文件系统实现之间。它为用户空间程序提供统一的文件操作接口，同时屏蔽底层不同文件系统（如ext4、XFS、Btrfs、NFS、tmpfs等）的实现差异。

下图展示了VFS在内核架构中的层次位置：

1.2 VFS的设计目标

VFS的设计围绕以下几个核心目标展开：

1.3 VFS核心抽象对象

VFS通过四个核心对象来抽象文件系统的所有操作。这些对象是理解VFS缓存策略和性能优化的基础。

1.3.1 超级块（Super Block）

超级块是每个已挂载文件系统的元数据描述符，存储文件系统的全局信息。每个挂载的文件系统实例对应一个超级块对象。

• 关键字段：文件系统类型、块大小、inode总数、空闲块数、挂载标志、操作函数表（s_op）
• 生命周期：从文件系统挂载时创建，到卸载时销毁
• 缓存关联：超级块本身会被缓存，其s_op中的write_super回调负责将元数据同步回磁盘

// Linux内核中超级块结构体（简化）
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 super_operations  *s_op;            // 超级块操作函数表
    struct dentry            *s_root;          // 根目录的dentry
    struct list_head          s_inodes;        // 所有inode链表
    struct list_head          s_dentry_lru;    // dentry LRU链表
    // ... 其他字段
};

1.3.2 inode（索引节点）

inode是VFS中表示文件或目录元数据的核心对象。每个文件或目录在内核中对应一个唯一的inode。

• 关键字段：文件类型与权限（i_mode）、文件大小（i_size）、时间戳（atime/mtime/ctime）、数据块指针、引用计数（i_count）
• 缓存策略：inode通过哈希表（inode_hashtable）和LRU链表管理，减少磁盘inode表的读取次数
• 性能影响：inode缓存的命中率直接影响stat、open等操作的性能

// Linux内核中inode结构体（简化）
struct inode {
    umode_t                   i_mode;          // 文件类型和权限
    kuid_t                    i_uid;           // 用户ID
    kgid_t                    i_gid;           // 组ID
    loff_t                    i_size;          // 文件大小（字节）
    struct timespec64         i_atime;         // 最后访问时间
    struct timespec64         i_mtime;         // 最后修改时间
    struct timespec64         i_ctime;         // 最后状态变更时间
    unsigned long             i_ino;           // inode编号
    atomic_t                  i_count;         // 引用计数
    struct address_space     *i_mapping;       // 地址空间（页缓存核心）
    struct inode_operations  *i_op;            // inode操作函数表
    struct super_block       *i_sb;            // 所属超级块
    // ... 其他字段
};

1.3.3 dentry（目录项）

dentry是路径名与inode之间的映射缓存。它不直接对应磁盘上的数据结构，而是VFS在内存中构建的路径解析加速结构。

• 关键字段：目录项名称（d_name）、父目录dentry（d_parent）、关联inode（d_inode）、子dentry哈希链表
• 缓存策略：dentry缓存（dcache）使用哈希表和LRU机制，显著加速路径名到inode的解析过程
• 性能影响：dcache命中可避免昂贵的磁盘目录项读取，是文件路径解析性能的关键

// Linux内核中dentry结构体（简化）
struct dentry {
    struct qstr               d_name;          // 目录项名称
    struct inode             *d_inode;         // 关联的inode（NULL表示负dentry）
    struct dentry            *d_parent;        // 父目录的dentry
    struct list_head          d_child;         // 父目录的子dentry链表
    struct list_head          d_subdirs;       // 子目录项链表
    struct hlist_bl_node      d_hash;          // dcache哈希表节点
    struct dentry_operations *d_op;            // dentry操作函数表
    struct super_block       *d_sb;            // 所属超级块
    // ... 其他字段
};

1.3.4 文件对象（File Object）

文件对象表示一个打开的文件实例，由open系统调用创建，由close系统调用销毁。它记录了进程与打开文件之间的交互状态。

• 关键字段：文件读写位置（f_pos）、文件标志（f_flags）、引用计数（f_count）、关联dentry（f_path）、操作函数表（f_op）
• 生命周期：与进程打开文件描述符绑定，可被多个进程共享（如fork后父子进程共享文件对象）
• 缓存关联：文件对象通过f_mapping指向inode的地址空间，间接关联页缓存

// Linux内核中file结构体（简化）
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;         // 文件打开标志
    fmode_t                   f_mode;          // 文件打开模式
    atomic_long_t             f_count;         // 引用计数
    struct address_space     *f_mapping;       // 地址空间（页缓存）
    // ... 其他字段
};

1.4 四大核心对象的关系

下图展示了VFS四大核心对象之间的协作关系：

1.5 对象间的协作流程

当用户程序执行 open("/home/user/data.txt", O_RDONLY) 时，VFS四大对象按以下流程协作：

1. 路径解析：VFS从根目录dentry（或当前工作目录dentry）开始，逐级查找路径分量，在dcache中搜索匹配的dentry
2. inode获取：如果dentry命中且d_inode有效，直接获取inode；否则触发lookup操作，从磁盘读取目录项并创建dentry-inode映射
3. 文件对象创建：分配新的file结构体，设置f_path指向找到的dentry，f_inode指向关联inode，f_op初始化为inode对应的文件操作表
4. 文件描述符绑定：将文件对象与进程的文件描述符表关联，返回文件描述符给用户空间
5. 读写操作：后续read/write通过文件对象的f_op函数表分发，数据通过inode的i_mapping访问页缓存

1.6 本章小结