代码重定位
1. 重定位的引入
S3C2440的CPU可以直接给片外SDRAM、4K的片内SRAM、Nor Flash、发送读写命令,但是不能直接给Nand Flash发送读写命令。假如把程序烧写到Nand Flash上,即向Nand Flash烧入bin文件,CPU是无法从Nand Flash中取代码执行的。
那为什还可以使用NAND启动?
- 上电后,CPU检测到NAND启动,会自动把Nand Flash前4K内容复制到片内SRAM;
- CPU从0地址运行SRAM;
- 如果程序大于4K,前4K的代码需要把整个程序读出来放到SDRAM(即代码重定位);
如果从Nor Flash启动,会出现什么问题?
- 将拨动开关拨到Nor Flash启动时,此时CPU认为的0地址在Nor Flash上面,片内SRAM的基地址就变成了0x40000000(Nand启动时片内SRAM的基地址是0)。
- Nor Flash可以像内存一样读,但不能和内存一样写,因此需要将全局变量和静态变量重定位到片外SDRAM中。局部变量不需要重定位,因为其保存在栈中。
例如执行如下几条汇编指令:
1 | MOV R0, #0 |
当程序中含有需要写的全局变量或者静态变量时,假如是NAND Flash可以正常操作,因为此时其实是在片内SRAM中执行的,但如果是在Nor Flash则写无效,因此我们需要将全局变量和静态变量重定位到片外SDRAM中。
1 |
|
链接:arm-linux-ld -Ttext 0 -Tdata 0x800 start.o uart.o init.o main.o -o relocate.elf
烧写在NAND中启动显示ABCDE…。
烧写在Nor中启动显示AAA…,也即说明了Nor不能正常的写。
我们的bin文件大小是2049字节,也就是我们指定的-Tdata 0x800后只存放了char g_Char = ‘A’ 这个变量,
其他的变量呢?查看反汇编文件:
1 | Disassembly of section .data: |
2. 链接脚本的引入
前面程序发现在Nor Flash启动和从Nand Flash启动的效果不同,这是为什么呢?
- 假如现在是从Nor启动:
Nor Flash就被认为是0地址,g_Char被放到0x800后面。CPU上电后开始从0地址运行,它能读取Nor上的代码执行(xip,execute in place),打印出A,但执行g_Char++的时候,写操作无效,所以下次打印出来还是A。
- 假如现在是从Nand启动:
上电后Nand Flash前4K的代码被自动的复制到片内SRAM,此时的0地址就是片内SRAM,CPU上电后开始从0地址运行,读取片内SRAM上的代码执行,所以g_Char++能够生效。
为了解决Nor Flash中变量不能修改的问题,可以将变量所在的.data段放在片外SDRAM中试试:
链接:arm-linux-ld -Ttext 0 -Tdata 0x30000000 start.o uart.o init.o main.o -o relocate.elf
编译出来的bin文件很大,因为从0地址到0x30000000之间有一大块空白区域在代码段和数据段之间,称为“黑洞”。
解决黑洞区有两个办法:这两个办法的区别一个只重定位了数据段,另一个重定位了整个程序;
第一个办法:
- 把数据段和代码段靠在一起;
- 烧写到Nor上,运行时把数据段复制到片外SDRAM,即0x30000000(重定位);
第二个办法:
- 让文件直接从0x30000000地址开始,全局变量在0x3…….;
- 烧写到Nor上,运行时把整个程序从0地址复制到片外SDRAM上,即0x30000000(重定位);
要实现两种办法需要引入链接脚本,先来看看链接脚本的语法:
1 | SECTIONS{ |
我的理解:
就嵌入式系统而言,程序通常编译和链接为在一个特定的内存地址运行——这通常是SDRAM的起始地址。这个地址就是链接地址,因为它被用于编译时解析程序内的地址。然后,这个程序的镜像(二进制文件)被烧录到了Flash存储器中的一个位置,这个位置被称为Flash的烧录地址,也就是加载地址。在系统上电启动时,引导加载器(Bootloader)会将程序从Flash复制到SDRAM中,这时它被复制到的是预先设置好的链接地址。
换句话说,链接地址是程序预计会运行的内存地址,加载地址是程序实际存储在非易失性存储介质上的地址。当系统启动时,Bootloader负责将程序从Flash(加载地址)复制到SDRAM的链接地址处。
总结:
链接地址:是程序在内存中预期运行的位置,也是链接器在生成可执行程序时使用的地址。
加载地址:在嵌入式环境中通常是指程序存储在非易失性存储(如Flash)中的地址。
启动时,Bootloader负责将程序从其在Flash中的存储位置(加载地址)复制到SDRAM的链接地址处开始执行。
2.1 分体式链接脚本
我们来实现第一种办法:让数据段放在0x800,运行时在0x30000000
1 | SECTIONS { |
重新编译烧录程序发现打印乱码,这是因为我们会从链接地址0x30000000获取g_Char,但在这之前并没有在该地址处准备好数据,因此我们需要重定位数据段,将数据段的加载地址0x800处把数据移动到链接地址。在start.s中加入:
1 | /* 重定位data段 */ |
这种写法不太通用,只能复制0x800处的一个数据,而且加载地址还需要自己确定,并且因为bin文件不保存bss段,所以我们的程序还需要将bss段清零。改进如下:
1 | SECTIONS { |
1 | /* 重定位data段 */ |
2.2 改进链接脚本
硬件的访问是很耗时的,2440的Nor Flash是16位,SDRAM是32位。假设现在需要重定位16Byte。
采用ldrb,strb命令每次只能读写1Byte数据:
- 内存控制器收到ldrb命令后访问Nor,需要访问Nor硬件16次;
- 内存控制器收到str命令后访问SDRAM,需要访问SDRAM硬件16次;
- 复制16Byte一共访问了32次硬件;
采用ldr,str命令一次能读写4Byte数据:
- 内存控制器收到ldr命令后访问Nor,CPU发出4次ldr,需要访问Nor硬件8次;
- 内存控制器收到str命令后访问SDRAM,CPU发出4次str,需要访问SDRAM硬件4次;
- 复制16Byte一共访问了12次硬件;
继续改进代码:此时要注意地址对齐,否则清除bss段时很可能会意外清除掉data段的数据,使用ALIGN对齐。
1 | SECTIONS { |
1 | /* 重定位data段 */ |
2.3 一体式链接脚本
分体式链接脚本的代码段和数据段的链接地址是分开的,一体式链接脚本的代码段、数据段等都是连续在一起的,我们的嵌入式系统一般都采用一体式,原因如下:
- 分体式链接脚本适合单片机,单片机自带有flash可以xip,不需要将代码复制到ram中。
- 单片机的ram资源很小,所以将代码复制到ram是很浪费的。
- 嵌入式系统ram很大,没必要节省这点空间,而且很多没有nor flash这种xip的flash;
- 所以嵌入式需要使用一体式将Nand Flash或SD卡中的程序全部复制到ram中执行。
修改链接脚本和start.s如下:
1 | SECTIONS |
AT(ldadr):加载地址(load addr),省略时:加载地址 = 链接地址
按照这个理论,上面这个链接脚本生成的可执行文件加载地址为:0x30000000
烧录工具会读取ELF文件的程序头(Program Headers)部分,找到加载地址,指示烧录工具对应的段需要被烧录到什么地址中。2440设置为nor启动时,CPU的0地址就是nor flash的0地址,而加载地址:0x30000000这是外部sdram。
疑问:烧录器看到加载地址是0x30000000,不就会将程序烧写到外部sdram了吗(也烧录不了,因为没有初始化),而我需要烧写到nor或者nand中!
解答:我的理解是,韦东山做的那个2440的oflash烧录工具应该有他自己的一套烧录机制,即:他的烧录工具不是根据elf中的加载地址来烧录。比如烧录时要通过oflash选择烧录到nor还是nand,烧录到nand的哪个bank,以这样的方式设置了加载地址,烧录器再将代码烧录到对应地址去。
正规的链接脚本写法是rtthread的stm32 bsp:https://github.com/qingOOyuan/RTT_STM32_HAL_ZET6
1 | /* 重定位text, rodata, data段整个程序 */ |
最终整个代码的流程如下图所示:
3. 位置无关码
为什么我们的链接地址再SDRAM中,在Nor Flash中的0地址还能够运行呢?这就要引入位置无关码,当我们访问全局变量或者函数指针等数据的时候访问的是其链接地址,但我们用bl等指令的时候,使用的是PC值+offset的方式访问的。也就与他的链接地址无关,所以我们重定位以及重定位之前的代码都需要用位置无关码来编写,查看反汇编文件:
尝试更改链接地址,bl处的机器码eb000106都是一样的,机器码一样,执行的内容肯定都是一样的。因此这里并不是跳转到显示的地址(链接地址),而是跳转到: pc + offset,offset由链接器决定。
假设程序从0x30000000执行,当前指令地址:0x3000005c ,那么就是跳到0x30000478;
假设程序从0地址运行,当前指令地址:0x5c,那么就是跳到:0x00000478;
跳转到某个地址并不是由bl指令决定,是由当前pc值决定。反汇编显示该值只是为了方便读代码;
怎么写位置无关码
- 使用相对跳转命令b或bl。
- 重定位之前不可以使用绝对地址,不可以访问全局变量、静态变量,也不可以访问有初始值的数组(数组的初始值放在.rodata里,使用绝对地址来访问)。
- 重定位之后,使用ldr pc, =main,跳转到链接地址去运行。
- 前面的一体式重定位程序如果最后还是使用bl相对跳转到main,程序仍在Nor/SRAM执行,要想main函数在SDRAM执行,需要使用绝对地址跳转。
写位置无关码,其实就是不使用绝对地址,判断有没有使用绝对地址,最根本的办法就是查看反汇编。
4. C语言实现重定位
C函数实现和汇编实现最主要的区别就是链接脚本中变量值的获取,假设lds中有一个abc变量:
- 汇编中访问链接脚本变量的值,直接使用abc即可;
- C函数中首先声明该变量为外部变量,extern abc;
- 使用时要取地址,int *p = &abc,此时p的值即为lds中abc的值;
为什么C函数要加&?
- C函数定义一个int g_k,程序中必然有4字节来存放这个变量g_k;
- 如果lds中有非常多的变量,而我们的C程序只用到其中几个,所以完全没有必要存储lds里的变量,也就是C程序是不保存lds中的变量的;
- 在编译程序的时候有一个symbol符号表,保存g_k的地址和lds中变量的值;
如何使用symbol符号表:
- 对于常规的C程序中的变量地址,使用&g_k获得;
- 为了保持代码一致,对于lds中的变量,如a2的值,也使用&a2获得;
结论:
- C程序不保存lds文件中的变量,所以lds再大也无所谓;
- C程序使用symbol中lds变量的值,使用时加上&,并且申明为外部变量,类型无所谓;