前语:
所谓方位无关代码是指:可履行镜像test.bin
我将它复制至内存0x30000000,然后pc = 0x30000000、它能够顺畅履行;
我将它复制至内存0x38000000,然后pc = 0x38000000、它仍能够顺畅履行。
1.程序的编译及运转流程
源码经过编译、汇编(生成相对地址符号表)和衔接(供给肯定首地址、从而确认肯定地址符号表)后编程可履行镜像;
特别指出地是:在衔接时,对各个方针文件进行重定位、树立符号引证规矩;从而为变量和函数分配了肯定的运转地址;
程序履行时,体系有必要把可履行镜像加载到衔接阶段指定的地址空间,这样程序履行中才干对变量、函数等符号做正确引证,程序才干正常运转。
在有操作体系的体系中,衔接阶段的重定位(即运转地址的确认)由体系主动完结;
而裸机开发中,这个地址有必要由程序员在衔接阶段经过参数指定。
2.方位无关代码的使用场合:
程序在运转期间动态加载至内存;
程序在不同场合与不同程序组合后加载至内存(如同享的动态链接库);
在运转期间不同地址相互之间的映射(如bootloader程序的前4KB代码;由于编译衔接后决议它的运转地址是0x30000000,但刚开机时它是运转在0x00000000的)。
3.原理
PIC对常量和函数进口地址的操作都是根据PC+偏移量的寻址方法;即便程序被移动,但PC也变化了、而偏移量是不变的。所以,程序依然能够找到正确的进口地址和常量!
eg:
__asm{ pc = a; //假定能够直接给pc赋值 }; int a() { return 0; }
这个便是方位有关代码,它不能在恣意处加载运转。
阐明:编译衔接后函数a的运转地址现已被确认,例如0x80000100。
__asm{ bl a; }; int a() { return 0; }
这个便是方位无关代码,它能够被加载到非运转地址处运转。
阐明:编译衔接后函数a的运转地址现已被确认,例如0x80000100。
一、名词解释
ARM方位无关代码规划指的是该部分代码编译后的可履行镜像,加载就任何地址处都能够正常运转。
即:程序不在衔接时指定的运转地址空间,也能够履行。
二、完成的必要条件
1.ARM汇编中对程序运转的相对跳转指令:
BL a:运转时首要取得当时PC值(也便是当时代码段的值),然后核算当时PC值和a(也是由衔接器取得)间的间隔;跳转地址便是pc+offset。
相对跳转指令的方针地址用根据当时PC的偏移量来表明、与衔接时分配给地址标号的肯定地址值无关,因此、代码能够在任何方位进行跳转,完成方位无关性。
这样,不管编译器指定的a肯定地址是什么;程序都能够加载到恣意地址处正常运转。
三、阐明
衔接阶段履行后,可履行镜像中的虚拟地址与内存办理无关!