Linux文件系统架构分析与性能调优 - 第2节

2.1 超级块对象（super_block）概述

超级块对象是 VFS 中最核心的数据结构之一，它代表一个已挂载的文件系统实例。每个挂载的文件系统（如 ext4、XFS、tmpfs）在内存中都有一个对应的 super_block 结构体，用于存储该文件系统的全局元数据信息。超级块是 VFS 与具体文件系统实现之间的桥梁，通过它 VFS 可以获取文件系统的容量、块大小、操作函数表等关键信息。

2.1.1 超级块的核心作用

• 标识文件系统类型：记录文件系统的类型（如 ext4、XFS）、挂载选项、挂载路径等。
• 管理块设备：关联底层块设备，提供块 I/O 操作的入口。
• 维护全局状态：记录文件系统的总块数、空闲块数、inode 总数、最大文件大小等容量信息。
• 提供操作函数表：通过 s_op 指针指向超级块操作函数表，VFS 通过该表调用具体文件系统的实现。
• 管理 inode 和 dentry 缓存：维护 inode 链表、脏 inode 链表、dentry 缓存等。
• 同步控制：管理文件系统的挂载/卸载、同步写回、日志提交等生命周期操作。

2.1.2 super_block 结构体核心字段

以下列出 super_block 结构体中最关键的字段，这些字段是理解 VFS 超级块工作原理的基础：

2.2 超级块操作函数表（super_operations）

super_operations 结构体定义了 VFS 对超级块进行操作的函数指针集合。每个文件系统必须实现这些函数（或至少实现核心函数），VFS 通过 sb->s_op 调用它们，从而实现对具体文件系统的操作。这种设计模式是 Linux 内核“面向对象”编程的典型体现。

2.2.1 super_operations 核心函数

2.2.2 超级块操作函数表的调用流程

以下 SVG 图展示了 VFS 通过 super_operations 调用具体文件系统实现的典型流程：

2.3 超级块的生命周期

超级块对象从创建到销毁经历完整的生命周期，每个阶段都涉及特定的操作函数调用：

1. 创建阶段：文件系统挂载时，VFS 调用 alloc_super() 分配 super_block 结构体，然后调用具体文件系统的 fill_super() 函数填充字段并设置 s_op。
2. 活跃阶段：文件系统正常工作时，VFS 通过 s_op 中的函数进行 inode 管理、同步、统计等操作。
3. 同步阶段：定期或主动调用 sync_fs() 将脏数据写回磁盘，保证数据一致性。
4. 卸载阶段：文件系统卸载时，VFS 调用 put_super() 释放超级块资源，最终释放 super_block 内存。

2.4 超级块与文件系统类型的关联

超级块通过 s_type 字段与 file_system_type 结构体关联，后者是文件系统类型的全局描述符。以下表格展示了这种关联关系：

以下 SVG 图展示了超级块与文件系统类型、操作函数表之间的整体架构关系：

2.5 超级块操作函数实现示例

以下是一个简化的 ext4 超级块操作函数实现片段，展示具体文件系统如何填充 super_operations：

// fs/ext4/super.c - ext4 超级块操作函数表
static const struct super_operations ext4_sops = {
    .alloc_inode    = ext4_alloc_inode,
    .destroy_inode  = ext4_destroy_inode,
    .write_inode    = ext4_write_inode,
    .dirty_inode    = ext4_dirty_inode,
    .evict_inode    = ext4_evict_inode,
    .put_super      = ext4_put_super,
    .sync_fs        = ext4_sync_fs,
    .freeze_fs      = ext4_freeze,
    .unfreeze_fs    = ext4_unfreeze,
    .statfs         = ext4_statfs,
    .remount_fs     = ext4_remount,
    .show_options   = ext4_show_options,
};

// 在 fill_super 中设置操作函数表
static int ext4_fill_super(struct super_block *sb, void *data, int silent)
{
    struct ext4_sb_info *sbi;
    
    // 分配 ext4 私有超级块信息
    sbi = kzalloc(sizeof(struct ext4_sb_info), GFP_KERNEL);
    if (!sbi)
        return -ENOMEM;
    
    // 关联私有数据
    sb->s_fs_info = sbi;
    
    // 设置超级块操作函数表
    sb->s_op = &ext4_sops;
    
    // 设置块大小
    sb->s_blocksize = blocksize;
    sb->s_blocksize_bits = blksize_bits(blocksize);
    
    // 读取磁盘超级块，初始化 ext4 特有结构
    // ... (省略具体初始化代码)
    
    return 0;
}

2.6 超级块的关键数据结构关系

超级块在 VFS 中处于枢纽位置，它与多个核心数据结构存在关联。以下表格总结了这些关系：