Linux静态库和动态库的分析及实现

Linux静态库和动态库的分析及实现

  1.什么是库
  在windows平台和linux平台下都大量存在着库。
  本质上来说库是一种可执行代码的二进制形式,可以被 操作系统载入内存执行。
  由于windows和linux的本质不同,因此二者库的二进制是不兼容的。
  本文仅限于介绍linux下的库。
   2.库的种类
  linux下的库有两种:静态库和共享库(动态库)。
  二者的不同点在于代码被载入的时刻不同。
  静态库的代码在编译过程中已经被载入可执行程序,因此体积较大。
  共享库的代码是在可执行程序运行时才载入内存的,在编译过程中仅简单的引用,因此代码体积较小。
   3.库存在的意义
  库是别人写好的现有的,成熟的,可以复用的代码,你可以使用但要记得遵守许可协议。
  现实中每个程序都要依赖很多基础的底层库,不可能每个人的代码都从零开始,因此库的存在意义非同寻常。
  共享库的好处是,不同的应用程序如果调用相同的库,那么在内存里只需要有一份该共享库的实例。
   4.库文件是如何产生的
  在linux下,静态库的后缀是.a,它的产生分两步:
  Step 1.由源文件编译生成一堆.o,每个.o里都包含这个编译单元的符号表。
  Step 2.ar命令将很多.o转换成.a,成为静态库。
  动态库的后缀是.so,它由gcc加特定参数编译产生。
  例如:
  $ gcc -fPIC -c *.c
  $ gcc -shared -Wl,-soname, libfoo.so.1 -o libfoo.so.1.0 *.
   5.库文件是如何命名的,有没有什么规范
  在linux下,库文件一般放在/usr/lib 下,
  静态库的名字一般为libxxxx.a,其中xxxx是该lib的名称
  动态库的名字一般为libxxxx.so.major.minor,xxxx是该lib的名称,major是主版本号,minor是副版本号。
   6.如何知道一个可执行程序依赖哪些库
  ldd命令可以查看一个可执行程序依赖的共享库,
  例如# ldd /bin/lnlibc.so.6
  => /lib/libc.so.6 (0×40021000)/lib/ld-linux.so.2
  => /lib/ld- linux.so.2 (0×40000000)
  可以看到ln命令依赖于libc库和ld-linux库
   7.可执行程序在执行的时候如何定位共享库文件
  当系统加载可执行代码时候,能够知道其所依赖的库的名字,但是还需要知道绝对路径
  此时就需要系统动态载入器(dynamic linker/loader)。
  对于elf格式的可执行程序,是由ld-linux.so*来完成的,它先后搜索elf文件的 DT_RPATH段—环境变量LD_LIBRARY_PATH—/etc/ld.so.cache文件列表—/lib/,/usr/lib目录找到库文件后将其载入内存。 第5步:由.o文件创建动态库文件
  动态库文件名命名规范和静态库文件名命名规范类似,也是在动态库名增加前缀lib,但其文件扩展名为.so。例如:我们将创建的动态库名为myhello,则动态库文件名就是libmyhello.so。用gcc来创建动态库。
  在系统提示符下键入以下命令得到动态库文件libmyhello.so。
  # gcc -shared -fPCI -o libmyhello.so hello.o
  #
  我们照样使用ls命令看看动态库文件是否生成。
  # ls
  hello.c hello.h hello.o libmyhello.so main.c
  #
   第6步:在程序中使用动态库
  在程序中使用动态库和使用静态库完全一样,也是在使用到这些公用函数的源程序中包含这些公用函数的原型声明,然后在用gcc命令生成目标文件时指明动态库名进行编译。我们先运行gcc命令生成目标文件,再运行它看看结果。
  # gcc -o hello main.c -L. -l myhello
  # ./hello
  ./hello: error while loading shared libraries: libmyhello.so: cannot open shared object
  file: No such file or directory
  #
  哦!出错了。快看看错误提示,原来是找不到动态库文件libmyhello.so。程序在运行时,会在/usr/lib和/lib等目录中查找需要的动态库文件。若找到,则载入动态库,否则将提示类似上述错误而终止程序运行。我们将文件libmyhello.so复制到目录/usr/lib中,再试试。
  # mv libmyhello.so /usr/lib
  # ./hello
  ./hello: error while loading shared libraries: /usr/lib/libhello.so: cannot restore segment
  prot after reloc: Permission denied
  由于SELinux引起,
  # chcon -t texrel_shlib_t /usr/lib/libhello.so
  # ./hello
  Hello everyone!
  #
  成功了。这也进一步说明了动态库在程序运行时是需要的。
  我们回过头看看,发现使用静态库和使用动态库编译成目标程序使用的gcc命令完全一样,那当静态库和动态库同名时,gcc命令会使用哪个库文件呢?抱着对问题必究到底的心情,来试试看。
  先删除 除.c和.h外的 所有文件,恢复成我们刚刚编辑完举例程序状态。
  # rm -f hello hello.o /usr/lib/libmyhello.so
  # ls
  hello.c hello.h main.c
  #
  在来创建静态库文件libmyhello.a和动态库文件libmyhello.so。
  # gcc -c hello.c
  # ar cr libmyhello.a hello.o
  # gcc -shared -fPCI -o libmyhello.so hello.o
  # ls
  hello.c hello.h hello.o libmyhello.a libmyhello.so main.c
  #
  通过上述最后一条ls命令,可以发现静态库文件libmyhello.a和动态库文件libmyhello.so都已经生成,并都在当前目录中。然后,我们运行gcc命令来使用函数库myhello生成目标文件hello,并运行程序hello。
  # gcc -o hello main.c -L. -lmyhello
  # ./hello
  ./hello: error while loading shared libraries: libmyhello.so: cannot open shared object
  file: No such file or directory
  #
  从程序hello运行的结果中很容易知道,当静态库和动态库同名时, gcc命令将优先使用动态库。

你可能感兴趣的:(Linux静态库和动态库的分析及实现)