我对动态链接共享库的理解是:
在静态链接中,链接器(ld)直接把被调用的静态库(.a)中的模块(.o)复制到每个调用该函数的可重定位目标模块(or say文件)中组成可执行目标文件。之后加载器加载可执行目标文件(复制到内存并运行),在运行过程中不再有链接操作。
可以看出,当某一模块被大量重复调用时,在一个运行上百个进程的典型系统上,这是对稀缺的内存资源极大的浪费。
为了解决这一缺陷,在动态链接中,链接器(ld)将模块的一些重定位和符号表信息(调用信息),复制到可重定位目标模块(orsay文件)中组成部分链接的可执行目标文件。之后加载器加载部分链接的可执行目标文件(复制到内存并运行),并且根据部分链接的可执行目标文件.interp节中的动态连接器的路径名,加载运行动态链接器。然后动态链接器将共享库(.so)重定位到某个内存段,再重定位符号引用(更新符号表信息)。之后动态链接器将控制传递给应用程序,不再有链接操作。
把静态库和共享库比作csapp,模块比作每个章节,进程比作一场复习,可重定位目标模块和部分链接的可执行文件比作两种要复习某些章节的同学。
静态链接就是第一类同学(可重定位目标模块)每个人都复印(复制)好要用的章节(模块)带去教室(加载器)开始复习(运行进程)。执行开始。
动态链接就是第二类同学们(部分链接的可执行文件)空着手(没有复制任何代码数据)但是记得自己要复习全书的哪些章节(从共享库中复制的重定位和符号表信息)到教室(加载器),大屏幕上放出全书内容(共享库中的文本与数据重定位)。教室根据同学的班级属性(动态链接器的路径名)为大家找来助教,助教(动态链接器)帮助每个同学找到自己要复习章节(符号引用的重定位),之后大家开始复习(运行进程)。执行开始。