动态共享对象 (DSO)

实现

相关模块	相关指令
mod_so	LoadModule

Apache对独立模块的DSO支持是建立在被静态编译进Apache核心的mod_so模块基础上的，这是core以外唯一不能作为DSO存在的模块，而其他所有已发布的Apache模块，都可以通过安装文档中阐述的配置选项--enable-module=shared，被独立地编译成DSO并使之生效。一个被编译为mod_foo.so的DSO模块，可以在httpd.conf中使用mod_so的LoadModule指令，在服务器启动或重新启动时被加载。

新提供的支持程序apxs(APache eXtenSion)可以在Apache源代码树以外编译基于DSO的模块，从而简化Apache DSO模块的建立过程。其原理很简单：安装Apache时，配置命令make install会安装Apache C头文件，并把依赖于平台的编译器和连接器参数传给apxs程序，使用户可以脱离Apache的发布源代码树编译其模块源代码，而不改变支持DSO的编译器和连接器的参数。

用法概要

Apache 2.0的DSO功能简要说明：

1. 编译并安装已发布的Apache模块，比如编译mod_foo.c为mod_foo.so的DSO模块：

   $ ./configure --prefix=/path/to/install --enable-foo=shared
$ make install

2. 编译并安装第三方Apache模块, 比如编译mod_foo.c为mod_foo.so的DSO模块：

   $ ./configure --add-module=module_type:/path/to/3rdparty/mod_foo.c --enable-foo=shared
$ make install

3. 配置Apache以便共享后续安装的模块：

   $ ./configure --enable-so
$ make install

4. 用apxs在Apache源代码树以外编译并安装第三方Apache模块，比如编译mod_foo.c为mod_foo.so的DSO模块：

   $ cd /path/to/3rdparty
$ apxs -c mod_foo.c
$ apxs -i -a -n foo mod_foo.la

共享模块编译完毕以后，都必须在httpd.conf中用LoadModule指令使Apache激活该模块。

背景

现代类Unix的系统都有一种叫动态共享对象(DSO)的动态连接/加载的巧妙的机制，从而可以在运行时刻，将编译成特殊格式的代码加载到一个可执行程序的地址空间。

加载的方法通常有两种：其一是，在可执行文件启动时由系统程序ld.so自动加载；其二是，在执行程序中手工地通过Unix加载器的系统接口执行系统调用dlopen()/dlsym()以实现加载。

按第一种方法，DSO通常被称为共享库(shared libraries)或者DSO库(DSO libraries)，使用libfoo.so或者libfoo.so.1.2的文件名，被存储在系统目录中(通常是/usr/lib)，并在编译安装时，使用连接器参数-lfoo建立了指向可执行程序的连接。通过设置连接器参数-R或者环境变量LD_LIBRARY_PATH，库中硬编码了可执行文件的路径，使Unix加载器能够定位到位于/usr/lib的libfoo.so，以解析可执行文件中尚未解析的位于DSO的符号。

通常，DSO不会引用可执行文件中的符号(因为它是通用代码的可重用库)，也不会有后继的解析动作。可执行文件无须自己作任何动作以使用DSO中的符号，而完全由Unix加载器代办(事实上，调用ld.so的代码是被连入每个可执行文件的非静态运行时刻启动代码的一部分)。动态加载公共库代码的优点是明显的：只需要在系统库libc.so中存储一个库代码，从而为每个程序节省了磁盘存储空间。

按第二种方法，DSO通常被称为共享对象(shared objects)或者DSO文件(DSO files)，可以使用任何文件名(但是规范的名称是foo.so)，被存储在程序特定的目录中，也不会自动建立指向其所用的可执行文件的连接，而由可执行文件在运行时自己调用dlopen()来加载DSO到其地址空间，同时也不会进行为可执行文件解析DSO中符号的操作。Unix加载器会根据可执行程序的输出符号表和已经加载的DSO库自动解析DSO中尚未解析的符号(尤其是无所不在的libc.so中的符号)，如此DSO就获得了可执行程序的符号信息，就好象是被静态连接的。

最后，为了利用DSO API的优点，执行程序必须用dlsym()解析DSO中的符号，以备稍后在诸如指派表等中使用。也就是说，执行程序必须自己解析其所需的符号。这种机制的优点是允许不加载可选的程序部件，直到程序需要的时候才被动态地加载(也就不需要内存开销)，以扩展程序的功能。

虽然这种DSO机制看似很直接，但至少有一个难点，就是在用DSO扩展程序功能(即第二种方法)时为DSO对可执行程序中符号的解析，这是因为，“反向解析”可执行程序中的DSO符号在所有标准平台上与库的设计都是矛盾的(库不会知道什么程序会使用它)。实际应用中，可执行文件中的全局符号通常不是重输出的，因此不能为DSO所用。所以在运行时刻用DSO来扩展程序功能，就必须找到强制连接器输出所有全局符号的方法。

共享库是一种典型的解决方法，因为它符合DSO机制，而且为操作系统所提供的几乎所有类型的库所使用。另一方面，使用共享对象并不是许多程序为扩展其功能所采用的方法。

截止到1998年，只有少数软件包使用DSO机制在运行时刻实际地扩展其功能，诸如Perl 5(通过其XS机制和DynaLoader模块), Netscape Server等。从1.3版本开始，Apache也加入此列，因为Apache已经用了基于指派表(dispatch-list-based)的方法来连接外部模块到Apache的核心。所以，Apache也就当然地在运行时刻用DSO来加载其模块。

优点和缺点

上述基于DSO的功能有如下优点：

• 由于服务器包的装配工作可以在运行时刻使用httpd.conf的配置命令LoadModule来进行，而不是在编译中使用configure来进行，因此显得更灵活。比如：只需要安装一个Apache，就可以运行多个不同的服务器实例(如标准&SSL版本，浓缩的&功能加强版本[mod_perl, PHP3]，等等)。
• 服务器包可以在安装后使用第三方模块被轻易地扩展。这至少对厂商发行包的维护者有巨大的好处，他可以建立一个Apache核心包，而为诸如PHP3, mod_perl, mod_fastcgi等扩展另建附加的包。
• 更简单的Apache模块原型。使用DSO配合apxs，可以脱离Apache源代码树，仅需要一个apxs -i和一个apachectl restart命令，把开发的模块新版本纳入运行中的Apache服务器。

DSO有如下缺点：

• 由于并不是所有的操作系统都支持动态加载代码到一个程序的地址空间，因此DSO机制并不能用于所有的平台。
• 由于Unix加载器有必须进行的符号解析的开销，服务器的启动会慢20%左右。
• 在某些平台上，独立位置代码(positon independent code[PIC])有时需要复杂的汇编语言技巧来实现相对寻址，而绝对寻址则不需要，因此服务器在运行时会慢5%左右。
• 由于DSO模块不能在所有平台上为其他基于DSO的库所连接(ld -lfoo)，比如，基于a.out的平台通常不提供此功能，而基于ELF的平台则提供，因此DSO机制并不能被用于所有类型的模块。或者可以这样说，编译为DSO文件的模块只能使用由Apache核心、C库(libc)和Apache核心所用的所有其他动态或静态的库、含有独立位置代码的静态库(libfoo.a)所提供的符号。而要使用其他代码，就只能确保Apache核心本身包含对此代码的引用，或者自己用dlopen()来加载此代码。