c - 链接中的重定位条目(C编程)

Question

仍在努力理解 Relocatable Object Files 中的重定位条目，假设我有这个简单的 C 程序:

//main1.c

void functionTest();

functionTest(){
   ...
}

int main()
{
   functionTest();
   return 0;
}

我的问题是:

Q1。由于 main1 知道所有内容，因此 main1.o 的 .rel.text 或 .rel.data 部分没有重定位条目，我的理解是否正确？

Q2。下面的图片说明了 DLL 是如何工作的，

对于libc.so，一切都是已知的(它和main1一样有所有的定义)，那么为什么libc.so中还有重定位入口呢？我能理解符号表信息需要复制，因为它们存在，你怎么能复制不存在的东西呢？

Q3。下面说的是重定位入口结构；

typedef struct {
   int offset; /* Offset of the reference to relocate */
   int symbol:24, /* Symbol the reference should point to */
   type:8; /* Relocation type */
} Elf32_Rel;

所以我的理解是在 main2.o 中已经有一个用于 printf() 的重定位条目，所以偏移量大约是从调用函数偏移 8 或 9 个字节，符号将是 'printf'，类型是 R_386_PC32，所以如果还有一个需要从libc.so复制到main2.o，那个重定位入口的结构是什么？

Answer 1

Q1:是的，如果您编译问题中的 main1.c，它将构建而无需任何链接，因为它没有使用其他地方定义的函数。

问题 2: 该图不适用于构建 main1.c，因为 main1.c 不使用外部函数。但是，在一个确实调用printf() 的程序中，下面是发生的事情:该图显示重定位条目关于 libc.so 被放置在 main2.o 中。你问“为什么 libc.so 中还有重定位条目？”但是重定位条目没有被放入libc.so；它们被放入 main2.o，并且它们引用 libc.so 中的内容。

Q2 跟进#1:当您说“对于 libc.so，一切都是已知的”时，仅在 libc.so。任何使用 libc.so 中定义的函数的东西都将不知道该函数是如何定义的，直到链接发生。这就是 ld 的功能:将引用信息从像libc.so这样的库复制到正在构建的程序中，就像图中的 main2 一样。引用信息允许内核执行 main2 以还加载 libc.so 到内存中，这样执行可以从 流出main2 代码转移到 libc.so 代码并返回到 main2，只要 main2 调用定义/代码位于 libc.so.

Q3:我认为最好的表达方式是:用于填充 main2.o 中重定位结构的信息> 来自 libc.so。我说重定位条目是从 libc.so 复制的，这就是我的意思:有关目标的信息(例如 printf())是从 libc 中获取的。 so 并用于为 main2.o 中的重定位条目提供值，其目的是告诉加载程序从何处加载 printf() 的代码。

第 3 季度跟进 #1: libc.so 具有重定位条目还有另一种意义:构建 libc.so 向 libc.so 添加了重定位条目，这样任何想要使用它的(可导出的)函数和变量的东西都可以这样做。 这些不需要复制到任何地方。构建目标文件的一部分是为其他程序可能使用的内部事物创建信息；并且，构建程序的一部分是填充有关它使用的外部事物的信息。但在我看来，该图只是为了显示 关于 libc.so 和 libvector.so 的信息被添加到 main2 .o 以便加载程序可以在执行 main2 时将所有需要的代码加载到内存中。