在之前的一篇文章【1】中,我们曾经介绍过在Linux中编写并使用Shared Library的具体方法(注意本文中大量使用了Shared Library,它的编译和使用方法请参考【1】,本文将不再重复)。Shared Library是现代操作系统中不可或缺的一部分,但其背后的实现机制却并不容易理解。本文将就此话题展开讨论,并试图对程序的动态链接机制一探究竟。
首先来看下面这段示例代码,我们在命令行中用GCC来编译它,然后再用readelf来查看文件信息
//test1.c
extern int foo;
int function(void) {
return foo;
}
符号foo的值在你编译生成a.o文件时是未知的,因此,编译器预留了一个R_X86_64_PC32类型的relocation。它的意思是在最终的二进制文件中,在偏移量0x6的位置处加上符号foo的地址。