2. 超级块对象：struct super_block 结构体详解、关键字段与生命周期

超级块对象是 VFS 四大对象模型中的核心元数据载体，它代表一个已挂载的文件系统实例。每个文件系统在挂载时，内核都会在内存中创建一个对应的 struct super_block 实例，用于描述该文件系统的全局信息，包括块大小、操作函数表、根目录 dentry、挂载点列表等。理解超级块的结构与生命周期，是掌握 VFS 挂载流程和文件系统交互的基础。

2.1 struct super_block 核心字段解析

struct super_block 定义在 include/linux/fs.h 中，包含数十个字段。下表列出面试中最常考察的关键字段及其作用：

2.2 超级块操作函数表 super_operations

struct super_operations 定义了 VFS 与具体文件系统之间关于超级块和 inode 管理的接口。每个文件系统必须实现该表中的核心回调：

• alloc_inode：分配一个新的 inode 结构体，通常包含文件系统私有 inode 数据（如 ext4 的 ext4_inode_info）。
• destroy_inode：销毁 inode 结构体，释放私有数据。
• dirty_inode：标记 inode 为脏，触发回写。
• write_inode：将 inode 元数据写入磁盘。
• drop_inode：当 inode 引用计数降为 0 时调用，决定是否删除 inode。
• put_super：卸载文件系统时释放超级块资源。
• sync_fs：同步文件系统元数据和数据到磁盘。
• statfs：返回文件系统统计信息（如 df 命令的数据来源）。
• remount_fs：重新挂载文件系统时调用，处理挂载选项变更。

2.3 超级块的生命周期

超级块对象从创建到销毁经历四个阶段，每个阶段都有特定的内核函数和状态转换：

1. 分配与初始化：alloc_super() 分配 struct super_block 内存，初始化链表头、信号量、引用计数等。此时 s_root 为 NULL，s_fs_info 未赋值。
2. 填充与挂载：fill_super() 回调（由具体文件系统实现）从磁盘读取超级块元数据，设置 s_blocksize、s_op、s_fs_info，并创建根目录 dentry 赋值给 s_root。完成后超级块进入"活动"状态。
3. 运行与维护：超级块在文件系统挂载期间持续存在，通过 s_op 回调响应 VFS 请求。脏 inode 通过 s_dirty 链表管理，sync_fs 定期或按需回写。
4. 卸载与销毁：kill_sb() 或 deactivate_super() 触发销毁流程。先调用 put_super 释放文件系统私有资源，然后清理 dentry 缓存、inode 缓存，最后释放 struct super_block 内存。

2.4 超级块生命周期状态机

下图展示了超级块从分配到销毁的完整状态转换流程，以及关键函数调用点：

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

每个超级块通过 s_type 字段关联到 struct file_system_type，后者是文件系统类型的全局描述符。这种关联关系是 VFS 实现多文件系统支持的关键：

// 文件系统类型注册示例（简化）
static struct file_system_type ext4_fs_type = {
    .owner      = THIS_MODULE,
    .name       = "ext4",
    .mount      = ext4_mount,      // 挂载入口，返回超级块
    .kill_sb    = ext4_kill_sb,    // 销毁超级块
    .fs_flags   = FS_REQUIRES_DEV,
};

// 挂载时内核调用 ext4_fs_type->mount()
// 该函数内部调用 mount_bdev() -> ext4_fill_super()
// 最终将超级块的 s_type 指向 ext4_fs_type

2.6 超级块在 VFS 对象模型中的位置

超级块是 VFS 四大对象（超级块、inode、dentry、file）的"元数据中枢"。下图展示了超级块与其他 VFS 对象的核心关联：

2.7 面试常见追问与避坑

• Q：超级块和 inode 的分配顺序？
  A：先分配超级块（alloc_super），再通过 fill_super 创建根 inode 和根 dentry。卸载时先销毁 inode 和 dentry，最后销毁超级块。
• Q：s_dirty 链表如何工作？
  A：当 inode 被修改时，通过 mark_inode_dirty() 将其加入 s_dirty 链表。内核线程 sync_supers 或 writeback 工作队列遍历该链表，调用 s_op->write_inode 回写。
• Q：超级块可以被多个挂载点共享吗？
  A：可以。bind mount 或同一文件系统的多次挂载（如 mount -t ext4 /dev/sda1 /mnt1 和 /mnt2）会共享同一个超级块，通过 s_active 引用计数管理。
• 避坑： 不要混淆 s_count 和 s_active。s_count 是通用引用计数（包括内核内部引用），s_active 仅表示用户空间可见的挂载引用数。只有 s_active 降为 0 才触发销毁。