很早很早以前就想在嵌入式系统上实现动态模块加载的功能了,期间走了些弯路,直到最近,才完整地在嵌入式系统上实现动态模块加载。
=== 动态模块加载的好处 ===
动态模块加载的好处很多,例如,当你升级一个系统的时候,可以只升级一个模块,而不必升级整个系统。你可以把不同的模块放在不同的介质上,并实施不同等级的保护,例如BIOS部分进行写保护。
有些系统允许用户进行二次开发,这个时候几乎一定是需要动态加载功能的,因为你不希望用户需要链接整个系统才能够进行二次开发,而且你可能希望支持多个用户模块,彼此不相互依赖,彼此不干扰。
=== Background ===
一般来说,C的编译器编译出来的代码,由以下几个重要的部分:
.code: 代码段
.data: 有初值的数据段
.bss: 无初值的数据段
通常还有.rodata,是只读的数据段,在嵌入式系统中经常可以合并到.code段中.
注: .code, .data 和.bss这些段的命名不同的编译器可能会有不同。
由于不同段在实际运行的时候可能会被加载到不同的介质,例如.code和.rodata可以放在NOR FLASH上而.data,.bss放入RAM中,或者要满足所谓的scatter loading,因此编译器会努力使段可以自由移动。
但是要做到这一点,并不容易。
在代码段中运行的指令,要获取数据段中的数据,方法有:
a) 通过当前PC值+偏移量
b) 通过绝对地址
c) 通过中间寄存器,寄存器里面:
c.1) 存放绝对地址
c.2) 偏移量
方法b通常只在CISC中存在,许多RISC机器由于指令长度受限制,并不存在方法b。
因此,从这里可以看出,要做到各段可以自由移动,有几种方法:
1) 保留一个寄存器专门用于指示数据段的起始地址
2) 运行前修改指令
3) 保留一小块数据段和代码段的相对位置不变,此片数据段作为指向实际数据段的入口表, 运行前修改此表。
方法1和方法3通常会结合起来一起用,动态链接库就是用了这种技术。
方发2是一种通用的方法,实际上连接器就是这样生成可执行文件的。
=== ARM AIF ===
ARM公司的编译器有一项特殊的功能,即可以产生一种可自我重定位的可执行文件,即AIF格式。
在AIF文件中,包含了一个AIF头和一小段由编译器产生的重定位代码。运行AIF格式的文件,只需要告诉它起始地址,这段重定位代码就会负责修改余下的一些必要的信息达到重定位目的。目前还没有充分的公开的文档解释AIF内部的详细工作机制。
在我过去的一些项目中,AIF工作的很好,但是运行时外部无法获取AIF文件的更多信息,例如你无法去调用AIF映像中的某一个函数,因为你不知道它的地址。另外,AIF的执行映像中,.data必须紧跟在.code之后,对于想重定位到FLASH中执行的嵌入式系统就行不通了。
=== ELF ===
ELF文件是最常见的目标文件格式,它可能有很多扩展名,例如.o,.so,或者最终的可执行文件也是ELF。
ELF有几种:
* 可重定位
* 可动态链接
* 可执行
* 可执行+可重定位
可执行的ELF如果没有可重定位信息,那就只能靠虚拟内存系统来支持它运行。但是对于许多嵌入式系统,有可能连MMU都不具备,因此我们只关心可重定位的ELF。(可动态链接ELF实际上也是可重定位的一种,附加很多额外信息)
有关ELF的详细信息,请参阅:http://www.skyfree.org/linux/references/ELF_Format.pdf
=== ELF Loader ===
我花了不少时间寻找小型的ELF Loader实现,但是真正适合嵌入式系统的却不多。
+Contiki OS:
在Contiki OS里面,有一个很有趣的ELF Loader实现,嗯,其实Contiki OS有很多有意思的东西
+ucLinux:
ucLinux也是一个很有意思的例子。由于ucLinux没有启用虚拟内存系统,因此它在加载可执行文件的时候,就要进行重定位。为了加速重定位和减小ELF文件的体积,ucLinux提供了特殊的工具链,在产生ELF之前进行部分的“预重定位”,最后ELF中只需要携带很小体积的重定位信息。
+其它RTOS:
其它嵌入式OS,如VxWorks也实现了ELF Loader, eCos的ELF Loader看起来尚未完整。
+Linux Kernel:
哦,差点忘了一个最重要的,Linux Kernel。
Linux Kernel的模块是可以通过insmod动态地加入内核。虽然Linux的用户空间程序运行在虚拟内存中,整个内核的空间确只有一个。一些奉行micro kernel的人批评Linux的这种方式,但是一个单一空间的内核运行效率却是最高的。
在2.6内核中,模块重定位工作不再由insmod来完成,而是由内核来做所有的重定位工作。实现代码在:kernel/module.c中。
剥去那些处理特殊section的代码,Linux内核模块加载部分的代码其实是非常简单明了的,而且Linux支持数十种架构意味着你几乎不要担心架构移植的问题。
=== 结论 ===
在嵌入式系统中实现动态模块加载的技术是成熟的,可靠的,可以借鉴的开发源码的实现例子也有不少。一个参考数据: 我最近在一个嵌入式RTOS上实现的ELF Loader,运行在ARM7 CPU上,从NAND FLASH中加载一个400K左右的ELF,耗时大约0.5秒。
=== THE END ===
分享到:
相关推荐
NULL 博文链接:https://jzhihui.iteye.com/blog/1447570
用C++写的一个linux 下 so 文件格式分析软件源码: 1.类似objdump,可以辅助分析文件中除.text section 外的section; 2.可以尝试修复被破坏的 .dynamic section 3.源码仅用于学习交流,杜绝非法用途
Android 加载执行ELF可执行文件
elf文件加载 elf文件加载 elf文件加载 elf文件加载 elf文件加载
详细的ELF 格式, 编译器链接过程和加载过程描述. 了解重定位, 动态加载, 动态链接过程.
支持32位/64位elf文件自适应解析、可解析elf文件头、程序头、节头、字符表、符号表、hash表、版本定义表、版本依赖表、动态信息表等。 更多详细介绍请访问:...
UEFI-BootLoader概览 概览它是一个 UEFI 应用程序,它在内存中加载和执行 elf 格式和原始二进制格式文件。 使用。 它是一个最小的实现,也可以作为 UEFI 的研究。我做它的重点是对代码的理解。特征简单的容易明白...
很多从老版本修改过来工程sof输出目录在工程根目录,因此需要用户自行修改脚本和cof文件3、nios ii的软件工程路径为quartus 工程根目录下的software文件夹下(一般都能满足)注意本工具针对EP4CE30、EPCS64编写,...
可执行连接格式(Executable and Linking Format)最初是作为应用程序二进制接口(Application Binary Interface(ABI)的一部分被UNIX系统实验室(USL)开发和发布。工具接口标准委员会(TIS)将还在发展的ELF标准选作为一种...
用源代码的方式分析了ELF文件的加载过程,高清,PDF
2. 程序装入和动态链接PROGRAM LOADING AND DYNAMIC LINKING 33 序言 33 程序头Program Header 34 基地址Base Address 36 注释节 37 程序载入Program Loading 39 动态链接Dynamic Linking 41 动态链接器Dynamic ...
elf文件格式与动态链接库(非常之好).docx
chrome_elf.dll, win10遇到文件夹下的chrome_elf.dll拒绝访问,于是找到这个dll,复制到相应路径下, 32为系统:C:\WINNT\System32 64位系统:C:\Windows\SysWOW64 继续安装,问题得到解决 上传了一个chrome_elf.dll...
将sof和elf文件合成一个jic文件,在线更新程序,可以通过将SOF和ELF文件合并成FLASH HEX JIC,以方便下载。
《ELF文件格式分析.pdf》文档,非常不错的elf格式参考文档,参考elf解析过程,能很快掌握elf文件格式
ELF的最小动态链接器的实现
分析了ELF文件中symbol
linux下64位elf文件加密工具 默认gcc编译器 实际生产请修改部分代码即可
nupkg格式的C#库文件,专门用来解析elf类文件的,使用的时候先加载安装这个库,怎么安装自行百度C# nupkg, 然后using包含ELFSharp.ELF.XXX的命名空间,然后就可以操作对应的函数了, 实例: var elf = ELFReader....