c - 当 dlopen one 时，它​​的符号没有被主符号覆盖，为什么？

Question

libp2.c

#include <stdio.h>
void pixman()
{
    printf("pixman in libp1\n");
}

libc2.c

#include <stdio.h>

void pixman();
void cairo()
{
    printf("cairo2\n");
    pixman();
}

ma​​in.c

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


void pixman()
{
    printf("pixman in main\n");
}

int main()
{
    pixman();

    void* handle=NULL;
    void (*callfun)();

    handle=dlopen("/home/zpeng/test/so_test/libc2.so",RTLD_LAZY);
    callfun = (void(*)())dlsym(handle, "cairo");
    callfun();
...
}

编译

gcc -c  libp2.c -fPIC   -olibp2.o
rm libp2.a
ar -rs libp2.a libp2.o
gcc -shared -fPIC libc2.c  ./libp2.a -o libc2.so
gcc main.c  -ldl -L.  -g

结果:

pixman in main
cairo2
pixman: libp2

为什么最后一个不是“pixman in main”？

我看到符号处理(LD_DEBUG=symbols)，它开始于:

21180:     symbol=pixman;  lookup in file=./a.out
21180:     symbol=pixman;  lookup in file=/lib64/libdl.so.2
21180:     symbol=pixman;  lookup in file=/lib64/tls/libc.so.6
21180:     symbol=pixman;  lookup in file=/lib64/ld-linux-x86-64.so.2
21180:     symbol=pixman;  lookup in file=/home/zpeng/test/so_test/libc2.so

如果我将 -lc2 或 -rdynamic 添加到 gcc main cmd ，它将生成:

pixman in main
cairo2
pixman in main

我的问题:

为什么在没有 -rdynamic 和 -lc2 的情况下在 a.out 中查找符号但得不到结果并继续搜索 libc2.so？

Answer 1

为什么最后一个不是“pixman in main”？那是因为共享库有它们自己的全局偏移表或 GOT。当您在 libc2.so 中使用 cairo 函数时，将调用的 pixman 函数与最初编译 .so 文件时解析的函数相同。

即:

# creates object file only -- contains first pixman implementation
gcc -c  libp2.c -fPIC   -olibp2.o

# just turns the object file into an archive
ar -rs libp2.a libp2.o

# creates the .so file -- all symbols in libc2.c are resolved here 
# and you passed in the .a file for that purpose. The .a file containing the
# first pixman implementation gets put in libc2.so.
gcc -shared -fPIC libc2.c  ./libp2.a -o libc2.so  

在此之后，任何使用 libc2.so 的人都将获得存储在 libc2.so 中的副本。您发布的查找顺序是针对 a.out 的，我相信这是正确的。它在 a.out 中寻找 pixman，然后是 libc2.so，依此类推。

为什么在没有-rdynamic 和-lc2 的情况下在a.out 中查找符号却得不到结果并继续搜索libc2.so？rdynamic 选项将所有符号加载到动态符号表——而不仅仅是它认为使用的符号(lc2 具有相同的效果)。当您加载所有这些符号时，就会发生冲突——pixman 函数。在这种情况下使用 main.c 实现。正如其他人所指出的，这可能会产生警告。