【Linux内核模块】导出符号详解：模块间的“资源共享”机制

一、什么是内核模块导出符号？

1.1 模块间的资源共享

想象一个工厂里有多个车间：

• 机械加工车间有精密车床（函数）
• 电子车间有示波器（变量）
• 装配车间需要使用车床加工零件，但自己没有
• 此时机械车间可以 "导出" 车床使用权，让装配车间调用

在内核中，模块 A 可以将自己的函数或变量 "导出"，供模块 B 使用，这就是导出符号的核心思想。

1.2 符号的本质

在内核中，符号（Symbol）就是函数或全局变量的名称。每个符号对应内存中的一个地址：

• 函数名 → 代码段中的起始地址
• 变量名 → 数据段中的存储位置

导出符号就是把这些名称和地址注册到一个公共表（内核符号表）中，让其他模块可以通过名称找到并使用它们。

内核通过符号表（Symbol Table）记录所有全局符号的地址信息，分为两种类型：

• 静态符号：仅在编译单元内可见（如static修饰的函数）
• 全局符号：可被其他模块访问（需显式导出）

1.3 符号表结构

通过readelf -s可查看模块符号表：

代码语言：javascript

AI代码解释

readelf -s hello.ko # 输出示例： # Num: Value Size Type Bind Ndx Name # 12: 00000000 4 FUNC GLOBAL DEFAULT 1 public_function

• Bind：符号绑定类型（LOCAL/GLOBAL/WEAK）
• Ndx：段索引（UND表示未定义）
• Type：符号类型（FUNC/OBJECT/NOTYPE）

1.4 导出符号的两大应用场景

• 功能复用：避免多个模块重复实现相同功能（如 CRC 校验算法）
• 分层设计：底层模块提供基础功能，上层模块调用（如驱动框架与具体驱动）

二、导出符号的三要素：定义、导出、使用

要实现模块间符号共享，必须掌握三个核心步骤：定义符号→导出符号→使用符号。

2.1 第一步：定义符号（函数或变量）

先在模块中定义要导出的函数或全局变量：

代码语言：javascript

AI代码解释

// 定义要导出的函数 int my_crc32(const unsigned char *buf, size_t len) { // CRC32计算实现 // ... return crc; } // 定义要导出的全局变量 int global_counter = 0;

注意：函数不能是static（static会限制作用域为当前文件），变量同理。

2.2 第二步：导出符号

使用EXPORT_SYMBOL或EXPORT_SYMBOL_GPL宏导出符号：

代码语言：javascript

AI代码解释

// 导出函数 EXPORT_SYMBOL(my_crc32); // 导出变量 EXPORT_SYMBOL(global_counter);

这两个宏的区别在于：

• EXPORT_SYMBOL：允许所有模块使用（无论许可证）
• EXPORT_SYMBOL_GPL：仅允许 GPL 兼容许可证的模块使用

推荐做法：除非必要，优先使用EXPORT_SYMBOL_GPL，保证内核许可证纯洁性。

2.3 第三步：使用导出的符号

在需要使用这些符号的模块中，先声明符号（类似extern），再直接使用：

代码语言：javascript

AI代码解释

// 声明要使用的外部符号 extern int my_crc32(const unsigned char *buf, size_t len); extern int global_counter; // 在模块中使用 static int __init use_module_init(void) { int crc = my_crc32("hello", 5); printk("CRC32值: %x\n", crc); global_counter++; // 使用全局变量 printk("计数器值: %d\n", global_counter); return 0; }

三、导出符号的工作原理：内核符号表揭秘

理解导出符号的工作原理，才能更好地使用这个机制。

3.1 内核符号表：模块间的通讯录

内核维护着一个全局的符号表（本质是哈希表），记录了所有导出符号的名称和地址。当模块 A 导出符号时：

• 符号名称和地址被添加到符号表
• 其他模块可以通过符号名称查找对应的地址

这个符号表在/proc/kallsyms中可见（需要 root 权限）：

代码语言：javascript

AI代码解释

$ sudo cat /proc/kallsyms | grep my_crc32 ffffffffc00080a0 T my_crc32

其中：

• ffffffffc00080a0是符号地址
• T表示该符号在代码段（Text 段）
• my_crc32是符号名称

3.2 符号解析过程

当模块 B 使用模块 A 导出的符号时，内核会：

1. 在模块加载时，检查模块 B 引用的外部符号
2. 在内核符号表中查找这些符号的地址
3. 将模块 B 代码中对这些符号的引用替换为实际地址

这个过程称为符号解析，由内核在模块加载时自动完成。

3.3 导出符号的生命周期

• 导出时机：模块加载时，EXPORT_SYMBOL所在的初始化函数执行后
• 生效范围：模块加载后，直到模块卸载前
• 失效时机：模块卸载时，其导出的符号自动从符号表移除

四、EXPORT_SYMBOL vs EXPORT_SYMBOL_GPL：许可证的微妙差别

这两个宏的核心区别在于许可证兼容性。

1. EXPORT_SYMBOL：无限制导出

• 任何模块（无论使用何种许可证）都可以使用该符号
• 适用于通用工具函数（如 CRC 计算、字符串处理）

2. EXPORT_SYMBOL_GPL：GPL 约束导出

• 仅允许 GPL 兼容许可证的模块使用该符号
• 适用于依赖 GPL 特定机制的函数（如内核锁、文件系统 API）
• 使用该符号的模块必须声明MODULE_LICENSE("GPL")

3. 违反许可证约束的后果

如果非 GPL 模块使用了EXPORT_SYMBOL_GPL导出的符号：

• 编译时不会报错，但加载模块时内核会警告"Module taints kernel"
• 可能导致内核功能异常（如无法正确获取锁）
• 违反 GPL 许可证条款，存在法律风险

总结：除非必须开放给所有模块，否则优先使用EXPORT_SYMBOL_GPL。

五、实战示例：模块间符号共享的完整流程

下面通过一个具体例子，演示如何实现模块间的符号共享。

5.1 模块 A：导出符号的模块（math_helper.c）

代码语言：javascript

AI代码解释

#include <linux/module.h> #include <linux/init.h> // 定义要导出的函数 int add(int a, int b) { return a + b; } int subtract(int a, int b) { return a - b; } // 定义要导出的全局变量 int operation_count = 0; // 导出符号 EXPORT_SYMBOL(add); EXPORT_SYMBOL(subtract); EXPORT_SYMBOL(operation_count); static int __init math_helper_init(void) { printk(KERN_INFO "数学助手模块加载成功\n"); return 0; } static void __exit math_helper_exit(void) { printk(KERN_INFO "数学助手模块卸载成功\n"); } module_init(math_helper_init); module_exit(math_helper_exit); MODULE_LICENSE("GPL"); MODULE_DESCRIPTION("数学计算辅助模块");

5.2 模块 B：使用导出符号的模块（calculator.c）

代码语言：javascript

AI代码解释

#include <linux/module.h> #include <linux/init.h> // 声明要使用的外部符号 extern int add(int a, int b); extern int subtract(int a, int b); extern int operation_count; static int __init calculator_init(void) { int result; result = add(5, 3); printk(KERN_INFO "5 + 3 = %d\n", result); result = subtract(5, 3); printk(KERN_INFO "5 - 3 = %d\n", result); // 更新操作计数器 operation_count += 2; printk(KERN_INFO "总操作次数: %d\n", operation_count); return 0; } static void __exit calculator_exit(void) { printk(KERN_INFO "计算器模块卸载成功\n"); } module_init(calculator_init); module_exit(calculator_exit); MODULE_LICENSE("GPL"); // 必须声明GPL兼容许可证 MODULE_DESCRIPTION("使用导出符号的计算器模块");

5.3 编译 Makefile

代码语言：javascript

AI代码解释

obj-m += math_helper.o calculator.o all: make -C /lib/modules/$(shell uname -r)/build M=$(PWD) modules clean: make -C /lib/modules/$(shell uname -r)/build M=$(PWD) clean

5.4 测试流程

代码语言：javascript

AI代码解释

# 编译模块 make # 加载模块（先加载导出符号的模块） sudo insmod math_helper.ko sudo insmod calculator.ko # 查看日志 dmesg | tail -n 5 [ 1234.567890] 数学助手模块加载成功 [ 1234.567900] 5 + 3 = 8 [ 1234.567910] 5 - 3 = 2 [ 1234.567920] 总操作次数: 2 [ 1234.567930] 计算器模块加载成功 # 卸载模块（顺序与加载相反） sudo rmmod calculator sudo rmmod math_helper

六、导出符号的高级用法：符号版本控制

当模块升级时，可能会修改导出函数的参数或行为，可能导致依赖模块出错。内核提供了符号版本控制机制来解决这个问题。