ELF可重定位目标文件的节:

.bss

（Block Strorage Start） 储存未初始化的全局和c变量，和被初始化为0的全局和静态变量

动态链接共享库

共享库是致力于解决静态库缺陷（定期维护和更新，重新链接）的一个产物，共享库也被称为共享目标（Shared Object），Linux中常用.so后缀来表示

动态链接过程如下：

位置无关代码（PIC）

共享库的一个主要目的是允许多个正在运行的进程共享内存中相同的库代码，节约内存资源。若是事先分配专用的地址空间片，要求加载器总是在这个地址加载，这样虽然简单，但对地址空间的使用效率不高，即使不用也要分配。除此之外难以管理，必须保证没有片会重叠，并且当库修改了之后必须确认已分配的片还适合它的大小，而修改之后更加难以管理，为了避免这些问题，现代操作系统引入了位置无关代码PIC（Position-Independent Code），使得可以把它们加载到内存的任何位置而无需链接器修改。

PIC数据引用

无论在内存的何处加载一个目标模块（包括共享目标模块），数据段与代码段的距离总保持不变，因此，代码段中任何指令和数据段中任何变量之间的距离都是一个运行时常量，与代码段和数据段的绝对内存位置无关。

编译器利用这个事实生成对全局变量PIC的引用，它在数据段开始的地方创建了一个表，叫做全局偏移量表（Global Offset Table,GOT）。在GOT中，每个被当前目标模块引用的全局数据（过程或全局变量）都有一个8字节条目（编译器还会为GOT表中每个条目生成一个重定位记录），加载时动态链接器重定位GOT中每个条目，使得它们包含目标的正确绝对地址。引用全局目标的目标模块都有自己的GOT

libvector.so共享模块的GOT，实现addcnt在内存中+1

IMG_19184E04E007-1.jpeg

PIC函数调用（重点）

在ELF文件的动态连接机制中，每一个外部定义的符号在全局偏移表(Global Offset Table，GOT)中有相应的条目，如果符号是函数则在过程连接表(Procedure Linkage Table，PLT)中也有相应的条目，且一个PLT条目对应一个GOT条目，原理如下：

假设程序调用一个由共享库定义的函数。编译器没有办法预测这个函数的运行时地址，因为定义它的共享模块在运行时可以加载到任意位置。正常的方法是为该引用生成一条重定位记录，然后动态链接器在程序加载的时候再解析它。不过，因为它需要链接器修改调用模块的代码段，GUN使用延迟绑定(lazy binding)将过程地址的绑定推迟到第一次调用该过程时。

使用延迟绑定的动机是对于一个像libc.so这样的共享库输出的成百上千个函数中，一个典型的应用程序只会使用其中很少的一部分，把函数地址的解析推迟到它实际被调用的地方，能避免动态链接器在加载时进行成百上千个其实并不需要的重定位。第一次调用过程的运行时开销很大，但是其后的每次调用都只会花费一条指令和一个间接的内存引用。

延迟绑定是通过两个数据结构【GOT和过程链接表（Procedure Linkage Table，PLT）】之间的交互实现，如果一个目标模块调用定义在共享库的任何函数，那么它就有GOT和PLT，GOT是数据段的一部分，PLT是代码段的一部分

IMG_3F75CCFC1CCD-1.jpeg

如图，

PLT

是一个数组，其中每个条目是16字节代码。PLT[0]是个特殊条目，它跳转到动态链接器中。每个被可执行程序调用的库函数都有它自己的PLT条目。每个条目都负责调用一个具体的函数。PLT[1]调用系统启动函数(__libc_start_main),它初始化执行环境，调用main 函数并处理其返回值。从PLT[2]开始的条目调用用户代码调用的函数，PLT[2]调用addvec,PLT[3]调用printf。

全局偏移量表(GOT)是一个数组，其中每个条目是8字节地址。和PLT联合使用时，GOT[O]和GOT[1]包含动态链接器在解析函数地址时会使用的信息。GOT[2]是动态链接器在ld-linux.so模块中的人口点。其余的每个条目对应于一个被调用的函数，其地址需要在运行时被解析。每个条目都有一个相匹配的PLT条目。例如，GOT[4]和PLT[2]对应于addvec。初始时，每个GOT条目都指向对应PLT条目的第二条指令。

图中步骤：

第1步：不直接调用addvec,程序调用进入PLT[2],这是addvec的PLT条目。

第2步：第一条PLT指令通过GOT[4]进行间接跳转。因为每个GOT条目初始时都指向它对应的PLT条目的第二条指令，这个间接跳转只是简单地把控制传送回PLT[2]中的下一条指令。

第3步：在把addvec 的ID(0x1)压人栈中之后，PLT[2]跳转到PLT[0]。

第4步：PLT[0]通过GOT[1]间接地把动态链接器的一个参数压人栈中，然后通过GOT[2]间接跳转进动态链接器中。动态链接器使用两个栈条目来确定addvec的运行时位置，用这个地址重写GOT[4],再把控制传递给addvec。

图7-19b是后续再调用addvec时的控制流:

第1步：和前面一样，控制传递到PLT[2]。

第2步：不过这次通过GOT[4]的间接跳转会将控制直接转移到addvec