为什么要区分 .rel.text 和 .rel.data 部分？

Question

下面是描述ELF可重定位目标文件格式的图片：

我们知道.rel.text 和.rel.data 部分包含重定位条目，链接器需要重定位这些条目才能生成最终的可执行文件。

我的问题是，为什么要区分 .rel.text 和 .rel.data 部分？我们可以将.rel.text 和.rel.data 部分合并为一个部分（例如.rel）不是更简洁吗？我们只需要在重定位条目结构（Elf64_Rela）中添加一个位来指示重定位条目是与函数（.text）还是全局变量（.data）相关？

Answer 1

在可重定位 (.o) ELF 文件中（相对于链接的可执行文件或具有动态重定位的共享库文件），没有统一的地址空间；所有地址都与特定部分相关。因此，每个包含重定位的部分都需要自己的重定位表，其地址将相对于该部分的基址。

正如您所要求的那样，对于每个重定位只有一个位来指示它是用于 .text 还是 .data 是不够的，因为它们只是可能无限的两个（好吧，仅受索引大小和其他此类限制）部分的数量。例如，使用-ffunction-sections 和/或-fdata-sections，每个函数或数据对象都将驻留在其自己的部分中（因此需要自己的重定位表）。并且使用调试信息，每个与调试相关的部分也需要自己的重定位。放松桌子也是如此。以此类推。

因此，为了避免拥有多个表，您不仅需要一个位，而且每次重定位都需要一个完整的节索引。与O(1)（固定数量的部分）或O(m)（其中m是部分的数量，即远低于任何合理使用中的重定位次数）按照它的方式进行操作的成本。