4. struct inode 关键成员深度解析

在 Linux 虚拟文件系统（VFS）中，struct inode 是描述文件、目录、设备等所有对象元数据的核心结构体。每个文件系统对象在内存中对应唯一的 inode，其成员涵盖了权限、所有权、大小、时间戳、块映射等关键信息。本章将逐一剖析最常用的核心成员，并结合实战场景说明其作用。

4.1 权限与所有权：i_mode & i_uid / i_gid

i_mode 是一个 16 位位掩码，同时编码了文件类型和访问权限。i_uid 和 i_gid 分别记录文件所有者的用户 ID 和组 ID。

i_mode 位布局：

• 高 4 位：文件类型（S_IFMT 掩码 0xF000），如 S_IFREG (0x8000) 普通文件、S_IFDIR (0x4000) 目录、S_IFLNK (0xA000) 符号链接。
• 中 3 位：特殊权限位（setuid 0x800、setgid 0x400、sticky 0x200）。
• 低 9 位：所有者/组/其他用户的 rwx 权限（每位 3 位）。

// 判断文件类型的常用宏
#define S_ISREG(m)  (((m) & S_IFMT) == S_IFREG)  // 普通文件
#define S_ISDIR(m)  (((m) & S_IFMT) == S_IFDIR)  // 目录
#define S_ISLNK(m)  (((m) & S_IFMT) == S_IFLNK)  // 符号链接

// 设置文件为普通文件，权限 644
inode->i_mode = S_IFREG | S_IRUSR | S_IWUSR | S_IRGRP | S_IROTH;
inode->i_uid = current_fsuid();   // 当前进程文件系统 UID
inode->i_gid = current_fsgid();   // 当前进程文件系统 GID

4.2 文件大小与块映射：i_size & i_blocks

i_size 记录文件逻辑大小（字节数），i_blocks 记录文件占用的磁盘块数（以 512 字节为单位）。两者共同描述文件的存储空间占用。

关键关系：

• i_size 是逻辑大小，可能小于 i_blocks * 512（稀疏文件空洞部分不占物理块）。
• i_blocks 包含间接块、元数据块（取决于文件系统实现）。
• 对于目录，i_size 表示目录条目数据的总大小。

// 更新文件大小并标记 inode 为脏
inode->i_size = new_size;
mark_inode_dirty(inode);  // 通知 VFS 该 inode 需要写回磁盘

// 获取文件系统块大小（字节）
unsigned int block_size = 1 << inode->i_blkbits;

4.3 时间戳：i_atime / i_mtime / i_ctime

三个时间戳分别记录文件的最后访问时间、最后修改时间和状态变更时间。它们是 POSIX 标准要求的关键元数据。

时间戳更新规则：

• i_atime 更新受 mount -o relatime / noatime 挂载选项影响，默认 relatime 下只有 atime 早于 mtime/ctime 时才更新。
• i_mtime 在文件内容被修改时更新，i_ctime 在 inode 自身元数据变化时更新。
• 内核使用 current_time(inode) 获取当前时间并赋值，该函数自动处理纳秒精度。

// 手动更新时间戳示例
struct timespec64 now = current_time(inode);
inode->i_atime = now;
inode->i_mtime = now;
inode->i_ctime = now;

4.4 链接计数与引用：i_nlink & i_count

i_nlink 是硬链接计数，i_count 是内存引用计数。两者共同决定 inode 的生命周期。

生命周期规则：

• 当 i_nlink 降为 0 时，文件被标记为删除，磁盘空间可回收。
• 当 i_count 降为 0 且 i_nlink 为 0 时，inode 对象从内存释放。
• 目录的 i_nlink 初始值为 2（. 和父目录引用），每增加一个子目录则加 1。

// 增加/减少硬链接计数
inc_nlink(inode);   // i_nlink++
drop_nlink(inode);  // i_nlink--（不会低于 0）

// 判断文件是否已被删除
if (inode->i_nlink == 0)
    printk("File has been unlinked\n");

4.5 地址空间与块映射：i_mapping & i_data

i_mapping 指向文件的地址空间（struct address_space），负责管理文件页缓存与磁盘块之间的映射。i_data 是内嵌的 address_space 实例，通常 i_mapping 指向 &i_data。

struct inode {
    ...
    struct address_space    *i_mapping;  // 指向地址空间
    struct address_space    i_data;      // 内嵌地址空间实例
    ...
};

// 获取文件页缓存中的页
struct page *page = find_get_page(inode->i_mapping, index);

核心作用：

• 通过 i_mapping->a_ops 操作函数集（readpage, writepage, direct_IO 等）实现文件 IO。
• 管理页缓存树的根节点（i_mapping->i_pages XArray）。
• 记录脏页、回写状态等信息。

4.6 文件操作与后备存储：i_fop & i_sb

i_fop 指向文件操作函数集（struct file_operations），i_sb 指向所属超级块对象。这两个成员将 inode 与具体文件系统实现关联起来。

// 设置文件操作（通常在 inode 初始化时）
inode->i_fop = &myfs_file_operations;

// 通过超级块获取文件系统信息
struct super_block *sb = inode->i_sb;
unsigned long magic = sb->s_magic;  // 文件系统魔数

4.7 综合结构图：struct inode 核心成员关系

下图展示了 inode 关键成员之间的逻辑关系及其在 VFS 层中的位置：

4.8 实战：inode 成员初始化模板

以下代码展示了一个典型的 inode 初始化流程，涵盖上述所有关键成员：

static struct inode *myfs_new_inode(struct super_block *sb, umode_t mode)
{
    struct inode *inode;

    // 1. 从超级块分配 inode
    inode = new_inode(sb);
    if (!inode)
        return ERR_PTR(-ENOMEM);

    // 2. 设置权限与类型
    inode->i_mode = mode;
    inode->i_uid = current_fsuid();
    inode->i_gid = current_fsgid();

    // 3. 初始化大小与块信息
    inode->i_size = 0;
    inode->i_blocks = 0;
    inode->i_blkbits = sb->s_blocksize_bits;

    // 4. 设置时间戳
    inode->i_atime = inode->i_mtime = inode->i_ctime = current_time(inode);

    // 5. 设置链接计数
    set_nlink(inode, 1);  // 普通文件初始为 1

    // 6. 关联地址空间操作
    inode->i_mapping->a_ops = &myfs_aops;

    // 7. 根据文件类型设置操作函数集
    if (S_ISDIR(mode)) {
        inode->i_op = &myfs_dir_inode_operations;
        inode->i_fop = &myfs_dir_operations;
        set_nlink(inode, 2);  // 目录初始 nlink = 2
    } else if (S_ISREG(mode)) {
        inode->i_op = &myfs_file_inode_operations;
        inode->i_fop = &myfs_file_operations;
    } else if (S_ISLNK(mode)) {
        inode->i_op = &myfs_symlink_inode_operations;
    }

    // 8. 标记 inode 为脏，准备写回
    mark_inode_dirty(inode);

    return inode;
}

4.9 常见误区与排查