4. 索引节点(inode)深度解析

索引节点（inode）是 VFS 中用于描述文件或目录元数据的核心数据结构。每个文件、目录、符号链接等在 VFS 层都对应一个唯一的 inode。inode 不包含文件名（文件名存储在目录项 dentry 中），但包含了除文件名之外的所有文件属性：权限、大小、时间戳、数据块指针等。本章深入剖析 inode 的结构体定义、关键字段、操作函数表以及分配与回收机制。

4.1 inode 结构体定义与关键字段

在 Linux 内核源码 include/linux/fs.h 中，struct inode 是 VFS 层最核心的数据结构之一。以下列出其关键字段，按功能分组说明：

4.2 inode 操作函数表 (inode_operations)

struct inode_operations 定义了在 inode 级别执行的操作，主要涉及目录和文件元数据的管理。与 file_operations 不同，inode_operations 不处理读写数据，而是处理创建、删除、链接、权限检查等元数据操作。

// include/linux/fs.h (简化核心成员)
struct inode_operations {
    // 目录项查找（仅目录 inode 有效）
    struct dentry * (*lookup) (struct inode *dir, struct dentry *dentry,
                               unsigned int flags);

    // 创建新文件（目录 inode 上创建普通文件）
    int (*create) (struct inode *dir, struct dentry *dentry,
                   umode_t mode, bool excl);

    // 创建硬链接
    int (*link) (struct dentry *old_dentry, struct inode *dir,
                 struct dentry *new_dentry);

    // 删除硬链接
    int (*unlink) (struct inode *dir, struct dentry *dentry);

    // 创建符号链接
    int (*symlink) (struct inode *dir, struct dentry *dentry,
                    const char *symname);

    // 创建目录
    int (*mkdir) (struct inode *dir, struct dentry *dentry, umode_t mode);

    // 删除目录
    int (*rmdir) (struct inode *dir, struct dentry *dentry);

    // 重命名（移动）
    int (*rename) (struct inode *old_dir, struct dentry *old_dentry,
                   struct inode *new_dir, struct dentry *new_dentry,
                   unsigned int flags);

    // 权限检查（可被 LSMs 覆盖）
    int (*permission) (struct inode *inode, int mask);

    // 获取文件属性（填充 struct kstat）
    int (*getattr) (struct user_namespace *mnt_userns,
                    const struct path *path, struct kstat *stat,
                    u32 request_mask, unsigned int flags);

    // 设置文件属性
    int (*setattr) (struct user_namespace *mnt_userns,
                    struct dentry *dentry, struct iattr *attr);

    // 获取扩展属性
    ssize_t (*getxattr) (struct dentry *dentry, const char *name,
                         void *buffer, size_t size);

    // 设置扩展属性
    int (*setxattr) (struct user_namespace *mnt_userns,
                     struct dentry *dentry, const char *name,
                     const void *value, size_t size, int flags);

    // 返回 inode 对应的文件操作表（用于特殊文件如设备）
    struct file_operations * (*get_inode_ops) (struct inode *inode);
};

4.3 inode 的分配与回收流程

inode 的分配与回收涉及 VFS 层与具体文件系统层的协作。VFS 提供通用框架，具体文件系统负责底层存储的分配与释放。

4.3.1 inode 分配流程

1. VFS 调用 alloc_inode(sb)：通过超级块中的 s_op->alloc_inode 回调，请求具体文件系统分配一个 inode 对象。
2. 文件系统分配内存：具体文件系统（如 ext4）从 slab 缓存或 kmem_cache 中分配 struct inode 或其扩展结构（如 ext4_inode_info）。
3. VFS 初始化通用字段：inode_init_always() 设置 i_ino、i_sb、i_mapping、i_op、i_fop 等通用字段，初始化 spinlock、链表头、原子计数等。
4. 文件系统填充特定字段：文件系统通过 s_op->read_inode（旧接口）或 inode->i_op->getattr 从磁盘读取元数据填充 inode。
5. 插入 inode 哈希表：VFS 将新分配的 inode 插入全局 inode 哈希表 inode_hashtable，以便快速查找。
6. 返回 dentry 关联：inode 与 dentry 关联后，通过 d_instantiate() 建立双向链接。

4.3.2 inode 回收流程

1. 引用计数归零：当所有持有该 inode 引用的对象（dentry、file 等）释放后，i_count 降为 0。
2. VFS 调用 destroy_inode(inode)：通过 s_op->destroy_inode 回调通知文件系统。
3. 文件系统清理私有数据：释放文件系统私有扩展结构中的资源（如 ext4 的 extent 缓存、日志句柄等）。
4. VFS 清理通用资源：释放 i_mapping 中的页缓存（如果还有脏页则写回），从哈希表删除 inode。
5. 归还 slab 缓存：文件系统将 inode 内存归还给 slab 分配器，或直接 kfree()。

4.4 inode 生命周期状态机

下图展示了 inode 从分配到回收的核心状态转换，以及关键引用计数的影响：

4.5 文件系统驱动适配要点

在实现具体文件系统驱动时，inode 相关的适配工作主要集中在以下几个方面：

4.6 inode 与 dentry 的协作关系

inode 和 dentry 是 VFS 中紧密协作的两个核心结构。理解它们的关系对于文件系统驱动开发至关重要：

• inode 代表文件本身：存储元数据，不关心文件名。
• dentry 代表路径分量：存储文件名和父目录信息，指向对应的 inode。
• 多对多关系：一个 inode 可以被多个 dentry 引用（硬链接），一个 dentry 只能指向一个 inode。
• 生命周期依赖：dentry 通过 d_inode 指针持有 inode 引用（增加 i_count），防止 inode 被提前回收。
• 查找流程：路径解析时，VFS 先查找 dentry 缓存，若未命中则调用 i_op->lookup 从磁盘加载 inode 并创建 dentry。

4.7 常见问题与避坑指南