Linux动态链接1：动态链接的基本概念

最近打算抽空学习张绍文老师的《Android开发高手课》。
想要彻底理解本地监控APP内存的框架的实现原理。
发现理解起来都没有那么容易，在阅读代码的过程中，发现C++、linux、native hook、framework等方面的功底均有所不足。
张绍文老师说过：“看再多的文章，不去思考文章所讲的内容和意图也是没用的；思考再多，不去动手真正实践也是没用的。”
“把进阶的各个主题由点到线串联起来，但这背后必然少不了一些基础的、底层的知识进行支撑”。
这里就把空缺的知识进行补足。

1.静态链接

静态链接使得不同的程序开发者和部门能够相对独立地开发和测试自己的程序模块，从某种意义上来讲大大促进了程序开发的效率，原先限制程序的规模也随之扩大。但是慢慢地静态链接的诸多缺点也逐步暴露出来，比如浪费内存和磁盘空间、模块更新困难等问题，使得人们不得不寻找一种更好的方式来组织程序的模块。

浪费空间

静态链接这种方法的确很简单，原理上很容易理解，实践上很难实现，在操作系统和硬件不发达的早期，绝大部分系统采用这种方案。随着计算机软件的发展，这种方法的缺点很快就暴露出来了，那就是静态连接的方式对于计算机内存和磁盘的空间浪费非常严重。特别是多进程操作系统情况下，静态链接极大地浪费了内存空间，想象一下每个程序内部除了都保留着 printf()函数、scanf()函数、strlen0等这样的公用库函数，还有数量相当可观的其他库函数及它们所需要的辅助数据结构。在现在的 Linux 系统中，一个普通程序会使用到的C语言静态库至少在 1MB 以上，那么，如果我们的机器中运行 100 个这样的程序，就要浪费近 100 MB 的内存:如果碰盘中有 2 000 个这样的程序，就要浪费近2 GB 的盘空间很多 Linux 的机器中，/usr/bin 下就有数千个可执行文件。

更新困难

空间浪费是静态链接的一个问题，另一个问题是静态链接对程序的更新、部署和发布也会带来很多麻烦。比如程序 Program1 所使用的 Lib.o是由一个第三方厂商提供的，当该厂商更新了 Libo的时候(比如修正了lib.o里面包含的一个 Bug)那么Program1 的厂商就需要拿到最新版的 Lib.o，然后将其与 Programl链接后，将新的 Programl整个发布给用户这样做的缺点很明显，即一旦程序中有任何模块更新，整个程序就要重新链接、发布给用户比如一个程序有 20个模块，每个模块1MB，那么每次更新任何一个模块，用户就得重新获取这个20MB的程序如果程序都使用静态链接那么通过网络来更新程序将会非常不便因为一旦程序任何位置的一个小改动，都会导致整个程序重新下载。

2.动态链接

要解决空间浪费和更新困难这两个问题最简单的办法就是把程序的模块相互分割开来，形成独立的文件，而不再将它们静态地链接在一起。简单地讲，就是不对那些组成程序的目标文件进行链接，等到程序要运行时才进行链接。也就是说，把链接这个过程推迟到了运行时再进行，这就是动态链接 (Dynamic Linking)的基本思想。

3.动态链接的基本实现

动态链接的基本思想是把程序按照模块拆分成各个相对独立部分，在程序运行时才将它们链接在一起形成一个完整的程序,而不是像静态链接一样把所有的程序模块都链接成一个个单独的可执行文件。那么我们能不能按照前面例子中所描述的那样，直接使用目标文件进行动态链接呢?这个问题的答案是:理论上是可行的，但实际上动态链接的实现方案与直接使用目标文件稍有差别。我们将在后面分析目标文件和动态链接文件的区别。
动态链接涉及运行时的链接及多个文件的装载，必需要有操作系统的支持，因为动态链接的情况下,进程的虚拟地址空间的分布会比静态链接情况下更为复杂，还有一些存储管理内存共享、进程线程等机制在动态链接下也会有一些微妙的变化。目前主流的操作系统几乎都支持动态链接这种方式，在 Linux 系统中，ELF 动态链接文件被称为动态共享对象(Dynamic Shared Objects)，简称共享对象，它们一般都是以“,so”为扩展名的一些文件;而在 Windows 系统中，动态链接文件被称为动态链接库(Dynamical Linking Library)，它们通常就是我们平时很常见的以“dll”为扩展名的文件

Q&A

Q:如果一个共享对象lib.so 中定义了一个全局变量G,而进程A 和进程B 都使用了 lib.so那么当进程 A 改变这个全局变量 G 的值时，进程 B中的 G会受到影响吗?

A:不会。因为当 lib.so 被两个进程加载时,它的数据段部分在每个进程中都有独立的副本从这个角度看，共享对象中的全局变量实际上和定义在程序内部的全局变量没什么区别。任何一个进程访问的只是自己的那个副本，而不会影响其他进程。那么，如果我们把这个问题的条件改成同一个进程中的线程 A 和线程 B，它们是否看得到对方对lib.so 中的全局变量G 的修改呢? 对于同一个进程的两个线程来说,它们访问的是同一个进程地址空间，也就是同一个 lib.so 的副本，所以它们对 G 的修改，对方都是看得到的。

Linux动态链接器的执行原理

参考资料–
《程序员的自我修养一一链接、装载与库》