7

我试图了解 C 工具链的链接阶段。我编写了一个示例程序并剖析了生成的目标文件。虽然这有助于我更好地理解所涉及的过程，但有些事情我仍然不清楚。

以下是：

第 1 部分：初始化变量的处理。

这些重定位表条目是否正确...

RELOCATION RECORDS FOR [.text]:
OFFSET   TYPE              VALUE
0000002b dir32             .data
00000035 dir32             .data
0000003f dir32             .data

...基本上是在告诉链接器，存储在 offset2b和from的地址不是绝对地址，而是相对于? 据我了解，这使链接器能够353f.text.data

  • 将这些相对地址转换为绝对地址以创建不可重定位的目标文件，
  • 或者只是在目标文件与其他目标文件链接的情况下相应地调整它们。

第 2 部分：处理未初始化的变量。

我不明白为什么未初始化的变量与初始化变量的处理方式如此不同。为什么寄存器地址存储在操作码中，

  • 对所有未初始化的变量（0x0、0x0 和 0x0）都相等，同时
  • 所有初始化变量（0x0、0x4 和 0x8）都不同吗？

我也完全不清楚他们的重定位表条目的值字段。我本来希望.bss那里会引用该部分。

RELOCATION RECORDS FOR [.text]:
OFFSET   TYPE              VALUE
0000000d dir32             _var1_zeroed-0x00000004
00000017 dir32             _var2_zeroed-0x00000004
00000021 dir32             _var3_zeroed-0x00000004
4

1 回答 1

3

...基本上是在告诉链接器，地址存储在偏移量...

不，链接器不再参与此操作。重定位表告诉loader，操作系统中负责将可执行映像加载到内存中的地址。

链接器基于一切都是理想的并且可以在预期地址加载映像的假设来构建可执行映像。如果是这样，那么一切都是笨拙的，什么都不需要做。但是，如果存在冲突，则虚拟地址空间已被其他东西使用，则需要将映像重新定位到不同的地址。

这需要修补地址，需要添加理想加载地址和实际加载地址之间的偏移量。因此，如果 .data 部分最终位于另一个地址，则必须更改地址 .text+0x2b、.text+0x35 等。对于未初始化的变量没有什么不同，链接器已经为它们选择了一个地址，但是当 _var1_zeroed-0x00000004 最终到达另一个地址时，需要更改 .text+0x0d、.text+0x17 等。

于 2014-10-05T19:28:07.003 回答