csapp：链接与库打桩

ELF文件结构

elf文件的后缀包括：.o，.a，.so(库文件）和a.out(可执行文件)

链接的类型

静态链接

定义：在程序编译时，将所有的模块和库函数合并到一个可执行文件中。
特点：生成的可执行文件较大，但是运行时不依赖外部库文件。

动态链接

定义：程序在运行时，由动态链接器加载所需的共享库。
特点：可执行文件较小，运行时动态加载所需模块，节省空间且便于更新。

链接的步骤

符号解析：链接器将从所有模块中收集符号定义和引用，解析出每个符号的地址。
重定位：合并所有模块的代码和数据段，解决各个模块之间的相对地址引用。

符号解析

全局符号：函数和全局变量，对所有模块可见。
局部符号：仅在定义它的源文件内可见。
强符号与弱符号：函数和已初始化的全局变量是强符号，未初始化的全局变量是弱符号。链接器用强符号解决符号冲突。

gcc -fno-common(遇到多重定义的全局符号时触发error，而不是warning）

重定位

重定位条目：链接器修改代码和数据段中的各种指针，使它们指向正确的位置。
相对地址：模块内部的地址引用通常是相对地址，链接器会根据模块在可执行文件中的位置调整这些地址。

动态链接

共享库：动态链接的实现基础，多个程序可以共享同一份库代码。
动态链接器：ld-linux.so
延迟绑定：程序运行时，动态链接器加载并绑定所需的共享库。

位置无关代码

-fpic（编译参数）

库打桩

编译打桩

gcc -DCOMPILETIME -c mymalloc.c
gcc -I, -o intc int.c mymalloc.o

需要访问源文件

链接打桩

gcc -DLINKTIME -c mymalloc.c
gcc -c int.c
gcc -Wl,--wrap,malloc -Wl,--wrap,free -o intl int.o mymalloc.o

只需要访问可重定位文件int.o

运行打桩

gcc -DRUNTIME -shared -fpic -o mymalloc.so mymalloc.c -ldl
gcc -o intr int.c
LD_PRELOAD="./mymalloc.so" ./intr

只需要使用最后的可执行文件

小结

链接是程序构建过程中的一个关键步骤，它影响着程序的大小、性能和便利性。理解静态和动态链接的区别及其工作原理，对于深入理解程序的运行和优化是非常重要的。