Question

如果使用以下命令编译一个简单的程序：

arm-none-eabi-gcc -shared -fpic -pie --specs=nosys.specs simple.c -o simple.exe

并使用以下命令打印重定位条目：

arm-none-eabi-readelf simple.exe -r

有一堆重定位条目部分（见下文）。

由于-fpic / -pie标志导致编译器生成与位置无关的可执行文件，我的天真（并且明显不正确）假设是不需要重定位表，因为加载器可以将可执行映像放在任何位置而不会出现问题。那么为什么那里有一个重定位表，这是否表明代码实际上并不是独立的？

Relocation section '.rel.dyn' at offset 0x82d4 contains 37 entries:
 Offset     Info    Type            Sym.Value  Sym. Name
000084a8  00000017 R_ARM_RELATIVE   
000084d0  00000017 R_ARM_RELATIVE   
00008508  00000017 R_ARM_RELATIVE   
00008510  00000017 R_ARM_RELATIVE   
0000855c  00000017 R_ARM_RELATIVE   
00008560  00000017 R_ARM_RELATIVE   
00008564  00000017 R_ARM_RELATIVE   
00008678  00000017 R_ARM_RELATIVE   
0000867c  00000017 R_ARM_RELATIVE   
0000870c  00000017 R_ARM_RELATIVE   
00008710  00000017 R_ARM_RELATIVE   
00008714  00000017 R_ARM_RELATIVE   
00008718  00000017 R_ARM_RELATIVE   
00008978  00000017 R_ARM_RELATIVE   
000089dc  00000017 R_ARM_RELATIVE   
000089e0  00000017 R_ARM_RELATIVE   
00008abc  00000017 R_ARM_RELATIVE   
00008ae4  00000017 R_ARM_RELATIVE   
00018af4  00000017 R_ARM_RELATIVE   
00018af8  00000017 R_ARM_RELATIVE   
00018afc  00000017 R_ARM_RELATIVE   
00018c04  00000017 R_ARM_RELATIVE   
00018c08  00000017 R_ARM_RELATIVE   
00018c0c  00000017 R_ARM_RELATIVE   
00018c34  00000017 R_ARM_RELATIVE   
00019028  00000017 R_ARM_RELATIVE   
000084cc  00000c02 R_ARM_ABS32       00000000   __libc_fini
0000850c  00000602 R_ARM_ABS32       00000000   __deregister_frame_inf
00008558  00001302 R_ARM_ABS32       00000000   __register_frame_info
00008568  00001202 R_ARM_ABS32       00000000   _Jv_RegisterClasses
00008664  00000d02 R_ARM_ABS32       00000000   __stack
00008668  00000a02 R_ARM_ABS32       00000000   hardware_init_hook
0000866c  00000802 R_ARM_ABS32       00000000   software_init_hook
00008670  00000502 R_ARM_ABS32       0001902c   __bss_start__
00008674  00000702 R_ARM_ABS32       00019048   __bss_end__
0000897c  00001402 R_ARM_ABS32       00000000   free
00008ac0  00000402 R_ARM_ABS32       00000000   malloc

Relocation section '.rel.plt' at offset 0x83fc contains 4 entries:
 Offset     Info    Type            Sym.Value  Sym. Name
00018be8  00000416 R_ARM_JUMP_SLOT   00000000   malloc
00018bec  00000616 R_ARM_JUMP_SLOT   00000000   __deregister_frame_inf
00018bf0  00001316 R_ARM_JUMP_SLOT   00000000   __register_frame_info
00018bf4  00001416 R_ARM_JUMP_SLOT   00000000   free

Answer 1

可执行文件包含多个部分。虽然实际的实施细节不同，但这些细节大致可分为四类：

只读可执行代码，也称为＆＃34;文字＆＃34;
只读常量数据（全局常量）
（已初始化）读写数据（带初始值设定项的全局变量）
未初始化的读写数据（其他全局变量，初始化为0）

非位置无关代码包含许多对函数地址，全局变量和全局变量的引用。

只读数据和初始化读写数据有时包含对函数，全局变量和全局变量的地址的引用：

int x;
int *y = &x; // y needs a relocation.

加载器可以根据重定位重新定位代码，只有两个问题：

重定位需要花时间进行程序启动/库加载
如果我们重新定位，我们现在有一个文本段的内存修改副本，这对于加载我们库的每个进程都是不同的，所以我们将浪费RAM。

现在回答真实的答案： PIC旨在通过删除 text 重定位来解决上述问题，而不是去除所有重定位。

只读数据和初始化数据的重定位比较少，因此（1.）和（2.）通常都不是问题。我们甚至不关心（2.）读写数据，因为我们需要为每个进程单独复制该数据。实际上，编译器无法使数据与位置无关，因为如果你要求全局int* y = &x;，那么编译器别无选择，只能将指针放在那里。

现在，代码如何与位置无关？这取决于平台，但它通常涉及一些相对低效的操作，或者处理器对用于访问数据的更有效指令中使用的最大偏移施加任意限制。代码以与位置无关的方式。此外，动态链接意味着某些功能的地址也不被称为相对偏移。因此，编译器倾向于使用包含实际地址的表，代码将从表中查找实际地址。这些表格，通常称为GOT，TOC，PLT以及可能在不同平台上的一些其他名称，可能是具有大量重定位的常量数据。

如果无法避免重新安置，那么我们的想法就是将它们放在一个地方，以尽量减少问题（1.）和（2。）。

为什么用-fpic编译的程序和-pie有重定位表？

1 个答案: