模块的作用不多说,它消除了宏内核的限制,通过使用模块可以预先编译大量的驱动程序,不会使内核膨胀。同时也可以使试验性的代码打包到模块中。
初始化和清理函数
模块的初始化函数和清理函数,保存在.gnu.linkonce.module段中的module实中。根据.gnu.linkonce.module段,内核来判断二进制文件是否为模块。定义如下:
struct module __this_module
__attribute__((section(".gnu.linkonce.this_module"))) = {
.name = KBUILD_MODNAME,
.init = init_module,
.exit = cleanup_module,
.arch = MODULE_ARCH_INIT,
};
KBUILD_MODNAME包含了模块的名称,只有在代码编译为模块时才定义。<init.h>中的module_init 和module_exit宏用于定义init函数和exit函数,每个模块都应该包括下面的代码:
#ifdef MODULE
static int __init xyz_init(void){
/*初始化代码*/
}
static void __exit xyz_cleanup(void){
/*清理代码*/
}
module_init(xyz_init);
module_exit(xyz_cleanup);
#endif
__init 和 __exit前缀有助于将这两个函数放到.init.text 和 .exit.text段中
#define __init __attribute__ ((__section__(".init.text"))) __cold
#define __initdata __attribute__((__section__(".init.data")))
#define __exitdata __attribute__((__section__(".exit.data")))
#define __exit_call __attribute_used__ __attribute__ ((__section__(".exitcall.exit")))
.init.text段保存了初始化的函数或数据。之所以使用一个独立的段,是因为初始化完成后,相关的代码和数据不再需要,可以从内存移除。
.exit.text段包括了该模块从内核移除时,所需要的代码或数据。
所有data后缀的变体,用于将数据放置在.init 和.exit段中,但是在使用是需要注意,比如:
static int init_variable __initdata = 0;
__initdata放置在变量名和等号之间。
模块的二进制结构
.text .rel.text .exit.text .rel.exit.text .init.text .rel.init.text 保存了代码,初始化代码,清理代码以及它们重定位的信息
__ksymtab, __ksymtab_gpl和__ksmtab_gpl_future段包括一个符号表,里面是模块导出的所有符号。
__kcrctab, __kcrctab_gpl 和 __kcrctab_gpl_future包含了模块所有导出函数的校验和。
.modinfo包含了模块加载之前,必须先行加载的信息,包括开发者名字,模块的描述,许可证信息和参数列表等。
使用模块:
模块可以通过两个系统程序添加到运行的内核中。它们是modprobe 和 insmod。前者考虑了各个模块之间的依赖性。insmod只加载一个单一的模块到内核中。而该模块只信赖内核中已存在的代码,并不关注所依赖的代码是通过模块动态加载。其实,modprobe识别出目标模块所依赖的模块之后,在内核也会使用insmod
从外部来看,模块只是普通的可重定位目标文件,但重定位工作由内核自身执行,而不是动态装载器。