Question

所以我有两个文件，一个是我的库，另一个是主要的prog可执行文件。库：

static int internal1(int a, int b){
  return a + b;
}

namespace {
  int internal2(int a, int b){
    return a + b;
  }
}

void external2(int qq, int zz){

}

void external(int a, int b){
  external2(a, b);
  internal1(a, b);
  internal2(a, b);
}

编译为 g++ -c -O0 -fPIC -o libtest.o libtest.cpp和 g++ -shared -o libtest.so libtest.o

主要编：

extern void external(int a, int b);

int main(){
  external(1, 2);
  return 0;
}

编译为g++ -O0 -L. -ltest -o tester tester.cpp

现在，如果我转储tester的重定位信息，我将获得期望的结果：

Relocation section '.rela.dyn' at offset 0x4d0 contains 1 entries:
  Offset          Info           Type           Sym. Value    Sym. Name + Addend
000000600a48  000100000006 R_X86_64_GLOB_DAT 0000000000000000 __gmon_start__ + 0

Relocation section '.rela.plt' at offset 0x4e8 contains 3 entries:
  Offset          Info           Type           Sym. Value    Sym. Name + Addend
000000600a68  000300000007 R_X86_64_JUMP_SLO 0000000000000000 __libc_start_main + 0
000000600a70  000400000007 R_X86_64_JUMP_SLO 0000000000000000 _Z8externalii + 0
000000600a78  000a00000007 R_X86_64_JUMP_SLO 0000000000400578 __gxx_personality_v0 + 0

外部地址在重定位列表中，因为它必须找到地址并将其放入。

但是我不明白的是，当我转储共享对象的重定位列表时，为什么在共享对象的重定位列表上看到external2。为什么它不像内部链接功能那样自动输入地址。

Relocation section '.rela.dyn' at offset 0x460 contains 5 entries:
  Offset          Info           Type           Sym. Value    Sym. Name + Addend
0000002007d8  000000000008 R_X86_64_RELATIVE                    00000000002007d8
000000200990  000200000006 R_X86_64_GLOB_DAT 0000000000000000 __gmon_start__ + 0
000000200998  000300000006 R_X86_64_GLOB_DAT 0000000000000000 _Jv_RegisterClasses + 0
0000002009a0  000400000006 R_X86_64_GLOB_DAT 0000000000000000 __cxa_finalize + 0
0000002009d0  000500000001 R_X86_64_64       0000000000000000 __gxx_personality_v0 + 0

Relocation section '.rela.plt' at offset 0x4d8 contains 2 entries:
  Offset          Info           Type           Sym. Value    Sym. Name + Addend
0000002009c0  000400000007 R_X86_64_JUMP_SLO 0000000000000000 __cxa_finalize + 0
0000002009c8  000600000007 R_X86_64_JUMP_SLO 0000000000000646 _Z9external2ii + 0

对internal1和internal2的调用不需要重定位，为什么external2是一个外部符号，这意味着即使现在internal必须通过GOT进行查找，符号在同一个翻译单元内吗？为什么不能像git reset origin/master一样

进行普通的偏移调用

Answer 1

出于好奇，让我们看看当您尝试在启用大多数优化的情况下仅编译（甚至不链接）相同的代码时，编译器会做什么。这通常会暴露出编译器被束缚的情况。另外，编译器在O0中可以变得非常草率/懒惰，因此避免过多地阅读它。

用libtest.cpp编译-O3 -fPIC -c会产生：

external2(int, int):
        ret
external(int, int):
        jmp     external2(int, int)@PLT

请参见“ goltbolt”：https://gcc.godbolt.org/z/CnRVEX

这非常有趣：GCC显然可以告诉external2()是无操作人员，但是它仍然在O3下将其称为。

从中我们可以得出什么结论？调用external2()不一定会执行TU版本的external2()中的代码。但这怎么可能呢？ ODR应该允许我们假设同一二进制文件中的任何external2()都比该TU中的LD_PRELOAD更糟。

如果在同一个翻译单元中调用函数，为什么需要重定位

1 个答案: