动态库与静态库的原理介绍

在UNIX 的应用开发中，静态库和动态库都是我们经常用到的技术，有必要对这两个概念及
其原理做一些介绍。
静态库
静态库是一些目标文件的集合，通常为后缀为.o 的文件，通过ar 工具打包而成，命名
格式为libxxx.a ，其中xxx 为给定的静态库文件名，如libm.a ，为数学函数库，用户也可以命名自己的库。
在创建可执行程序的过程中，静态库同时被链接到程序代码，被主程序调用的函数目标文件连
同主程序组合成单一的可执行程序。静态库只在程序链接时起作用，最终的执行程序脱离静态
库运行。
动态库
按照其英文（shared library ）也可理解为共享库，动态库的后缀一般为.so ，通过编译器生成，
在不同的平台有不同的生成方法，但是在UNIX 平台中，其使用及工作原理是一致的。使用动态
库创建执行程序，分为两个阶段：
链接阶段，即通过ld 创建执行程序时，链接编辑器会在指定的动态库中搜索、解析被
主程序调用的函数及其他变量等，如引用被找到，则在执行程序的XCOFF 头结构的loader 区域，
建立包含引用的动态库的影像，反之，如在指定的动态库中没有找到此引用的定义，编译器会
给出类似未定义的符号引用错误。这不同于静态库，包含引用的目标文件并不和执行程序链接
在一起。
另一阶段为运行阶段，即执行程序运行时。程序运行时，系统相关模块将读取定义执行程
序的XCOFF 头结构中的信息，查找并加载相关的动态库，假设，所有被应用的动态库都被定位
且加载后，程序将开始运行。反之，如果，被应用的动态库丢失，则程序报错。这一个过程我
们常称之为动态链接。
可以通过一个简单的例子来分析静态库与动态库的不同，假定执行程序名为a.out ，分别通过
静态库和动态库编译、链接，如下图所示：
http://www-1.ibm.com/support/docview.wss?uid=csc148256d65004dc82448256d39001f996d&aid=1

上图，明显的显示出对同一主程序代码，使用静态库和动态库，创建的执行程序的不同，尤其
是程序大小。对使用动态库的程序，程序启动后，相关的动态库的目标代码加载到系统内存，而
且可以被其他使用此动态库的执行程序共享使用。这样，在给定的时间，统一动态库的代码在系
统中只有一份拷贝，所有使用此动态库的程序可共享这一拷贝。 动态链接的使用可以节省系统
内存的使用，对一些比较复杂的应用作用比较明显，另外，执行程序代码的减小，也可以节省磁
盘空间。
另外，我们还应当注意， AIX 不同于其他 UNIX 的一点是动态库（ Shared Library ）和动态对象
（ Shared Object ），这两个概念不能完全互换，动态对象只是单个的目标文件，但在其 XCOFF 头
结构中有一特殊标示位 SRE （ Shared REusable ），后缀为 .o 。动态库则是目标文件的集合，包含动
态对象、普通目标文件，其后缀为 .so 。
以上我们只是介绍静态库和动态库的基本工作原理，在实际使用中，如有问题请联系 IBM 工程师
寻求技术支持。

转自：http://hi.baidu.com/chenxiangnju/blog/item/565d5f43eb52551073f05d81.html