Linux内核调试与性能优化实战 驱动篇 - 第2节

2. Linux内核模块基础

Linux 内核模块（Loadable Kernel Module, LKM）是内核在运行时动态加载和卸载的代码片段，主要用于扩展内核功能（如设备驱动、文件系统、网络协议等），而无需重新编译整个内核或重启系统。模块机制是 Linux 驱动开发的基础，理解其加载与卸载流程是调试和性能优化的第一步。

2.1.1 模块生命周期与核心操作

一个内核模块从被加载到最终卸载，经历以下四个阶段：

1. 加载（Insert）：通过 insmod 或 modprobe 将模块的 .ko 文件插入内核空间。
2. 初始化（Init）：内核调用模块的初始化函数（由 module_init 指定），完成资源申请、设备注册等操作。
3. 运行（Active）：模块在内核空间提供服务，响应系统调用或硬件中断。
4. 卸载（Remove）：通过 rmmod 触发模块退出函数（由 module_exit 指定），释放资源后从内核移除。

2.1.2 加载与卸载命令对比

2.2 module_init / module_exit 宏与入口/出口函数

每个内核模块必须且只能定义一个初始化函数和一个退出函数。Linux 内核通过 module_init() 和 module_exit() 两个宏来声明这两个函数的入口地址，这是模块与内核之间的契约。

2.2.1 宏定义与函数原型

在 <linux/module.h> 中，这两个宏的本质是将函数指针放入特定的 ELF section（.init.text 和 .exit.text），内核在加载/卸载时通过符号查找机制调用它们。

/* 标准驱动模板 */
#include <linux/module.h>
#include <linux/kernel.h>
#include <linux/init.h>

static int __init my_driver_init(void)
{
    pr_info("MyDriver: 模块加载成功，主设备号= %d\n", major_num);
    /* 注册字符设备、分配内存、初始化硬件等 */
    return 0;   /* 返回 0 表示成功，负值表示失败 */
}

static void __exit my_driver_exit(void)
{
    pr_info("MyDriver: 模块卸载，清理资源\n");
    /* 注销设备、释放内存、关闭硬件等 */
}

module_init(my_driver_init);
module_exit(my_driver_exit);

2.2.2 初始化失败处理模式

初始化函数返回非零值时，内核会回滚加载操作。常见的失败处理模式如下：

• 早期返回（goto 模式）：使用 goto 标签统一清理已分配的资源，避免内存泄漏。
• 分步注册：先注册基础设施（如设备号），再注册更复杂的资源（如中断、procfs），任何一步失败都跳转到对应的清理标签。
• 延迟初始化：对于非关键资源，可以在第一次打开设备时再分配，降低模块加载失败的概率。

2.3 模块参数与许可证

模块参数允许用户在加载模块时动态传递配置值，而许可证声明则是内核社区的法律边界。两者都是模块元数据的重要组成部分。

2.3.1 模块参数声明与传递

使用 module_param() 宏声明参数，支持基本类型（int, long, charp, bool 等）和数组。参数通过 insmod 或 modprobe 的命令行传递，也可在 /sys/module/<name>/parameters/ 下动态修改（需权限）。

#include <linux/moduleparam.h>

/* 声明模块参数 */
static int debug_level = 0;
static char *device_name = "default_dev";
static int array_param[4] = {0, 0, 0, 0};

/* 注册参数：参数名，变量指针，权限位，描述（可选） */
module_param(debug_level, int, 0644);
module_param(device_name, charp, 0444);
module_param_array(array_param, int, NULL, 0444);

/* 参数描述（modinfo 可见） */
MODULE_PARM_DESC(debug_level, "调试级别: 0=关闭, 1=基本信息, 2=详细信息");
MODULE_PARM_DESC(device_name, "设备名称字符串");
MODULE_PARM_DESC(array_param, "示例整型数组，最多4个元素");

2.3.2 许可证声明与内核社区规则

Linux 内核要求所有模块明确声明许可证，这直接决定了模块能否调用 EXPORT_SYMBOL_GPL 导出的符号。常见的许可证宏如下：

2.3.3 其他元信息宏

除了许可证，模块还应包含作者、描述、版本等元信息，这些信息通过 modinfo 命令可见，有助于用户和管理员识别模块来源。

MODULE_AUTHOR("Your Name <email@example.com>");
MODULE_DESCRIPTION("高性能 SPI 字符设备驱动");
MODULE_VERSION("2.1.0");
MODULE_ALIAS("spi:my-spi-device");  /* 用于自动加载的别名 */

2.4 本章小结与调试清单

内核模块的加载/卸载机制、入口/出口函数、参数与许可证是驱动开发的基石。在进入下一章之前，请确保掌握以下关键点：

• 模块生命周期：理解 insmod → module_init → 运行 → rmmod → module_exit 的完整路径。
• 错误回滚：初始化函数必须实现完整的资源清理路径，任何失败都要释放已分配的资源。
• 参数调试：利用模块参数动态控制调试级别，避免硬编码。
• 许可证合规：明确模块许可证，避免因调用 GPL-only 符号导致内核污染。