对于位置无关代码的理解

这个概念其实很好理解。对于一个可重定位目标文件，里面一定有很多需要重定位的符号。这些符号需要在静态链接器进行链接的时候回填绝对的虚拟内存地址。这种叫做位置有关代码。

而位置无关代码的意思是，在动态链接阶段（这个阶段可以发生在装载时也可以发生在运行时）无需回填具体的代码段，而是只需要回填全局偏移量表(GOT)与过程链接表（PLT）即可。

位置无关代码与位置有关代码的根本区别在于：

链接阶段是否需要修改具体的代码段中的符号地址。在静态链接中需要回填，而在动态链接中借助GOT与PLT很好的规避了对代码段的修改。

编译器在数据段开始的地方创建了一个表，为每个全局变量维护了一个条目。具体来说，分为对变量的引用与对函数的引用。

1.对变量的引用

动态链接阶段只用将具体的虚拟地址回填到GOT[3]条目即可，无需修改代码段。此时动态链接发生在加载阶段。

2.对函数的引用

在加载阶段动态动态链接器并没有解析addvec的地址而是在运行阶段第一次调用addvec的时候解析地址。动态链接发生在运行时，先填充GOT[4]并把控制权交给addvec，后面每次调用都是直接跳到GOT[4]所记录的addvec地址；

如果用伪代码来表示，我个人觉得可以写成下面的代码

#include<iostream>
using namespace std;
static void(*func)();

void real_func()
{
    cout << "real func" << endl;  
};

void load_linker()
{
    func = real_load;
    func();
}


func = load_linker;
int main()
{

    func();
    func();
    return 0;
}

这种惰性加载是不是很熟悉？第一次运行的时候，代码实际上是运行动态链接器填到GOT表，好了，之后所有的访问都是直接跳转到真正的函数地址。