链接杂谈 CASPP

构建大型程序

构建大型程序，不可避免的一个问题是链接问题：

- 链接器提示：缺少某个模块

缺少某个库

不兼容的库版本

理解全局变量的链接

你的代码可能有多个全局变量，有些是强变量，有些是弱定义，执行可能会出错，比如你主函数是int x, 而调用某个模块的float x; x=3.14; 文件的变量默认是全局变量，多个文件都可以修改，可能会引起一些错误，具体看这个代码：CSDNhttps://mp.csdn.net/mp_blog/creation/editor/127867674

链接器不允许有多个全局符号的定义(强符号）：redefinition

链接器不允许找定义：undefined reference to xxx

链接器运行有多个声明，有强有弱，选择强的为定义(就是那个变量的内存地址）

 在CSAPP的7.5节可以看到 common模块是放未初始化的全局变量（全局弱符号）。编译加上”-fno-common" 就是把没有初始化的全局变量都放到bss（static变量或者初始化为0 的变量），遇到多重定义的全局符号，触发错误，或者使用-Werror

理解语言的作用域

是如何实现的？顶一个static变量或者函数意味着什么？编译器在编译的时候就会为它分配内存，目标文件会有一块内存来放这个static变量，不是在栈管理的。然后用static可以隐藏某个模块的函数和变量，只给自己模块用，其他模块用不了。

理解操作系统的概念

加载，运行程序，虚拟内存，分页，内存映射

---

compiler driver = gcc

gcc -Og -o prog main.c func.c

驱动程序运行预处理，然后运行c编译器，然后运行汇编器，然后运行链接器

shell调用系统中一个叫加载器的函数，把程序数据复制到内存，然后将控制转移到这个程序的开头

链接分为

- 静态链接（编译时链接）

- 动态链接（加载时链接，运行时链接）

链接都做两件事：

- 符号挂钩（符号解析symbol resolution)： 声明和定义挂钩，不同文件的

- 复制相应的数据和代码（重定位 relocation）：具体的定义和内存的位置联系起来

静态链接至复制被程序用到的模块

目标文件ELF有三种格式

没有进行链接的问题是：可重定位目标文件（.o)

so文件是动态库

- 静态链接把这两件事在编译时做了，生成的是 可执行目标文件 (exe)

- 动态链接是在编译时只完成静态链接部分（符号挂钩），第二部分复制相应代码和数据是在加载时做的，也叫加载时链接，完成第一步的时候的目标文件是 

静态链接

ar r libxxx.a xxx.o xxx.o

gcc -static -o prog main.o ./libxxx.a

gcc -static -o prog main.o -L. -lxxx 

要注意顺序 库放在后面，否则会indefined reference to xxx

动态链接: 加载时

gcc -shared -fpic -o xxx.so xxx.c xxx.c

gcc -o prog main.c ./libxxx.so

动态链接：运行时 (用了dlopen)

gcc -rdynamic -o prog xxx.c  -ldl

dd