3. 超级块(super_block)深度解析

超级块是VFS中最核心的数据结构之一，它代表一个已挂载的文件系统实例。每个文件系统在被挂载时，都会在内存中创建一个对应的超级块对象，用于描述该文件系统的全局元数据信息。本章将深入剖析super_block结构体的定义、关键字段、操作函数表以及挂载与卸载的完整流程。

3.1 super_block 结构体定义与关键字段

super_block结构体定义在include/linux/fs.h中，是VFS层与具体文件系统实现之间的桥梁。以下列出其核心字段及其含义：

3.2 超级块操作函数表 (super_operations)

super_operations结构体定义了VFS层可以调用的、与超级块和inode管理相关的一组回调函数。每个文件系统驱动必须实现这些函数中的核心部分，以完成挂载、卸载、inode分配与回收等操作。

struct super_operations {
    struct inode *(*alloc_inode)(struct super_block *sb);
    void (*destroy_inode)(struct inode *inode);
    void (*free_inode)(struct inode *inode);
    void (*dirty_inode)(struct inode *inode, int flags);
    int (*write_inode)(struct inode *inode, struct writeback_control *wbc);
    int (*drop_inode)(struct inode *inode);
    void (*evict_inode)(struct inode *inode);
    void (*put_super)(struct super_block *sb);
    int (*sync_fs)(struct super_block *sb, int wait);
    int (*freeze_super)(struct super_block *sb);
    int (*unfreeze_super)(struct super_block *sb);
    int (*statfs)(struct dentry *dentry, struct kstatfs *buf);
    int (*remount_fs)(struct super_block *sb, int *flags, char *data);
    void (*umount_begin)(struct super_block *sb);
    int (*show_options)(struct seq_file *m, struct dentry *root);
    int (*show_devname)(struct seq_file *m, struct dentry *root);
    int (*show_path)(struct seq_file *m, struct dentry *root);
    ssize_t (*quota_read)(struct super_block *sb, int type, char *data, size_t len, loff_t off);
    ssize_t (*quota_write)(struct super_block *sb, int type, const char *data, size_t len, loff_t off);
    int (*bdev_try_to_free_page)(struct super_block *sb, struct page *page, gfp_t gfp);
};

3.3 挂载流程深度解析

文件系统的挂载流程涉及从用户态mount系统调用到VFS层、再到具体文件系统驱动的完整调用链。以下流程图展示了核心步骤：

挂载流程的详细步骤分解如下：

1. 用户态触发：用户程序调用mount()系统调用，传入设备名、挂载点路径、文件系统类型和挂载标志。
2. VFS路径解析：内核进入path_mount()函数，解析挂载点路径，获取目标目录的dentry和vfsmount。
3. 文件系统类型匹配：do_new_mount()根据传入的文件系统名称，在全局的file_systems链表中查找对应的file_system_type结构体。
4. 调用mount回调：VFS调用file_system_type->mount回调函数。对于基于块设备的文件系统，通常调用mount_bdev()通用辅助函数。
5. 读取磁盘超级块：mount_bdev()打开块设备，调用文件系统驱动的fill_super()函数。该函数从磁盘读取原始超级块数据，填充super_block结构体，并设置s_fs_info指向文件系统私有数据。
6. 初始化根inode和dentry：文件系统驱动创建根目录的inode和dentry，并将super_block->s_root指向根dentry。
7. 挂载到全局目录树：VFS将新创建的vfsmount和根dentry挂接到挂载点的dentry上，完成挂载操作。

3.4 卸载流程深度解析

卸载流程是挂载的逆过程，其核心目标是安全地释放超级块及其关联的所有资源。以下流程图展示了卸载的关键路径：

卸载流程的详细步骤分解如下：

1. 用户态触发：用户程序调用umount()系统调用，传入挂载点路径或设备名。
2. VFS路径解析与验证：path_umount()解析挂载点，获取对应的vfsmount和超级块。VFS检查该挂载点是否被其他进程使用（通过引用计数）。
3. 同步与预卸载：do_umount()调用sync_filesystem()将所有脏数据写回磁盘，然后调用super_operations->umount_begin()通知文件系统驱动即将卸载。
4. 调用put_super：VFS调用super_operations->put_super()，文件系统驱动在此函数中释放s_fs_info指向的私有数据，关闭底层块设备。
5. 清理VFS对象：VFS销毁根dentry（s_root），释放super_block结构体本身，并将其从全局超级块链表中移除。
6. 完成卸载：VFS更新挂载树结构，释放vfsmount对象，卸载操作完成。

3.5 超级块生命周期管理

超级块的生命周期从alloc_super()函数分配结构体开始，到deactivate_super()或kill_super()释放结束。理解其生命周期对于文件系统驱动的正确实现至关重要。