Question

我正在尝试链接中提到的问题：https://sourceware.org/ml/libc-alpha/2009-06/msg00168.html

我在代码中做了一些修改，如下所述：

>> Cat libdep.c
#include <stdio.h>

int duplicate = 'u';

int get_duplicate() {
    printf("libdep sees duplicate as: %c\n", duplicate);
    printf("libdep sees duplicate address as: %x\n", &duplicate);
    return duplicate;
}
--------------------------------------------------------------------------------------

>> Cat  dynamic.c

#include <stdio.h>

  extern int duplicate;

  int run() {
      duplicate = 'd';
      printf("dynamic sees duplicate from libdep as:  %c\n", duplicate);
      printf("dynamic sees duplicate address as: %x\n", &duplicate);

      printf("but libdep sees duplicate from main as: %c\n", get_duplicate());
      return 0;
  }
-------------------------------------------------------------------------------------------------

Cat main.c

#include <stdio.h>
  #include <dlfcn.h>
  #include <stdlib.h>

  extern int duplicate;

  int main() {
      void *h;
      int (*run)();

    duplicate = 'm';

      printf("main sees duplicate as: %c\n", duplicate);
      printf("main sees duplicate address as: %x\n", &duplicate);

      h = dlopen("./dynamic.so", RTLD_LAZY | RTLD_DEEPBIND);
      if (!h)
          abort();

      run = dlsym(h, "run");
      if (!run)
          abort();

    (*run)();
  }

编译上述文件：

gcc -ggdb3 -shared -fPIC libdep.c -o libdep.so

gcc -ggdb3 -shared -fPIC dynamic.c -Wl，-rpath，。 -L。 -ldep -o dynamic.so

gcc -ggdb3 main.c -Wl，-rpath，。 -L。 -ldep -ldl

./ a.out的

main认为副本为：m

main将重复地址视为：600ba0

dynamic将libdep中的副本视为：d

dynamic将重复地址视为：5f4fb868

libdep将副本视为：m

libdep将重复地址视为：600ba0

但是libdep看到来自main的副本为：m

看到同一个变量有不同的地址。如果我们从main.c中删除RTLD_DEEPBIND，则输出符合预期。

main认为副本为：m

main将重复地址视为：600ba0

dynamic将libdep中的副本视为：d

dynamic将重复地址视为：600ba0

libdep将副本视为：d

libdep将重复地址视为：600ba0

但是libdep看到来自main的副本为：d

所以我的问题是：

当我们需要使用RTLD_DEEPBIND时？

为什么dynamic.so有不同的重复变量地址，因为它甚至没有变量d的定义？

（我试过gcc 4.2.2和gcc 4.8.2）

Answer 1

如果要确保在加载的库中查找符号，并在查找全局名称空间中的符号之前在库中启动符号，请使用RTLD_DEEPBIND。

这允许您在库中使用与在全局命名空间中可用的相同的命名符号，因为另一个库具有相同的定义;这可能是错误的，或导致问题。

intel shared math functions page

中提到了使用它的原因示例

当在Linux *上创建一个静态链接在英特尔运行时库中的共享库时（例如，使用-static-intel选项），期望应用程序将运行英特尔的优化版本的函数。提供的库，静态链接到共享库。例如，期望对诸如cos（）之类的数学函数的调用解析为libimf，这是Intel提供的包含优化数学函数的数学库。在Linux上，默认行为是将符号解析为这些例程的GNU libm版本。

关于第二个问题 - 为什么我们会看到副本的不同地址 - 这是您构建主要应用程序而没有 -fPIC选项的一个很好的功能。如果我们在主应用程序上使用readelf -r，它有一行读数：

000000600d08  001000000005 R_X86_64_COPY     0000000000600d08 duplicate + 0

请注意，最后有_COPY。这意味着当在libdep.so中找到符号时，它会复制到该地址的主可执行文件的初始数据段中。然后查找duplicate中对libdep.so的引用，它指向主可执行文件中符号的副本。

libdep.so中的定义如下：

0000002009b8  000e00000006 R_X86_64_GLOB_DAT 00000000002009f8 duplicate + 0

即。 GLOB_DAT - 全球数据。

加载dynamic.so时，它有自己的符号请求。因为您使用RTLD_DEEPBIND，所以在查看主可执行文件之前，首先会在此库的依赖项中查找此定义。因此，它会查找并使用libdep.so中公开的GLOB_DAT，而不是a.out中公开的数据。

这是直接，是libdep.so编译过程中链接到dynamic.so引起的。如果你没有链接到它，那么你会看到带有另一个地址的符号 - 即主exe中的副本。

什么时候我们应该使用RTLD_DEEPBIND？

1 个答案: