4. 模块化驱动模型

在传统单体内核中，所有文件系统驱动在编译时被静态链接进内核映像，导致 VFS 初始化阶段必须逐一注册所有内置文件系统。模块化驱动模型将文件系统实现为可独立加载的内核模块（.ko 文件），允许系统在运行时按需插入或移除文件系统支持，从而显著减少 VFS 初始化阶段的模块数量与内存占用。

4.1 模块化文件系统的核心设计原则

文件系统模块化设计遵循以下三条核心原则：

  • 接口标准化：文件系统模块通过 file_system_type 结构体向 VFS 注册，VFS 不依赖具体文件系统实现细节。
  • 生命周期独立：每个模块拥有独立的引用计数，支持动态加载（insmod）与卸载（rmmod），卸载时自动清理已注册的文件系统类型。
  • 符号依赖显式化：模块通过 EXPORT_SYMBOL 导出必要符号，VFS 核心层与文件系统模块之间的依赖关系在模块加载时由内核模块加载器解析。
设计收益： 嵌入式系统中，若仅使用 ext4 和 tmpfs，则无需加载 exFAT、NTFS、XFS 等模块，VFS 初始化阶段注册的文件系统数量从 10+ 降至 2，内存占用减少约 60-80 KB（取决于模块大小）。

4.2 文件系统模块的加载与注册流程

下图展示了文件系统模块从用户空间触发加载到 VFS 注册完成的完整流程：

文件系统模块加载与注册流程 文件系统模块加载与注册流程 用户空间 insmod / modprobe 内核模块加载器 module_init() 回调 register_filesystem() VFS 文件系统注册表 关键说明 模块加载器解析符号依赖， 调用 module_init 函数指针。 register_filesystem 将 file_system_type 加入链表。 卸载流程 rmmod → unregister_filesystem → 从注册表移除 → module_exit → 释放模块内存

4.3 核心数据结构：file_system_type

每个文件系统模块必须定义一个 file_system_type 实例，该结构体是 VFS 与具体文件系统之间的契约接口。下表列出关键字段及其在模块化加载中的作用：

字段 类型 模块化加载中的作用
name const char * 文件系统名称（如 "ext4"），用于 mount -t 匹配
fs_flags int 特性标志（如 FS_REQUIRES_DEV），影响 VFS 挂载行为
mount struct dentry *(*mount)(...) 挂载回调，VFS 通过此函数获取根 dentry
kill_sb void (*kill_sb)(struct super_block *) 卸载超级块回调，模块卸载时清理资源
owner struct module * 指向所属模块，VFS 通过此字段管理模块引用计数
next struct file_system_type * 链表指针，所有注册的文件系统类型形成单链表
模块化关键字段： owner 字段由宏 THIS_MODULE 自动赋值。当 VFS 正在使用某文件系统（如挂载点存在）时，模块引用计数 > 0，rmmod 操作将被拒绝，防止内核崩溃。

4.4 模块加载与卸载的典型代码结构

以下代码展示了一个最小文件系统模块的加载/卸载骨架：

/* minfs_module.c - 最小文件系统模块示例 */
#include <linux/module.h>
#include <linux/fs.h>
#include <linux/init.h>

static struct dentry *minfs_mount(struct file_system_type *fs_type,
                                  int flags, const char *dev_name,
                                  void *data)
{
    /* 返回挂载点的根 dentry */
    return mount_bdev(fs_type, flags, dev_name, data, &minfs_fill_super);
}

static void minfs_kill_sb(struct super_block *sb)
{
    /* 释放超级块相关资源 */
    kill_block_super(sb);
}

static struct file_system_type minfs_fs_type = {
    .name       = "minfs",
    .fs_flags   = FS_REQUIRES_DEV,
    .mount      = minfs_mount,
    .kill_sb    = minfs_kill_sb,
    .owner      = THIS_MODULE,
};

static int __init minfs_init(void)
{
    int ret = register_filesystem(&minfs_fs_type);
    if (ret)
        pr_err("minfs: failed to register filesystem (err=%d)\n", ret);
    else
        pr_info("minfs: filesystem registered\n");
    return ret;
}

static void __exit minfs_exit(void)
{
    int ret = unregister_filesystem(&minfs_fs_type);
    if (ret)
        pr_err("minfs: failed to unregister (err=%d)\n", ret);
    else
        pr_info("minfs: filesystem unregistered\n");
}

module_init(minfs_init);
module_exit(minfs_exit);

MODULE_LICENSE("GPL");
MODULE_AUTHOR("VFS Expert");
MODULE_DESCRIPTION("Minimal filesystem module example");

4.5 模块化加载的引用计数管理机制

VFS 通过 module_put() 和 module_get() 管理文件系统模块的生命周期。下图展示了引用计数在挂载和卸载过程中的变化：

模块引用计数状态转换 模块引用计数状态转换 模块未加载 refcnt = 0 模块已加载 refcnt = 0 模块使用中 refcnt > 0 insmod mount umount → refcnt-- rmmod (refcnt==0) 引用计数保护规则 • mount 操作：VFS 调用 try_module_get()，refcnt++；若返回失败则拒绝挂载 • umount 操作：VFS 调用 module_put()，refcnt--；当 refcnt==0 时允许 rmmod • 强制卸载：rmmod -f 绕过引用计数检查，可能导致内核崩溃，生产环境禁止使用

4.6 模块化 vs 内置：关键差异对比

下表从多个维度对比文件系统作为内置驱动与模块化驱动的差异：

对比维度 内置驱动（built-in） 模块化驱动（module）
初始化时机 内核启动早期，VFS 初始化阶段 用户空间按需触发，可延迟到系统运行后
内存占用 始终驻留内存，不可回收 按需加载，卸载后释放内存
启动时间影响 增加内核解压和初始化时间 不影响内核启动时间
调试与更新 需重新编译内核并重启 可单独编译模块，动态加载测试
安全性 无法被篡改（只读内存区域） 需内核签名机制防止恶意模块
适用场景 根文件系统驱动、关键系统驱动 非根文件系统、实验性驱动、外设文件系统

4.7 嵌入式系统中的模块化策略

在嵌入式 Linux 系统中，文件系统模块化加载通常采用以下策略：

  1. 根文件系统内置化：根文件系统（通常为 ext4 或 squashfs）的驱动必须编译进内核，确保内核挂载根文件系统时无需加载外部模块。
  2. 辅助文件系统模块化：如 vfat（用于 SD 卡）、exFAT（用于大容量 U 盘）、NFS（用于网络启动）等作为独立模块，通过 initramfs 中的 modprobe 或 udev 规则按需加载。
  3. 模块依赖树优化：使用 depmod 生成模块依赖关系，确保加载目标文件系统时自动加载其依赖模块（如 libcrc32c、crypto 等）。
  4. 模块黑名单机制：在 /etc/modprobe.d/ 中配置黑名单，阻止不需要的文件系统模块自动加载，进一步减少 VFS 初始化阶段的模块数量。
注意事项： 在嵌入式系统中，若将根文件系统驱动编译为模块，必须确保 initramfs 中包含该模块，否则内核将无法挂载根文件系统导致启动失败。建议根文件系统驱动始终使用 y 选项编译进内核。

4.8 模块化加载的性能开销

模块化加载虽然减少了 VFS 初始化阶段的模块数量，但引入了一定的运行时开销：

  • 加载延迟：首次访问文件系统时，需等待模块加载（包括符号解析、内存分配、初始化函数执行），典型延迟为 10-50 ms（取决于模块大小和存储介质速度）。
  • 内存碎片：模块动态分配内核内存，频繁加载/卸载可能导致内存碎片化。
  • 符号表查找：模块加载时需解析未定义符号，遍历内核符号表带来微秒级开销。

在大多数嵌入式场景中，上述开销远小于 VFS 初始化阶段加载所有模块带来的启动时间损失，因此模块化按需加载是更优选择。

← 上一章 📖 返回目录 下一章 →