【嵌入式Linux学习七步曲之第五篇 Linux内核及驱动编程】Linux内核模块LKM的动态加载技术分析

 

 

Linux内核模块LKM的动态加载技术分析

 

Sailor_forever  [email protected] 转载请注明

http://blog.csdn.net/sailor_8318/archive/ 2008/09/20 /2954380.aspx

 

【摘要】本文详解了Linux内核模块的动态加载技术。首先介绍了Linux内核采用LKM的好处,接着介绍了内核模块的基本结构。在分析了动态加载链接技术/ELF格式内核模块组成/内核符号表的基础之上,详细介绍了模块加载卸载的实现细节,包括模块拷贝/符号解析/模块重定位/依赖性检查/资源释放等。

 

【关键字】内核模块,单内核,微内核,动态扩充,动态加载链接,ELF,内核符号表,insmodrmmod

 

 

1       为什么需要LKM

Linux 就是通常所说的单内核(monolithic kernel),即操作系统的大部分功能都被称为内核,整个系统内核都运行于一个单独的保护域中,并在特权模式下运行。它与微型内核不同,后者只把基本的功能(进程间通信[IPC]、调度、基本的输入/输出 [I/O]和内存管理)当作内核运行,而把其他功能(驱动程序、网络堆栈和文件系统)排除在特权空间之外。因此,您可能认为 Linux是一个完全静态的内核,但事实恰恰相反。通过 Linux 内核模块(Loadable Kernel ModulesLKM可以在运行时动态地更改 Linux

 

可动态更改是指允许内核在运行时动态地向其中插入或从中删除代码。这些代码包括相关的子例程、数据、函数入口和函数出口被一并组合在一个单独的二进制镜像中,即所谓的可装载内核模块中,或被简称为模块。这是一种区别于一般应用程序的系统级程序,它主要用于扩展linux的内核功能。LKM 的优点是基本内核镜像可以尽可能的小,可以最小化内核的内存占用,只加载需要的元素(这是嵌入式系统的重要特性),可选的功能和驱动程序可以利用模块形式再提供。模块允许我们方便的删除和重新载入内核代码,也方便了调试工作,无须重新编译内核。而且当热插拔新设备时,可通过命令载入新的驱动程序。

 

Linux 可加载内核模块是 Linux 内核的最重要创新之一。它们提供了可伸缩的、动态的内核。探索隐藏在可加载模块后面的原理将会异常有趣。

 

2       模块的基本结构

LKM 与直接编译到内核或典型程序的元素有根本区别。典型的程序有一个 main 函数,其中 LKM 包含 entry exit 函数。当向内核插入模块时,调用 entry 函数,从内核删除模块时则调用 exit函数。因为 entry exit 函数是用户定义的,所以存在 module_init module_exit宏,用于定义这些函数属于哪种函数。LKM 还包含一组必要的宏和一组可选的宏,用于定义模块的许可证、模块的作者、模块的描述等等。图 1提供了一个非常简单的 LKM 的视图。

1 简单 LKM 的源代码视图

 

因为entry函数通常不会被外部函数直接调用,所以不必导出该函数,故它可被标记为static类型。init函数会返回一个int型数值,如果初始化顺利完成,那么它的返回值为零,否则失败的话,则返回一个非零值。

 

exit()函数是模块的出口函数,它由module_exit()例程注册到系统。在模块从内存卸载时,内核便会调用exit()。退出函数可能会在返回前负责清理资源,以保证硬件处于一致状态。在退出函数返回后,模块就被卸载了。其返回值对模块无任何意义,故exit函数无返回值。与init函数的原因一样,你也可以标记exit函数为static。如果上述文件被静态地编译到内核映像中,那么退出函数将不被包含,而且永远都不会被调用。

 

3       LKM动态加载链接的技术基础

3.1    模块动态加载链接技术

传统嵌入式开发过程中需要将应用与操作系统编译链接成一个整体,然后下载到目标机上运行。如果在调试过程中发现问题,需要重新编链接然后重复下载运行的过程。这样的开发流程周期长而且繁琐,已经越来越不适应快速市场化的需要。新一代的嵌入式操作系统已经开始使用动态扩展技术:将基本系统(包括操作系统以及其他共享功能调用库)和应用程序开发分开处理,支持模块更新和动态加载技术。

 

为了成为可动态扩展系统平台,大部分嵌入式操作系统需要使用动态加载技术。总的来说,动态加载是指应用或者系统在运行过程中需要使用某模块的服务,于是通过一系列预定的动作将指定模块加载到系统中,让调用者继续顺利工作。它实现的关键就是加载与动态链接技术。因为加载和动态链接互相依赖,关系紧密,所以将两者放在一起进行讨论。

 

加载主要负责将模块程序从二级存储设备(比如硬盘或者Flash)搬移到指定内存空间,并且将模块交由系统加载器统一管理。

 

程序链接分为静态链接、加载时链接和运行时链接。

静态链接就是将程序和它运行所需的全部库链接成一个执行文件。它的优点是可以独立运行、速度快,但是它链接生成的代码尺寸比较大。

加载时链接是指程序在编译链接时不会把它用到的库链接到执行程序中,而是在它被加载器加载时才解析执行文件,依次把用到的库装载到系统中让其运行。它的优点是程序本身代码量减小,但运行时程序占的内存并没有减小,同时增加了加载器的工作量。

动态链接是加载时链接的进一步发展,它是指将库的加载过程延迟到程序运行时执行。这种方式不会给程序引入额外的代码,也不会增加加载器的开销,只有当应用真正使用某库时才会加载该库,减少了不必要的空间占用。它的缺点是可能会有一些运行开销。

 

3.2    内核模块ELF格式

LKM 只不过是一个特殊的可执行可链接格式(Executable and Linkable FormatELF对象文件,是用于linux操作系统上的可执行文件格式。当链接两个ELF object 文件的时候,链接程序需要知道每个object文件里相关符号的一些情况。通常,必须链接对象文件才能在可执行文件中解析它们的符号和结果。由于必须将 LKM 加载到内核后 LKM才能解析符号,所以 LKM 仍然是一个 ELF 对象。您可以在 LKM 上使用标准对象工具(在 2.6 版本中,内核对象带有后缀.ko,)。例如,如果在 LKM 上使用 objdump 实用工具,您将发现一些熟悉的区段section),比如.text(代码段)、.data(已初始化数据)和.bss(块开始符号或未初始化数据)。

 

您还可以在模块中找到其他支持动态特性的区段.init.text 区段包含 module_init 代码,.exit.text区段包含 module_exit 代码(参见图 2.modinfo 区段包含各种表示模块许可证、作者和描述等的宏文本。

2 具有各种 ELF 区段的 LKM 的示例

 

lkmobject文件包含了两个重要部分.symtab .strtab这两个section 是用来存储每个符号的信息结构的。

 

.symtab section这部分是一个结构列表。当链接程序使用那些ELF object文件里的符号时,就需要这些数据。/usr/include/elf.h里可以找到这个结构的定义:

/* Symbol table entry. */(符号列表入口)

typedef struct

{

  Elf32_Word    st_name;    /* Symbol name (string tbl index) */(符号名(字符串列表索引))

  Elf32_Addr    st_value;    /* Symbol value */(符号的值)

  Elf32_Word    st_size;    /* Symbol size */(符号数据占用空间的大小)

  unsigned char    st_info;    /* Symbol type and binding */(符号类型和绑定)

  unsigned char    st_other;    /* Symbol visibility */(符号的可见性)

  Elf32_Section    st_shndx;    /* Section index */(各section 的索引)

} Elf32_Sym;

 

这里我们只对st_name感兴趣。实际上它是 .strtab section 的索引,而那些符号的名称就是存储在 .strtab 里面的。

 

.strtab section 是一个非空字符串的列表。Elf32_Sym里面的st_name .strtab section 的索引。如果我们寻找的符号在某个字符串里,我们可以很方便的得到这个字符串的偏移地址。下面是我们的计算公式:

offset_sym_name = offset_strtab + st_name

offset_strtab .strtab section 相对于文件起始处的偏移地址,可以通过section 名称解析机制获得。

 

3.3    内核符号表

Linux的内核是个单内核monolithic,任一函数都可以访问公共数据结构和函数调用。在设计程序时,需要命名一些函数名、变量名等;同样内核中就含有很多的全局符号。内核要使用变量和函数-地址(指针)-来访问对应的变量和函数。内核符号表就是为程序员通过符号来访问程序体的对应地址(指针),建立了一个动态的,可变更的映射表格

一个符号表例子:

c 03441a 0 b dmi_broken

c 03441a 4 b is_sony_vaio_laptop

可以看出变量dmi_broken位于内核地址c 03441a 0处。 这和gdb的按图索骥的功能很相似,不同的是内核采用文件为载体的形式。

 

/proc/ksyms内核公共符号的动态映像文件,在内核引导时创建,其实就是内核数据,没有实际大小的。 ksyms中的每一个表项代表着一个全局内核符号。这些符号可被LKM引用的,即可以看出LKM可以调用哪些函数和访问哪些全局变量。模块加载的过程中若有输出全局变量或者函数,则也会添加到这个文件中。

 

System.map列出了内核所有的静态符号,编译链接内核时生成。位于/或者/boot/usr/src/linux/下,在每次重新编译内核时,各符号名及其对应的地址指针可能有所变化。所以系统需要自行更新此文件。System.map文件作为特定内核的静态内核符号表,其链接了系统所使用的System.map 一般的创建步骤:当编译后生成内核vmlinux-2.X.Y后,存于/usr/src/linux/下,这时编译脚本将运行“nm /usr/src/linux/vmlinux-2.X.Y > System.map”,并将其拷入/boot下。 nm vmlinux的作用是过滤掉其中不需要的符号。 值得注意的是内核本身并不真正使用System.map,但其它程序比如klogd lsofps等软件需要一个正确的System.map某些与内核头连接而非glibc库的驱动也需要System.map来解析符号。klogd 内核日志守护进程为了执行名称-地址解析,klogd需要使用System.map man klogd可知,klogd将从一下路径查找System.map /boot/System.map /System.map /usr/src/linux/System.map

 

3.4    导出符号表

模块被载入后,就会动态连接到了内核。注意,它与用户空间中的动态连接库类似,只有当被显式导出后的外部函数,才可以被动态库调用。在内核中,导出内核函数需要使用特殊的指令:

EXPORT_SYMBOL()

这样在编译模块时,就会生成一个.symtab段,所有需要到出的符号都放在此,加载该模块时会将这些符号加载到内核的全局符号表中,以便以后供其他模块使用。

 

导出的内核函数可以被模块调用,而未导出的函数模块则无法被调用。模块代码的链接和调用规则相比核心内核镜像中的代码而言,要更加严格。核心代码在内核中可以调用任意非静态接口,因为所有的核心源代码文件被链接成了同一个镜像。当然,被导出的符号表所含的函数必然也是非静态的。

 

导出的内核符号表被看作是导出的内核接口,甚至称为内核API。导出符号相当简单,在声明函数后,紧跟上EXPORT_SYMBOL(XXX)指令就搞定了

 

如果你的代码被配置为模块,那么就必须确保当它被编译为模块时所用的全部接口都已被导出否则就会产生连接错误。

 

3.5    模块依赖性

有时候Linux模块之间存在依赖性,加载某模块时需要先加载依赖模块。当模块较多时可能依赖关系比较复杂,这时可以利用modprobe destmod,其将自动根据依赖关系加载相关模块,但这里需要的依赖信息必 须事 先生成。若想产生内核依赖关系的信息,root用户可运行命令:

depmod

为了执行更快的更新操作,可以只为新模块生成依赖信息,而不是生成所有的依赖关系,这时root用户可运行命令:

depmod -A

模块依赖关系信息存放在/lib/modules/version/modules.dep文件中。

 

4       动态加载链接的实现细节

了解 LKM 动态加载链接的基础知识之后,现在我们进一步探索模块是如何进入内核的,以及在内核内部是如何管理模块的。构建 LKM时,可以使用典型的用户工具管理模块:标准 insmod(安装 LKM),rmmod(删除LKM),modprobeinsmod rmmod 的包装器),depmod(用于创建模块依赖项),以及modinfo(用于为模块宏查找值)。

 

4.1    LKM 的生命周期

在用户空间中,insmod(插入模块)启动模块加载过程。insmod 命令定义需要加载的模块,并调用 init_module用户空间系统调用,开始加载过程。2.6 版本内核的 insmod 命令经过修改后变得非常简单,可以在内核中执行更多工作。insmod 并不进行所有必要的符号解析,它只是通过 init_module函数将模块二进制文件复制到内核,然后由内核完成剩余的任务。

 

init_module 函数通过系统调用层,进入内核到达内核函数 sys_init_module(参见图3)。这是加载模块的主要函数,它利用许多其他函数完成困难的工作。类似地,rmmod 命令会使 delete_module 执行 system call 调用,而 delete_module 最终会进入内核,并调用 sys_delete_module 将模块从内核删除。

3 加载和卸载模块时用到的主要命令和函数

 

在模块的加载和卸载期间,模块子系统维护了一组简单的状态变量,用于表示模块的操作。加载模块时,状态为MODULE_STATE_COMING。如果模块已经加载并且可用,状态为 MODULE_STATE_LIVE。此外,卸载模块时,状态为MODULE_STATE_GOING

 

4.2    模块加载细节

内核模块的加载是通过insmod这个用户空间工具实现的insmod包含在modutils包里[6]。我们感兴趣的东西是insmod.c文件里的init_module()函数。

 

static int init_module(const char *m_name, struct obj_file *f,

        unsigned long m_size, const char *blob_name,

        unsigned int noload, unsigned int flag_load_map)

{

(1)     struct module *module;

        struct obj_section *sec;

        void *image;

        int ret = 0;

        tgt_long m_addr;

 

        ....

 

(2)     module->init = obj_symbol_final_value(f, obj_find_symbol(f, " module_init"));

(3)     module->cleanup = obj_symbol_final_value(f, obj_find_symbol(f, " module_exit"));

 

        ....

 

        if (ret == 0 && !noload) {

                fflush(stdout);         /* Flush any debugging output */

(4)             ret = sys_init_module(m_name, (struct module *) image);

                if (ret) {

                        error("init_module: %m");

                        lprintf(

      "Hint: insmod errors can be caused by incorrect module parameters, "

      "including invalid IO or IRQ parameters./n"

      "You may find more information in syslog or the output from dmesg");

                }

        }

 

(1) 里,函数向一个结构体模块(struct module)填充了加载模块必须的数据。需要关注的部分是 init cleanup。这是两个函数指针,分别指向被加载模块的 module_init() module_exit函数。

 

(2)里面的 obj_find_symbol()函数遍历符号列表查找名字为module_init的符号,然后提取这个结构体符号(struct symbol)并把它传递给 obj_symbol_final_value()。后者从这个结构体符号提取出module_init函数的地址。同理,在 (3) 里这个工作对于module_exit ()又重复了一遍。

 

当结构体模块填充完毕后,(4) 使用了 sys_init_module() 这个系统调用(syscall)通知内核加载相应模块。模块加载过程中程序调用了 sys_init_module(),其中有我们感兴趣的部分。

 

现在,我们看看加载模块时的内部函数(参见图 4)。当调用内核函数 sys_init_module时,会开始一个许可检查,查明调用者是否有权执行这个操作(通过 capable 函数完成)。然后,调用 load_module函数,这个函数负责将模块加载到内核并执行必要的调试。load_module函数返回一个指向内核中最新加载分配的模块引用。然后将这个模块加载到系统内所有模块的双向链表上,并且通过 notifier列表通知正在等待模块状态改变的线程。最后,调用模块的 init()函数,更新模块状态,表明模块已经加载并且可用。

4  内部(简化的)模块加载过程

 

加载模块的内部细节是 ELF 模块解析和操作。load_module函数(位于./linux/kernel/module.c)首先分配一块用于容纳整个 ELF 模块的临时内存。然后,通过 copy_from_user 函数将 ELF 模块从用户空间读入到临时内存。作为一个 ELF 对象,这个文件的结构非常独特,易于解析和验证。

 

下一步是对加载的 ELF 映像执行一组健康检查(它是有效的 ELF 文件吗?它适合当前的架构吗?等等)。完成健康检查后,就会解析ELF 映像,然后会为每个区段头创建一组方便变量,简化随后的访问。因为 ELF 对象的偏移量是基于 0的(除非重新分配)所以这些方便变量将相对偏移量包含到临时内存块中。在创建方便变量的过程中还会验证 ELF 区段头,确保加载的是有效模块。

 

任何可选的模块参数都从用户空间加载到另一个已分配的内核内存块(第 4 步),并且更新模块状态,表明模块已加载(MODULE_STATE_COMING)。如果需要 per-CPU 数据(这在检查区段头时确定),那么就分配 per-CPU 块。

 

在前面的步骤,模块区段被加载到内核(临时)内存,并且知道哪个区段应该保持,哪个可以删除。步骤 7为内存中的模块分配最终的位置,并移动必要的区段(ELF 头中的SHF_ALLOC,或在执行期间占用内存的区段)。然后执行另一个分配,大小是模块必要区段所需的大小。迭代临时 ELF块中的每个区段,并将需要执行的区段复制到新的块中。接下来要进行一些额外的维护。同时还进行符号解析,可以解析位于内核中的符号(被编译成内核映象),或临时的符号(从其他模块导出)。

 

然后为每个剩余的区段迭代新的模块并执行重新定位。这个步骤与架构有关,因此依赖于为架构(./linux/arch//kernel/module.c)定义的 helper 函数。最后,刷新指令缓存(因为使用了临时 .text 区段),执行一些额外的维护(释放临时模块内存,设置系统文件),并将模块最终返回到 load_module

 

4.3    模块卸载细节

卸载模块的过程和加载模块基本一样,除了必须进行几个健康检查外(确保安全删除模块)。卸载模块过程首先在用户空间调用 rmmod(删除模块)命令。在 rmmod 命令内部,对 delete_module执行系统调用,它最终会导致在内核内部调用 sys_delete_module(查看图 3)。图 5 演示了删除模块的基本操作过程。

5 内部(简化的)模块卸载过程

 

当调用内核函数sys_delete_module(将要删除的模块的名称作为参数传入)之后,第一步便是确保调用方具有权限。接下来会检查一个列表,查看是否存在依赖于这个模块的其他模块。这里有一个名为 modules_which_use_me的列表,它包含每个依赖模块的一个元素。如果这个列表为空,就不存在任何模块依赖项,因此这个模块就是要删除的模块(否则会返回一个错误)。接下来还要测试模块是否加载。用户可以在当前安装的模块上调用 rmmod,因此这个检查确保模块已经加载。在几个维护检查之后,倒数第二个步骤是调用模块的exit 函数(模块内部自带)。最后,调用 free_module 函数。

 

调用 free_module 函数之后,您将发现模块将被安全删除。该模块不存在依赖项,因此可以开始模块的内核清理过程。首先,从安装期间添加的各种列表中(系统文件、模块列表等)删除模块。其次,调用一个与架构相关的清理例程(可以在 ./linux/arch//kernel/module.c中找到)。然后迭代具有依赖性的模块,并将这个模块从这些列表中删除。最后,从内核的角度而言,清理已经完成,为模块分配的各种内存已被释放,包括参数内存、per-CPU 内存和模块的 ELF 内存(core init)。

 

4.4    为模块管理优化内核

在许多应用程序中,动态加载模块非常重要,但加载之后,就没有必要卸载模块。这允许内核在启动时是动态的(根据找到的设备加载模块),但并不是在整个操作过程中都是动态的。如果不需要在加载之后卸载模块,那么可以进行一些优化,减少模块管理所需的代码。您可以 “取消” 内核配置选项CONFIG_MODULE_UNLOAD,删除大量与卸载模块相关的内核功能。

 

要获得模块管理的细节,源代码本身就是最佳的文档。关于在模块管理中调用的主要函数,请查看./linux/kernel/module.c(以及./linux/include/linux/module.h 中的头文件)。您还可以在./linux/arch//kernel/module.c 中找到几个与架构相关的函数。最后,可以在./linux/kernel/kmod.c 中找到内核自动加载函数(可以根据需要从内核自动加载模块)。这个功能可以通过 CONFIG_KMOD配置选项启用。

 

 

 

5       参考书目

LKM 注射http://www.cnpaf.net/Class/hack/05121820345113486242.htm

Linux 可加载内核模块剖析http://bbs.cnw.com.cn/viewthread.php?tid=95476

在内核中寻找内核符号表

内核符号表详解 - [Linux内核技术],笑雨bladerunner

内核符号表

内核符号表和系统调用

Linux内核设计与实现

嵌入式系统中的模块动态加载技术

http://www.linuxforum.net/forum/showflat.php?Cat=&Board=linuxK&Number=93082&page=169&view=collapsed&sb=5&o=all

 

6       附加代码

1901/* This is where the real work happens */

1902asmlinkage long

1903sys_init_module(void __user *umod,

1904                unsigned long len,

1905                const char __user *uargs)

1906{

1907        struct module *mod;

1908        int ret = 0;

1909

1910        /* Must have permission */

1911        if (!capable(CAP_SYS_MODULE))

1912                return -EPERM;

1913

1914        /* Only one module load at a time, please */

1915        if (mutex_lock_interruptible(&module_mutex) != 0)

1916                return -EINTR;

1917

1918        /* Do all the hard work */

1919        mod = load_module(umod, len, uargs);

1920        if (IS_ERR(mod)) {

1921                mutex_unlock(&module_mutex);

1922                return PTR_ERR(mod);

1923        }

1924

1927        stop_machine_run(__link_module, mod, NR_CPUS);

1928

1929        /* Drop lock so they can recurse */

1930        mutex_unlock(&module_mutex);

1931

1932        blocking_notifier_call_chain(&module_notify_list,

1933                        MODULE_STATE_COMING, mod);

1934

1935        /* Start the module */

1936        if (mod->init != NULL)

1937                ret = mod->init();

1938        if (ret < 0) {

1939                /* Init routine failed: abort.  Try to protect us from

1940                   buggy refcounters. */

1941                mod->state = MODULE_STATE_GOING;

1942                synchronize_sched();

1943                if (mod->unsafe)

1944                        printk(KERN_ERR "%s: module is now stuck!/n",

1945                               mod->name);

1946                else {

1947                        module_put(mod);

1948                        mutex_lock(&module_mutex);

1949                        free_module(mod);

1950                        mutex_unlock(&module_mutex);

1951                }

1952                return ret;

1953        }

1954

1955        /* Now it's a first class citizen! */

1956        mutex_lock(&module_mutex);

1957        mod->state = MODULE_STATE_LIVE;

1958        /* Drop initial reference. */

1959        module_put(mod);

1960        unwind_remove_table(mod->unwind_info, 1);

1961        module_free(mod, mod->module_init);

1962        mod->module_init = NULL;

1963        mod->init_size = 0;

1964        mod->init_text_size = 0;

1965        mutex_unlock(&module_mutex);

1966

1967        return 0;

1968}

 

 

1480/* Allocate and load the module: note that size of section 0 is always

1481   zero, and we rely on this for optional sections. */

1482static struct module *load_module(void __user *umod,

1483                                  unsigned long len,

1484                                  const char __user *uargs)

1485{

1486        Elf_Ehdr *hdr;

1487        Elf_Shdr *sechdrs;

1488        char *secstrings, *args, *modmagic, *strtab = NULL;

1489        unsigned int i;

1490        unsigned int symindex = 0;

1491        unsigned int strindex = 0;

1492        unsigned int setupindex;

1493        unsigned int exindex;

1494        unsigned int exportindex;

1495        unsigned int modindex;

1496        unsigned int obsparmindex;

1497        unsigned int infoindex;

1498        unsigned int gplindex;

1499        unsigned int crcindex;

1500        unsigned int gplcrcindex;

1501        unsigned int versindex;

1502        unsigned int pcpuindex;

1503        unsigned int gplfutureindex;

1504        unsigned int gplfuturecrcindex;

1505        unsigned int unwindex = 0;

1506        unsigned int unusedindex;

1507        unsigned int unusedcrcindex;

1508        unsigned int unusedgplindex;

1509        unsigned int unusedgplcrcindex;

1510        struct module *mod;

1511        long err = 0;

1512        void *percpu = NULL, *ptr = NULL; /* Stops spurious gcc warning */

1513        struct exception_table_entry *extable;

1514        mm_segment_t old_fs;

1515

1516        DEBUGP("load_module: umod=%p, len=%lu, uargs=%p/n",

1517               umod, len, uargs);

1518        if (len < sizeof(*hdr))

1519                return ERR_PTR(-ENOEXEC);

1520

1521        /* Suck in entire file: we'll want most of it. */

1522        /* vmalloc barfs on "unusual" numbers.  Check here */

1523        if (len > 64 * 1024 * 1024 || (hdr = vmalloc(len)) == NULL)

1524                return ERR_PTR(-ENOMEM);

1525        if (copy_from_user(hdr, umod, len) != 0) {

1526                err = -EFAULT;

1527                goto free_hdr;

1528        }

1529

1530        /* Sanity checks against insmoding binaries or wrong arch,

1531           weird elf version */

1532        if (memcmp(hdr->e_ident, ELFMAG, 4) != 0

1533            || hdr->e_type != ET_REL

1534            || !elf_check_arch(hdr)

1535            || hdr->e_shentsize != sizeof(*sechdrs)) {

1536                err = -ENOEXEC;

1537                goto free_hdr;

1538        }

1539

1540        if (len < hdr->e_shoff + hdr->e_shnum * sizeof(Elf_Shdr))

1541                goto truncated;

1542

1543        /* Convenience variables */

1544        sechdrs = (void *)hdr + hdr->e_shoff;

1545        secstrings = (void *)hdr + sechdrs[hdr->e_shstrndx].sh_offset;

1546        sechdrs[0].sh_addr = 0;

1547

1548        for (i = 1; i < hdr->e_shnum; i++) {

1549                if (sechdrs[i].sh_type != SHT_NOBITS

1550                    && len < sechdrs[i].sh_offset + sechdrs[i].sh_size)

1551                        goto truncated;

1552

1553                /* Mark all sections sh_addr with their address in the

1554                   temporary image. */

1555                sechdrs[i].sh_addr = (size_t)hdr + sechdrs[i].sh_offset;

1556

1557                /* Internal symbols and strings. */

1558                if (sechdrs[i].sh_type == SHT_SYMTAB) {

1559                        symindex = i;

1560                        strindex = sechdrs[i].sh_link;

1561                        strtab = (char *)hdr + sechdrs[strindex].sh_offset;

1562                }

1568        }

1569

1570        modindex = find_sec(hdr, sechdrs, secstrings,

1571                            ".gnu.linkonce.this_module");

1572        if (!modindex) {

1573                printk(KERN_WARNING "No module found in object/n");

1574                err = -ENOEXEC;

1575                goto free_hdr;

1576        }

1577        mod = (void *)sechdrs[modindex].sh_addr;

1578

1579        if (symindex == 0) {

1580                printk(KERN_WARNING "%s: module has no symbols (stripped?)/n",

1581                       mod->name);

1582                err = -ENOEXEC;

1583                goto free_hdr;

1584        }

1585

1586        /* Optional sections */

1587        exportindex = find_sec(hdr, sechdrs, secstrings, "__ksymtab");

1588        gplindex = find_sec(hdr, sechdrs, secstrings, "__ksymtab_gpl");

1589        gplfutureindex = find_sec(hdr, sechdrs, secstrings, "__ksymtab_gpl_future");

1590        unusedindex = find_sec(hdr, sechdrs, secstrings, "__ksymtab_unused");

1591        unusedgplindex = find_sec(hdr, sechdrs, secstrings, "__ksymtab_unused_gpl");

1592        crcindex = find_sec(hdr, sechdrs, secstrings, "__kcrctab");

1593        gplcrcindex = find_sec(hdr, sechdrs, secstrings, "__kcrctab_gpl");

1594        gplfuturecrcindex = find_sec(hdr, sechdrs, secstrings, "__kcrctab_gpl_future");

1595        unusedcrcindex = find_sec(hdr, sechdrs, secstrings, "__kcrctab_unused");

1596        unusedgplcrcindex = find_sec(hdr, sechdrs, secstrings, "__kcrctab_unused_gpl");

1597        setupindex = find_sec(hdr, sechdrs, secstrings, "__param");

1598        exindex = find_sec(hdr, sechdrs, secstrings, "__ex_table");

1599        obsparmindex = find_sec(hdr, sechdrs, secstrings, "__obsparm");

1600        versindex = find_sec(hdr, sechdrs, secstrings, "__versions");

1601        infoindex = find_sec(hdr, sechdrs, secstrings, ".modinfo");

1602        pcpuindex = find_pcpusec(hdr, sechdrs, secstrings);

 

1606

1607        /* Don't keep modinfo section */

1608        sechdrs[infoindex].sh_flags &= ~(unsigned long)SHF_ALLOC;

1609#ifdef CONFIG_KALLSYMS

1610        /* Keep symbol and string tables for decoding later. */

1611        sechdrs[symindex].sh_flags |= SHF_ALLOC;

1612        sechdrs[strindex].sh_flags |= SHF_ALLOC;

1613#endif

1614        if (unwindex)

1615                sechdrs[unwindex].sh_flags |= SHF_ALLOC;

1616

1622

1623        modmagic = get_modinfo(sechdrs, infoindex, "vermagic");

1624        /* This is allowed: modprobe --force will invalidate it. */

1625        if (!modmagic) {

1626                add_taint_module(mod, TAINT_FORCED_MODULE);

1627                printk(KERN_WARNING "%s: no version magic, tainting kernel./n",

1628                       mod->name);

1629        } else if (!same_magic(modmagic, vermagic)) {

1630                printk(KERN_ERR "%s: version magic '%s' should be '%s'/n",

1631                       mod->name, modmagic, vermagic);

1632                err = -ENOEXEC;

1633                goto free_hdr;

1634        }

1635

1636        /* Now copy in args */

1637        args = strndup_user(uargs, ~0UL >> 1);

1638        if (IS_ERR(args)) {

1639                err = PTR_ERR(args);

1640                goto free_hdr;

1641        }

1642

1643        if (find_module(mod->name)) {

1644                err = -EEXIST;

1645                goto free_mod;

1646        }

1647

1648        mod->state = MODULE_STATE_COMING;

1649

1650        /* Allow arches to frob section contents and sizes.  */

1651        err = module_frob_arch_sections(hdr, sechdrs, secstrings, mod);

1652        if (err < 0)

1653                goto free_mod;

1654

1667

1668        /* Determine total sizes, and put offsets in sh_entsize.  For now

1669           this is done generically; there doesn't appear to be any

1670           special cases for the architectures. */

1671        layout_sections(mod, hdr, sechdrs, secstrings);

1672

1673        /* Do the allocs. */

1674        ptr = module_alloc(mod->core_size);

1675        if (!ptr) {

1676                err = -ENOMEM;

1677                goto free_percpu;

1678        }

1679        memset(ptr, 0, mod->core_size);

1680        mod->module_core = ptr;

1681

1682        ptr = module_alloc(mod->init_size);

1683        if (!ptr && mod->init_size) {

1684                err = -ENOMEM;

1685                goto free_core;

1686        }

1687        memset(ptr, 0, mod->init_size);

1688        mod->module_init = ptr;

1689

1690        /* Transfer each section which specifies SHF_ALLOC */

1691        DEBUGP("final section addresses:/n");

1692        for (i = 0; i < hdr->e_shnum; i++) {

1693                void *dest;

1694

1695                if (!(sechdrs[i].sh_flags & SHF_ALLOC))

1696                        continue;

1697

1698                if (sechdrs[i].sh_entsize & INIT_OFFSET_MASK)

1699                        dest = mod->module_init

1700                                + (sechdrs[i].sh_entsize & ~INIT_OFFSET_MASK);

1701                else

1702                        dest = mod->module_core + sechdrs[i].sh_entsize;

1703

1704                if (sechdrs[i].sh_type != SHT_NOBITS)

1705                        memcpy(dest, (void *)sechdrs[i].sh_addr,

1706                               sechdrs[i].sh_size);

1707                /* Update sh_addr to point to copy in image. */

1708                sechdrs[i].sh_addr = (unsigned long)dest;

1709                DEBUGP("/t0x%lx %s/n", sechdrs[i].sh_addr, secstrings + sechdrs[i].sh_name);

1710        }

1711        /* Module has been moved. */

1712        mod = (void *)sechdrs[modindex].sh_addr;

1713

1714        /* Now we've moved module, initialize linked lists, etc. */

1715        module_unload_init(mod);

1716

1717        /* Set up license info based on the info section */

1718        set_license(mod, get_modinfo(sechdrs, infoindex, "license"));

1719

1720        if (strcmp(mod->name, "ndiswrapper") == 0)

1721                add_taint(TAINT_PROPRIETARY_MODULE);

1722        if (strcmp(mod->name, "driverloader") == 0)

1723                add_taint_module(mod, TAINT_PROPRIETARY_MODULE);

1724

1725        /* Set up MODINFO_ATTR fields */

1726        setup_modinfo(mod, sechdrs, infoindex);

1727

1728        /* Fix up syms, so that st_value is a pointer to location. */

1729        err = simplify_symbols(sechdrs, symindex, strtab, versindex, pcpuindex,

1730                               mod);

1731        if (err < 0)

1732                goto cleanup;

1733

1734        /* Set up EXPORTed & EXPORT_GPLed symbols (section 0 is 0 length) */

1735        mod->num_syms = sechdrs[exportindex].sh_size / sizeof(*mod->syms);

1736        mod->syms = (void *)sechdrs[exportindex].sh_addr;

1737        if (crcindex)

1738                mod->crcs = (void *)sechdrs[crcindex].sh_addr;

1739        mod->num_gpl_syms = sechdrs[gplindex].sh_size / sizeof(*mod->gpl_syms);

1740        mod->gpl_syms = (void *)sechdrs[gplindex].sh_addr;

1741        if (gplcrcindex)

1742                mod->gpl_crcs = (void *)sechdrs[gplcrcindex].sh_addr;

1743        mod->num_gpl_future_syms = sechdrs[gplfutureindex].sh_size /

1744                                        sizeof(*mod->gpl_future_syms);

1745        mod->num_unused_syms = sechdrs[unusedindex].sh_size /

1746                                        sizeof(*mod->unused_syms);

1747        mod->num_unused_gpl_syms = sechdrs[unusedgplindex].sh_size /

1748                                        sizeof(*mod->unused_gpl_syms);

1749        mod->gpl_future_syms = (void *)sechdrs[gplfutureindex].sh_addr;

1750        if (gplfuturecrcindex)

1751                mod->gpl_future_crcs = (void *)sechdrs[gplfuturecrcindex].sh_addr;

1752

1753        mod->unused_syms = (void *)sechdrs[unusedindex].sh_addr;

1754        if (unusedcrcindex)

1755                mod->unused_crcs = (void *)sechdrs[unusedcrcindex].sh_addr;

1756        mod->unused_gpl_syms = (void *)sechdrs[unusedgplindex].sh_addr;

1757        if (unusedgplcrcindex)

1758                mod->unused_crcs = (void *)sechdrs[unusedgplcrcindex].sh_addr;

1759

1760#ifdef CONFIG_MODVERSIONS

1761        if ((mod->num_syms && !crcindex) ||

1762            (mod->num_gpl_syms && !gplcrcindex) ||

1763            (mod->num_gpl_future_syms && !gplfuturecrcindex) ||

1764            (mod->num_unused_syms && !unusedcrcindex) ||

1765            (mod->num_unused_gpl_syms && !unusedgplcrcindex)) {

1766                printk(KERN_WARNING "%s: No versions for exported symbols."

1767                       " Tainting kernel./n", mod->name);

1768                add_taint_module(mod, TAINT_FORCED_MODULE);

1769        }

1770#endif

1771

1772        /* Now do relocations. */

1773        for (i = 1; i < hdr->e_shnum; i++) {

1774                const char *strtab = (char *)sechdrs[strindex].sh_addr;

1775                unsigned int info = sechdrs[i].sh_info;

1776

1777                /* Not a valid relocation section? */

1778                if (info >= hdr->e_shnum)

1779                        continue;

1780

1781                /* Don't bother with non-allocated sections */

1782                if (!(sechdrs[info].sh_flags & SHF_ALLOC))

1783                        continue;

1784

1785                if (sechdrs[i].sh_type == SHT_REL)

1786                        err = apply_relocate(sechdrs, strtab, symindex, i,mod);

1787                else if (sechdrs[i].sh_type == SHT_RELA)

1788                        err = apply_relocate_add(sechdrs, strtab, symindex, i,

1789                                                 mod);

1790                if (err < 0)

1791                        goto cleanup;

1792        }

1793

1794        /* Find duplicate symbols */

1795        err = verify_export_symbols(mod);

1796

1797        if (err < 0)

1798                goto cleanup;

1799

1808

1809        add_kallsyms(mod, sechdrs, symindex, strindex, secstrings);

1810

1811        err = module_finalize(hdr, sechdrs, mod);

1812        if (err < 0)

1813                goto cleanup;

1814

1819        /*

1820         * Flush the instruction cache, since we've played with text.

1821         * Do it before processing of module parameters, so the module

1822         * can provide parameter accessor functions of its own.

1823         */

1824        if (mod->module_init)

1825                flush_icache_range((unsigned long)mod->module_init,

1826                                   (unsigned long)mod->module_init

1827                                   + mod->init_size);

1828        flush_icache_range((unsigned long)mod->module_core,

1829                           (unsigned long)mod->module_core + mod->core_size);

1830

1831        set_fs(old_fs);

1832

1833        mod->args = args;

1834        if (obsparmindex)

1835                printk(KERN_WARNING "%s: Ignoring obsolete parameters/n",

1836                       mod->name);

1837

1838        /* Size of section 0 is 0, so this works well if no params */

1839        err = parse_args(mod->name, mod->args,

1840                         (struct kernel_param *)

1841                         sechdrs[setupindex].sh_addr,

1842                         sechdrs[setupindex].sh_size

1843                         / sizeof(struct kernel_param),

1844                         NULL);

1845        if (err < 0)

1846                goto arch_cleanup;

1847

1848        err = mod_sysfs_setup(mod,

1849                              (struct kernel_param *)

1850                              sechdrs[setupindex].sh_addr,

1851                              sechdrs[setupindex].sh_size

1852                              / sizeof(struct kernel_param));

1853        if (err < 0)

1854                goto arch_cleanup;

1855        add_sect_attrs(mod, hdr->e_shnum, secstrings, sechdrs);

1856

1857        /* Size of section 0 is 0, so this works well if no unwind info. */

1858        mod->unwind_info = unwind_add_table(mod,

1859                                            (void *)sechdrs[unwindex].sh_addr,

1860                                            sechdrs[unwindex].sh_size);

1861

1862        /* Get rid of temporary copy */

1863        vfree(hdr);

1864

1865        /* Done! */

1866        return mod;

1867

1868 arch_cleanup:

1869        module_arch_cleanup(mod);

1870 cleanup:

1871        module_unload_free(mod);

1872        module_free(mod, mod->module_init);

1873 free_core:

1874        module_free(mod, mod->module_core);

1875 free_percpu:

1876        if (percpu)

1877                percpu_modfree(percpu);

1878 free_mod:

1879        kfree(args);

1880 free_hdr:

1881        vfree(hdr);

1882        return ERR_PTR(err);

1883

1884 truncated:

1885        printk(KERN_ERR "Module len %lu truncated/n", len);

1886        err = -ENOEXEC;

1887        goto free_hdr;

1888}

 

 

你可能感兴趣的:(嵌入式Linux)