四.
动态库与静态库
重点:
l
静态库和动态库的区别:
l
制作静态库和动态库的区别。
l
动态库运行时的搜索方式以及使用上的区别。
4.1
静态库和动态库的区别
讲解思路:链接 —>
静态链接和动态链接 -->
静态链接库和动态链接库。用于静态链接的.o
打包后生成的.a
我们叫静态库。用于动态链接的.so
我们叫动态库,或者叫共享库。
共享库的共享
还有一个概念就是:作为共享库,每个库由指令TEXT
和数据DATA
两部分组成,指令或者只读数据在内存中只存一份(共享)。但对可写数据可能有多份副本,当某一连接到动态库的进程要修改库的数据时,OS
就复制一份数据的副本,然后修改进程的地址空间映射,使其指向新的数据副本。
举例:
misc/lib_summary.pptx
对比点 | 静态库 | 动态库 |
库命名 | libxxx.a | libxxx.so |
库文件格式 | .a文件只是众多.o文件的打包 | .so文件包含支持动态链接和加载的信息。 |
制作方法 | 使用ar将.o文件打包为.a | 使用gcc,在汇编阶段制作特殊的.o文件(-fPIC)和在链接阶段基于前期的.o制作特殊的.so文件(-shared)。 |
库内容和最终可执行文件的整合关系 | 整个函数库的所有数据都会被整合进最终的可执行文件中,所以最终的a.out较大。 | 函数库没有被整合进你的可执行文件中,最终的a.out较小。函数库的内容以.so的形式独立于a.out存在。而且一个系统中的同一个so文件可能同时被多个a.out所使用,体现出so的共享特性。 |
库内的内容何时被加载到内存 | 函数库的内容因为已经被整合进最终的可执行文件,所以在可执行文件被加载到内存中执行时,静态链接的函数库的内容也同时被加载。 | 函数库内容什么时候被加载到内存有两种形式: l 静态加载:链接时通过-l的方式在a.out文件中记录了其依赖的so的信息列表,并在a.out被启动加载到内存执行时由操作系统负责帮助它找到所有依赖的so并在此时加载到内存中。 l 动态加载:链接时不需要通过-l并指定so文件。但在代码中调用dlopen来由程序自己负责在任意指定时刻加载so文件。(这个本课程不讲) |
库中的符号->地址的绑定时间点。 | 在链接阶段静态完成的。 | 运行阶段被加载时动态完成的。 |
部署的优缺点 | l 优点:因为整个函数库的所有数据都会被整合进目标代码中,他的优点就显而易见了,即编译后的执行程序不需要外部的函数库支持。 l 缺点:因为所有使用的函数都已经被编译进去了。当然这也会成为他的缺点,因为如果静态函数库改变了,那么你的程序必须重新编译和链接。 | l 缺点:由于函数库没有被整合进你的程序,所以如果机器里没有这些库文件就不能运行。 l 优点:动态函数库的改变并不影响你的程序,所以动态函数库的升级/更新比较方便。 |
4.2
静态库
举例
<<<<< samples\4-libs\4.2-staticlib
,演示步骤:
demo-steps.txt
(1)
为
pr1
和
pr2
生成
object
文件
gcc -O -c pr1.c pr2.c
(2)
ls
(3)
链接静态库
为了在编译程序中正确找到库文件
,
静态库必须按照
lib[name].a
的规则命名
,
如下例中
[name]=pr.
ar
参数意义:
c: create
的意思
r
:在库中插入模块
(
替换
)
。当插入的模块名已经在库中存在,则替换同名的模块。
s
:写入一个目标文件索引到库中,或者更新一个存在的目标文件索引。
v
:该选项用来显示执行操作选项的附加信息。
t
:显示库的模块表清单。一般只显示模块名。
ar -crsv libpr.a pr1.o pr2.o
ar -t libpr.a //
显示静态库所依赖的文件
(4)
编译链接选项
-L
及
-l
参数放在后面
.
其中
,-L
加载库文件路径
,-l
指明库文件名字
.
gcc -o main main.c -L./ -lpr //
生成
main
-I
后面接头文件
(
大写的
i)
-L
后面接库文件路径路径
-l
后面接库文件名
,
除了“
lib
”和“
.a
”部分
,
全名为
lib
pr
.a
(5)
执行目标程序
./main
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
4.3
动态库
:
注意,和动态库相关的路径搜索问题可以认为分
链接时的搜索
和
运行时加载的搜索
。链接时的搜索就是”-L”,
比较简单直接,我们重点讲的是运行时的加载搜索
1.3.1
动态库的制作
查看某个程序使用了那些动态库,使用
ldd
命令
查看
ldd /
bin/
ls
举例
<<<<< samples\4-libs\4.3-dynclib
,演示步骤:
demo-steps.txt
(1)
生成动态库
xxx.so
gcc -fPIC -Wall -c pr1.c
PIC
告诉编译器产生与位置无关代码
(Position-Independent Code)
,
则产生的代码中,没有绝对地址,全部使用相对地址,故而代码可以被加载器加载到内存的任意位置,都可以正确的执行。这正是共享库所要求的,共享库被加载时,在内存的位置不是固定的。
gcc -shared -o libpr.so pr1.o
or use one line:
gcc -O -fPIC -shared -o libpr.so pr1.c
(2)
编译时调用动态库
gcc -o test main.c –L. -lpr
采用该方法执行会报告
./test: error while loading shared libraries: libpr.so: cannot open shared object file: No such file or directory
前面链接时候使用
-L/tmp/ -ltmp
是一种设置相对路径方法,还有一种绝对路径链接方法。
[stevenrao]$ gcc -o test main.c </tmp/libpr.so> //
直接指定
libpr
的绝对路径
此时运行
ok
Ldd ./test
会看到此时的绝对路径出现,这个信息应该也是从
elf
中直接读到的
Readelf –d
看看
绝对路径虽然申请设置环境变量步骤,但是缺陷也是致命的,这个
so
必须放在绝对路径下,不能放到其他地方,这样给部署带来很大麻烦。所以应该禁止使用绝对路径链接
so
。
注意:(
optional
)
A
当动态库和静态库同时存在且同名(
除了后缀之外
)的时候,
gcc
默认使用的是动态库。如果强制使用静态库则需要加
-static
选项支持。
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>