共享库的概念

摘自：http://blog.csdn.net/zuokong/article/details/7006222

通常库分为：静态库,共享库，动态加载库,。下面分别介绍。
一、 静态库：
1.概念：
静态库就是一些目标文件的集合，以.a结尾。静态库在程序链接的时候使用，链接器会将程序中使用
到函数的代码从库文件中拷贝到应用程序中。一旦链接完成，在执行程序的时候就不需要静态库了。
由于每个使用静态库的应用程序都需要拷贝所用函数的代码，所以静态链接的文件会比较大。
2.创建与应用:
首先创建库文件libhello.c
#include
void hello()
{
printf("hello, welcome to library world!\n");
}
创建头文件libhello.h
void hello();
现在我们创建libhello静态库文件:
$ gcc -c libhello -o libhello.o
$ ar rcs libhello.a libhello.o
其中ar中的rcs的意思是： r表明将模块加入到静态库中，c表示创建静态库，s表示生产索引。

我们写一个测试程序:
$ cat test.c
#include
int main(void)
{
printf("use library hello.\n");
hello();
return 0;
}

编译与链接：
$ gcc -c test.c -o test.o
$ gcc test.o -L. -lhello -o test
说明：-L.表示将当前目录加入到库搜索路径。默认的库搜索路径在/usr/lib目录下。
另外这里说明一下易混淆的参数-I,它表示搜索头文件的路径。这样gcc在查找头文件的时候会首先到-I指定的目录查找，然后才是系统默认目录。

-l参数: -lname表示库搜索目录下的libname.a 或者libname.so文件 ,这也是为什么库文件都以lib开头的原因之一。一个惯例嘛。当然了，如果你的库文件不是libhello,而是hello. 那就不能用-l参数编译了。 可以这样：
gcc test.o -L. hello.a -o test

注意: $gcc -L.-lhello test.o -o test 会出错！。
原因是: -l是链接器选项，必须要放到被编译文件的后面。 所以上面的命令中-lhello一定要放到 test.o的后面。
运行：
$ ./test
use library hello.
hello, welcome to library world!


二、共享库:
1、共享库的概念：
共享库以.so结尾. (so ==share object) 在程序的链接时候并不像静态库那样在拷贝使用函数的代码，而只是作些标记。然后在程序开始启动运行的时候，动态地加载所需模块。所以，应用程序在运行的时候仍然需要共享库的支持。 共享库链接出来的文件比静态库要小得多。
2、共享库的命名
一般一个共享库的有三个名字：soname,real-name, linker-name。下面先看实例:
$ ls -l /usr/lib/libncurses*
lrwxrwxrwx 1 root root 20 2008-05-25 13:54 libncurses.so ->/lib/libncurses.so.5
lrwxrwxrwx 1 root root 13 2008-05-26 15:18 libncurses.so.5 -> libtermcap.so
上面的libncurses.so.5就是soname, 其中ncurses是库名，5分别是主版本号(major)，
当然也可以有次版本号(minor)和发行号(release)。(类似于ibncurses.so.5.0.0)
.so当然表示共享库了。通常soname只是real name的一个链接。
而libtermcap.so这是ncurse库的real-name, 也就是包含真是代码实现的文件.libncurses.so 则是linkername,用于应用程序链接的时候的一个搜索名。 它通常是soname的一个链接,形式为libname.so
实际上，每一个库都有一个soname，当连接器发现它正在查找的程序库中有这样一个名称，连接器便会将soname嵌入连结中的二进制文件内，而不是它正在运行的实际文件名，在程序执行期间，程序会查找拥有soname名字的文件，而不是库的文件名，换句话说，soname是库的区分标志。
这样做的目的主要是允许系统中多个版本的库文件共存，习惯上在命名库文件的时候通常与soname相同
3、共享库的装载
(1) 在所有基于GNUglibc的系统(当然包括Linux)中，在启动一个ELF二进制执行程序时，
一个特殊的程序"程序装载器"会被自动装载并运行。在linux中，这个程序装载器就是
/lib/ld-linux.so.X(X是版本号)。它会查找并装载应用程序所依赖的所有共享库。
被搜索的目录保存在/etc/ls.so.conf文件中，但一般/usr/local/lib并不在搜索之列，至少debian/ubuntu是这样。这似乎是一个系统失误，只好自己加上了。当然，如果程序的每次启动，都要去搜索一番，势必效率不堪忍受。Linux系统已经考虑这一点，对共享库采用了缓存管理。ldconfig就是实现这一功能的工具，其缺省读取/etc/ld.so.conf文件，对所有共享库按照一定规范建立符号连接，然后将信息写入/etc/ld.so.cache。
/etc/ld.so.cache的存在大大加快了程序的启动速度。
(2) 当然你也可以通过设置环境变量LD_LIBRARY_PATH来设置ld的装载路径。这样装载器就会首先搜索该变量的目录，然后才是默认目录。但是记住，LD_LIBRARY_PATH是用于开发和测试的，你可以将一些用于测试的替代共享库的目录放到该变量中，类似于/etc/ld.so.preload的作用。但是该变量不应该用于正常用户的正常程序。
(3) 如果你不使用LD_LIBRARY_PATH环境变量，可以通过如下方式给装载器传入路径:
$ /lib/ld-linux.so.2 --library-path PATH EXECUTABLE

 

(4) 创建共享库和链接可执行文件类似：首先把源代码编译成目标文件，然后把目标文件链接起来．目标文件需要创建成位置无关码（position-independent code）（PIC），概念上就是在可执行程序装载它们的时候，它们可以放在可执行程序的内存里的任何地方，（用于可执行文件的目标文件通常不是用这个方式编译的．）链接动态库的命令包含特殊标志，与链接可执行文件的命令是有区别的．

 

在下面的例子里，我们假设你的源程序代码在 foo.c 文件里并且将创建成名字叫 foo.so的共享库．中介的对象文件将叫做 foo.o，除非我们另外注明．一个共享库可以 包含多个对象文件，不过我们在这里只用一个．

BSD/OS

创建 PIC 的编译器标志是 -fpic．创建共享库的链接器标志是 -shared．

gcc -fpic -c foo.c

ld -shared -o foo.so foo.o

上面方法适用于版本 4.0 的 BSD/OS．

FreeBSD

创建 PIC 的编译器标志是 -fpic．创建共享库的链接器标志是 -shared．

gcc -fpic -c foo.c

gcc -shared -o foo.so foo.o

上面方法适用于版本 3.0 的 FreeBSD.

HP-UX

创建 PIC 的系统编译器标志是 +z．如果使用 GCC 则是 -fpic． 创建共享库的链接器标志是 -b．因此

cc +z -c foo.c

或

gcc -fpic -c foo.c

然后

ld -b -o foo.sl foo.o

HP-UX 使用 .sl 做共享库扩展，和其它大部分系统不同．

IRIX

PIC 是缺省，不需要使用特殊的编译器选项．生成共享库的链接器选项是 -shared.

cc -c foo.c

ld -shared -o foo.so foo.o

Linux

创建 PIC 的编译器标志是 -fpic．在一些平台上的一些环境下， 如果 -fpic 不能用那么必须使用-fPIC． 参考 GCC 的手册获取更多信息． 创建共享库的编译器标志是 -shared．一个完整的例子看起来象：

cc -fpic -c foo.c

cc -shared -o foo.so foo.o

NetBSD

创建 PIC 的编译器标志是 -fpic．对于 ELF 系统， 带 -shared 标志的编译命令用于链接共享库．在老的非 ELF 系统里，使用ld -Bshareable．

gcc -fpic -c foo.c

gcc -shared -o foo.so foo.o

OpenBSD

创建 PIC 的编译器标志是 -fpic. ld -Bshareable 用于链接共享库．

gcc -fpic -c foo.c

ld -Bshareable -o foo.so foo.o

Solaris

创建 PIC 的编译器命令是用 Sun 编译器时为 -KPIC 而用 GCC 时为 -fpic．链接共享库时两个编译器都可以用 -G 或者用 GCC 时还可以是 -shared．

cc -G -KPIC -o foo.so -c foo.c

或

gcc -fpic -c foo.c

gcc -G -o foo.so foo.o

Tru64 UNIX

PIC 是缺省，因此编译命令就是平常的那个．带特殊选项的 ld 用于链接：

cc -c foo.c

ld -shared -expect_unresolved '*' -o foo.sofoo.o

用 GCC 代替系统编译器时的过程是一样的；不需要特殊的选项．

UnixWare

SCO 编译器创建 PIC 的标志是-KPIC GCC 是 -fpic． 链接共享库时 SCO 编译器用 -G 而 GCC 用-shared．

cc -K PIC -c foo.c

cc -G -o foo.so foo.o

or

gcc -fpic -c foo.c

gcc -shared -o foo.so foo.o
4、共享库的创建与应用
(1) 创建共享库:
gcc -fpic/fPIC -c source.c -o source.o
gcc -shared -Wl,-soname,your_soname -o library_name file_list library_list
说明: -fpic或者-fPIC表明创建positionindependent code，这通常是创建共享库必须的。
-Wl 表明给链接器传送参数，所以这里-soname,library_name 为给链接器的参数。
-shared 表明是使用共享库
下面是使用a.c和b.c创建共享库的示例：
gcc -fPIC -g -c -Wall a.c
gcc -fPIC -g -c -Wall b.c
gcc -shared -Wl,-soname, libmyab.so.1 -o libmyab.so.1.0.1 a.o b.o -lc
说明: lc == libc

几个需要注意的地方：
a.不推荐使用strip处理共享库，最好不要使用-fomit-frame-pointer编译选项
b.-fPIC和-fpic都可以产生目标独立代码，具体应用取决于平台，-fPIC是always work，
尽管其产生的目标文件可能会大些；-fpic产生的代码小，执行速度快，但可能有平台依赖限制。
c.一般情况下，-Wall,-soname,your_soname编译选项是需要的。当然，-share选项更不能丢。
(2) 安装使用共享库
一旦你创建好共享库后就需要安装使用了，最简单的办法是将库拷贝到默认目录下(/usr/lib)。
然后创建一些符号链接，最简单的方式还是使用ldconfig(8)来处理这里符号链接。最后是重新
编译链接你的程序,通过-L和-l参数指定库路径就可以了。
三、 动态加载库
1. 概念
动态加载库(dynamicallyloaded (DL) libraries)是指在程序运行过程中可以加载的函数库。而不是像共享库一样在程序启动的时候加载。DL对于实现插件和模块非常有用，因为他们可以让程序在允许时等待插件的加载。在Linux中，动态库的文件格式跟共享库没有区别，主要区别在于共享库是运行时加载。
有专门的一组API用于完成打开动态库，查找符号，处理出错，关闭动态库等功能。

下面对这些接口函数逐一介绍:
(1) dlopen
函数原型：void*dlopen(const char *libname,int flag);
功能描述：dlopen必须在dlerror，dlsym和dlclose之前调用，表示要将库装载到内存，准备使用。
如果要装载的库依赖于其它库，必须首先装载依赖库。如果dlopen操作失败，返回NULL值；如果库已经被装载过，则dlopen会返回同样的句柄。
参数中的libname一般是库的全路径，这样dlopen会直接装载该文件；如果只是指定了库名称，在dlopen会按照下面的机制去搜寻：
a.根据环境变量LD_LIBRARY_PATH查找
b.根据/etc/ld.so.cache查找
c.查找依次在/lib和/usr/lib目录查找。
flag参数表示处理未定义函数的方式，可以使用RTLD_LAZY或RTLD_NOW。RTLD_LAZY表示暂时不去处理未定义函数，先把库装载到内存，等用到没定义的函数再说；RTLD_NOW表示马上检查是否存在未定义的函数，若存在，则dlopen以失败告终。
(2) dlerror
函数原型：char*dlerror(void);
功能描述：dlerror可以获得最近一次dlopen,dlsym或dlclose操作的错误信息，返回NULL表示无错误。dlerror在返回错误信息的同时，也会清除错误信息。
(3) dlsym
函数原型：void*dlsym(void *handle,const char *symbol);
功能描述：在dlopen之后，库被装载到内存。dlsym可以获得指定函数(symbol)在内存中的位置(指针)。
如果找不到指定函数，则dlsym会返回NULL值。但判断函数是否存在最好的方法是使用dlerror函数，
(4) dlclose
函数原型：intdlclose(void *);
功能描述：将已经装载的库句柄减一，如果句柄减至零，则该库会被卸载。如果存在析构函数，则在dlclose之后，析构函数会被调用。

2. 使用实例
$cat dltest.c
#include
#include
#include
int main(int argc, char **argv)
{
void *handle;
double (*cosine)(double);
char *error;
handle = dlopen ("/lib/libm.so.6", RTLD_LAZY);
if (!handle) {
fputs (dlerror(), stderr);
exit(1);
}
cosine = dlsym(handle, "cos");
if ((error = dlerror()) != NULL) {
fputs(error, stderr);
exit(1);
}
printf ("%f\n", (*cosine)(2.0));
dlclose(handle);
return 0;
}

编译: $ gcc -odltest dltest.c -ldl -Wall
运行: $ ./dltest
-0.416147
四、查看库中的符号
(1) nm命令可以查可能一个库中的符号
nm列出的符号有很多，常见的有三种，一种是在库中被调用，但并没有在库中定义(表明需要其他库支持)，用U表示；一种是库中定义的函数，用T表示，这是最常见的；另外一种是所谓的“弱态”符号，它们虽然在库中被定义，但是可能被其他库中的同名符号覆盖，用W表示。例如，假设开发者希望知道上文提到的hello库中是否定义了 printf():
$nm libhello.so |grep printf
U printf
U表示符号printf被引用，但是并没有在函数内定义，由此可以推断，要正常使用hello库，必须有其它库支持，再使用ldd命令查看hello依赖于哪些库：
$ldd hello
libc.so.6=>/lib/libc.so.6(0x400la000)
/lib/ld-linux.so.2=>/lib/ld-linux.so.2 (0x40000000)
从上面的结果可以继续查看printf最终在哪里被定义.