linux dlopen手册翻译

名称

dlclose, dlopen, dlmopen 打开和关闭一个共享对象

简介

#include 
void *dlopen(const char*filename, int flags);
int dlclose(void *handle);

#define _GNU_SOURCE
#include 
void *dlmoopen(Lmid_t lmid, const char *filename, int flags);
Link with -Ldl

描述

dlopen

函数dlopen()加载由以空结尾的字符串filename命名的动态共享对象(共享库)文件,并为加载的对象返回一个不透明的“句柄”。此句柄与dlopen API中的其他函数一起使用,例如dlsym(3), dladdr(3), dlinfo(3)和dlclose()

如果filename为NULL,则返回的句柄是主程序的。如果filename包含斜杠(“/”),则将其解释为(相对或绝对)路径名。否则,动态链接器按照如下方式搜索对象(详见ld.so(8)):

  • (仅限ELF)如果调用程序的可执行文件包含DT_RPATH标签,而不包含DT_RUNPATH标签,则搜索DT_RPATH标签中列出的目录。
  • 如果在启动程序时,定义了环境变量LD_LIBRARY_PATH以包含冒号分隔的目录列表,那么将搜索这些目录。(作为一种安全措施,set-user-ID和set-group-ID程序会忽略这个变量。)
  • (仅限ELF)如果调用程序的可执行文件包含DT_RUNPATH标记,则搜索该标记中列出的目录
  • 缓存文件/etc/ld.so.检查缓存(由ldconfig(8)维护),看它是否包含filename的条目。
  • 搜索目录/lib和/usr/lib(按此顺序)。

如果由filename指定的对象依赖于其他共享对象,那么动态链接器也会使用相同的规则自动加载这些对象。(如果这些对象依次具有依赖关系,则此过程可能递归地发生,等等。)

flags中必须包含以下两个值之一:

  • RTLD_LAZY
    执行延迟绑定。仅在引用符号的代码被执行时解析符号。如果符号从未被引用过,那么它就永远不会被解析。(延迟绑定只对函数引用执行;对变量的引用总是在加载共享对象时立即绑定。)从glibc 2.1.1开始,这个标志被LD_BIND_NOW环境变量的影响所覆盖。

  • RTLD_NOW
    如果指定了该值,或者将环境变量LD_BIND_NOW设置为非空字符串,则在dlopen()返回之前解析共享对象中所有未定义的符号。如果不能这样做,则返回一个错误。

以下0个或多个值也可以在标志中为or:

  • RTLD_GLOBAL
    此共享对象定义的符号将用于随后加载的共享对象的符号解析。

  • RTLD_LOCAL
    这与RTLD_GLOBAL相反,如果两个标志都没有指定,则为默认值。在此共享对象中定义的符号不能用于解析随后加载的共享对象中的引用。

  • RTLD_NODELETE
    在dlclose()期间不要卸载共享对象。因此,如果稍后使用dlopen()重新加载对象,则不会重新初始化对象的静态变量。

  • RTLD_NOLOAD
    不要加载共享对象。这可以用来测试对象是否已经是常驻对象(如果不是,dlopen()返回NULL,或者
    对象的句柄(如果它是驻留的)。此标志还可用于提升已加载的共享对象上的标志。例如,一个先前用RTLD_LOCAL加载的共享对象可以用RTLD_NOLOAD | RTLD_GLOBAL重新打开。

  • RTLD_DEEPBIND
    将此共享对象中符号的查找范围置于全局作用域之前。这意味着自包含对象将优先使用自己的符号,而不是已经加载的对象中包含的具有相同名称的全局符号。

如果filename为NULL,则返回的句柄是主程序的。当给定给dlsym()时,这个句柄会在主程序中搜索一个符号,然后是在程序启动时加载的所有共享对象,然后是由dlopen()加载的带有RTLD_GLOBAL标志的所有共享对象.

共享对象中的外部引用使用该对象的依赖列表中的共享对象和先前使用RTLD_GLOBAL标志打开的任何其他对象来解析。如果可执行文件与标志“-rdynamic”(或,同上,“–export-dynamic”)链接,则可执行文件中的全局符号也将用于解析动态加载的共享对象中的引用。

如果使用dlopen()再次加载相同的共享对象,则返回相同的对象句柄。动态链接器维护对象句柄的引用计数,因此,在dlclose()被调用的次数与dlopen()成功调用的次数相等之前,动态加载的共享对象不会被释放。任何初始化返回(见下文)只调用一次。但是,随后的dlopen()调用使用RTLD_NOW加载相同的共享对象可能会强制对先前使用RTLD_LAZY加载的共享对象进行符号解析。

如果 dlopen() 因为任意原因失败了,则他会返回NULL

返回值

如果成功,dlopen()和dlmopen()将为加载的库返回一个非null句柄。如果出现错误(文件找不到、不可读、格式错误或在加载过程中导致错误),这些函数将返回NULL。

如果成功,dlclose()返回0;如果出现错误,它将返回一个非零值。

这些函数的错误可以使用dlerror(3)进行诊断。

版本

dlopen()和dlclose()在glibc 2.0及更高版本中存在。dlmopen()首次出现在glibc 2.3.4中。

属性

有关本节中使用的术语的解释,请参见attributes(7)。

接口 属性
dlopen(), dlmopen(), dlclose() 线程安全 MT-Safe

CONFORMING TO

POSIX.1-2001 描述了 dlclose() 和 dlopen(). dlmopen() 函数是 GNU 的扩展.
RTLD_NOLOAD, RTLD_NODELETE 和 RTLD_DEEPBIND 标志是 GNU 的扩展; 其中前面的两个也存在于 Solaris 中.

dlmopen() 和命名空间

  • 链接映射列表为动态链接器解析符号定义了一个独立的命名空间。在名称空间内,依赖的共享对象根据通常的规则隐式加载,符号引用也同样根据通常的规则解析,但是这种解析仅限于(显式和隐式)加载到名称空间的对象所提供的定义。

  • dlmopen()函数允许对象加载隔离——能够在新的名称空间中加载共享对象,而不会将应用程序的其余部分暴露给新对象提供的符号。注意,使用RTLD_LOCAL标志是不够的,因为它会阻止共享对象的符号被任何其他共享对象使用。在某些情况下,我们可能希望使动态加载的共享对象提供的符号对(一部分)其他共享对象可用,而不将这些符号暴露给整个应用程序。这可以通过使用单独的命名空间和RTLD_GLOBAL标志来实现。

  • dlmopen()函数还可用于提供比RTLD_LOCAL标志更好的隔离。特别是,如果共享对象是另一个共享对象的RTLD_GLOBAL的依赖,那么用RTLD_LOCAL加载的共享对象可能会被提升为RTLD_GLOBAL。因此,RTLD_LOCAL不足以隔离加载的共享对象,除非在显式控制所有共享对象依赖的情况下(不常见)。

  • glibc的实现最大支持16个命名空间.

初始化和结束函数

  • 共享对象可以使用__attribute__((构造函数))和__attribute__((析构函数))函数属性导出函数。构造函数在dlopen()返回之前执行,析构函数在dlclose()返回之前执行。共享对象可以导出多个构造函数和析构函数,并且可以将优先级与每个函数关联起来,以确定它们执行的顺序。请参阅gcc信息页(在“函数属性”下)了解更多信息。
  • (部分地)实现相同结果的旧方法是通过使用链接器可识别的两个特殊符号:_init和_fini。如果动态加载的共享对象导出一个名为_init()的例程,那么该代码将在加载共享对象之后,在dlopen()返回之前执行。如果共享对象导出名为_fini()的例程,则在对象卸载之前调用该例程。在这种情况下,必须避免链接到系统启动文件,其中包含这些文件的默认版本;这可以通过使用gcc(1) -nostartfiles命令行选项来完成。
  • 现在不赞成使用_init和_fini,而支持前面提到的构造函数和析构函数,它们的优点之一是允许定义多个初始化和结束函数。
  • 自glibc 2.2.3起,atexit(3)可用于注册一个退出处理程序,该处理程序在卸载共享对象时自动调用。

历史

  • 这些函数是派生自SunOS的 dlopen API的一部分.

BUG

与glibc 2.24一样,在调用dlmopen()时指定RTLD_GLOBAL标志会产生错误。此外,在调用dlopen()时指定RTLD_GLOBAL会导致程序崩溃(SIGSEGV),如果调用是从加载在名称空间中而不是初始名称空间中的任何对象进行的。

例子

下面的程序加载(glibc)数学库,查找cos(3)函数的地址,并输出cos(2.0)。下面是构建和运行该程序的测试示例:
程序源码

// dlopen_demo.c
#include 
#include 
#include 
#include   /* Defines LIBM_SO (which will be a string such as "libm.so.6") */
int main(void)
{
    void *handle;
    double (*cosine)(double);
    char *error;

    handle = dlopen(LIBM_SO, RTLD_LAZY);
    if (!handle) {
        fprintf(stderr, "%s\n", dlerror());
        exit(EXIT_FAILURE);
    }

    dlerror();    /* Clear any existing error */

    cosine = (double (*)(double)) dlsym(handle, "cos");

/* 根据ISO C标准,在函数指针和'void *'之间进行强制转换,如上所述,会产生未定义的结果。
POSIX.1-2001和POSIX.1-2008接受了这种状态,并提出了以下解决方案:

           *(void **) (&cosine) = dlsym(handle, "cos");

       这种(笨拙的)强制转换符合ISO C标准,并将避免任何编译器警告。
       POSIX.1-2008的2013年技术勘误表1改进了这一问题,要求符合标准的实现支持将'void *'转换为函数指针。
       然而,一些编译器(例如,带有'-pedantic'选项的gcc)可能会抱怨这个程序中使用的强制转换。 */

    error = dlerror();
    if (error != NULL) {
        fprintf(stderr, "%s\n", error);
        exit(EXIT_FAILURE);
    }

    printf("%f\n", (*cosine)(2.0));
    dlclose(handle);
    exit(EXIT_SUCCESS);
}

编译和运行该程序

cc dlopen_demo.c -ldl
./a.out
打印结果:
-0.416147

在这里插入图片描述

SEE ALSO

ld(1), ldd(1), pldd(1), dl_iterate_phdr(3), dladdr(3), dlerror(3), dlinfo(3), dlsym(3), rtld-audit(7), ld.so(8), ldconfig(8)
gcc 信息页, ld信息页

版本记录

本页是Linux手册页项目5.10版的一部分。项目的描述、有关报告错误的信息以及本页的最新版本,可以在https://www.kernel.org/doc/man-pages/上找到

你可能感兴趣的:(linux,算法,运维)