3. 内核模块加载机制：module_init与initcall的优先级、同步与异步加载、模块依赖关系解析

嵌入式Linux启动过程中，内核模块的加载顺序与方式直接影响系统从内核启动到用户空间就绪的总耗时。本章深入剖析 module_init 与 initcall 的优先级层级、同步与异步加载策略，以及模块依赖关系的解析流程，帮助开发者精准定位因模块加载延迟导致的启动瓶颈。

3.1 initcall 优先级层级：从链接到执行的顺序控制

Linux 内核将初始化调用（initcall）划分为多个优先级层级，每个层级对应一个独立的函数指针段。链接脚本按照优先级顺序将这些段排列在内存中，内核启动时按段顺序依次执行。

3.2 module_init 与 initcall 的关系

对于可加载内核模块（LKM），module_init() 宏将模块入口函数注册到 device_initcall 层级（即 .initcall6.init 段）。这意味着：

• 编译进内核的驱动：使用 module_init() 时，默认进入 device_initcall 层级。
• 动态加载的模块：insmod 时由内核模块加载器直接调用 module_init 函数，不经过 initcall 层级调度。
• 优先级提升：若驱动需要更早初始化，应直接使用 subsys_initcall() 或 fs_initcall() 宏替代 module_init()。

// 示例：使用 module_init 默认进入 device_initcall 层级
static int __init my_driver_init(void)
{
    pr_info("My driver initialized at device_initcall level\n");
    return 0;
}
module_init(my_driver_init);

// 示例：使用 subsys_initcall 提升优先级
static int __init early_driver_init(void)
{
    pr_info("Early driver initialized at subsys_initcall level\n");
    return 0;
}
subsys_initcall(early_driver_init);

3.3 同步加载 vs 异步加载

内核模块加载分为同步与异步两种模式，对启动时间的影响差异显著。

3.4 模块依赖关系解析

内核使用 module.symbols 和 modules.dep 文件管理模块间的依赖关系。依赖解析流程如下：

1. 符号导出：模块使用 EXPORT_SYMBOL() 导出符号，供其他模块使用。
2. 依赖生成：depmod 工具扫描所有模块的符号引用，生成 modules.dep 文件。
3. 加载顺序：modprobe 读取 modules.dep，按拓扑顺序加载依赖模块。
4. 循环依赖：内核不允许模块间循环依赖，否则加载失败。

# modules.dep 文件示例（简化）
# 格式：模块路径: 依赖模块列表
kernel/drivers/mmc/mmc_block.ko: kernel/drivers/mmc/mmc_core.ko
kernel/drivers/mmc/mmc_core.ko:
kernel/fs/ext4/ext4.ko: kernel/fs/mbcache.ko kernel/fs/jbd2/jbd2.ko

3.5 启动优化实践：延迟加载与依赖裁剪

# 分析模块依赖树
modprobe --show-depends ext4

# 查看模块符号依赖
modinfo ext4 | grep depends

# 在启动参数中禁用模块
# 内核命令行添加：modprobe.blacklist=module_name