linker - 使用 GNU gold 链接器引用静态库中的特定符号

Question

当使用链接描述文件在地址空间中布置符号时，ld 允许使用以下内容引用来自静态库的特定符号语法:

archive.a:object_file.o(.section.symbol_name)

使用gold而不是ld，似乎这样的指令被忽略了。这链接过程成功。然而，当使用这个指令来放置一个特定的在特定位置使用 gold 符号并检查生成的符号布局使用 nm 或查看 map 文件，该符号不在预期范围内位置。

我使用静态编译的虚拟 hello world 程序制作了一个小测试用例在 gcc 5.4.0 中。 C 库是 musl libc(最后一次提交来自官方 git 存储库的 master 分支)。对于 binutils，我还使用最后一次提交来自官方 git 存储库的 master 分支。

我使用链接器脚本从静态文件中放置一个特定的符号(.text.exit)地址空间中特定位置的库(musl C 库:libc.a)即:.text 部分中的第一个位置。

我的链接描述文件是:

ENTRY(_start)
SECTIONS
{
    . = 0x10000;
    .text :
    {
        /* Forcing .text.exit in the first position in .text section */
        musl/lib/libc.a:exit.o(.text.exit);
        *(.text*);
    }
    . = 0x8000000;
    .data : { *(.data*) }
    .rodata : { *(.rodata*) }
    .bss : { *(.bss*) }
}

我的生成文件:

# Set this to 1 to link with gold, 0 to link with ld
GOLD=1

SRC=test.c
OBJ=test.o
LIBS=musl/lib/crt1.o \
    musl/lib/libc.a \
    musl/lib/crtn.o
CC=gcc
CFLAGS=-nostdinc -I musl/include -I musl/obj/include
BIN=test
LDFLAGS=-static
SCRIPT=linker-script.x
MAP=map

ifeq ($(GOLD), 1)
LD=binutils-gdb/gold/ld-new
else
LD=binutils-gdb/ld/ld-new
endif

all:
    $(CC) $(CFLAGS) -c $(SRC) -o $(OBJ)
    $(LD) --output $(BIN) $(LDFLAGS) $(OBJ) $(LIBS) -T $(SCRIPT) \
        -Map $(MAP)

clean:
    rm -rf $(OBJ) $(BIN) $(MAP)

编译和链接后，我正在检查 map 文件(使用 -Map 获得ld/gold 标志)查看 .text.exit 的位置。使用 ld 作为链接器，它确实在文本部分的第一个位置。使用 gold，它不是(它存在于地址空间更远的地方，就好像我的指令不是考虑在内)。

现在，虽然这些都不适用于 gold:

musl/lib/libc.a:exit.o(.text.exit);
musl/lib/libc.a(.text.exit)

这个有效:

*(.text.exit);

这是 gold 中缺少的功能吗？或者我做错了什么，也许有另一种引用特定目标文件的特定符号的方法使用 gold 归档？

Answer 1

When laying out symbols in the address space using a linker script, ld allows to refer to a specific symbol coming from a specific object file inside a static library with the following syntax:

archive.a:object_file.o(.section.symbol_name)

这不是语法的意思。当你看到链接描述文件中的“.section.symbol_name”(或在 readelf 或objdump 列表部分)，即部分的全名，以及如果您使用编译时的 -ffunction-sections 选项。鉴于你的脚本与 ld 一起工作，如果你只是使用完整的文件名通配符gold，看起来你的 musl 库确实是用-ffunction-sections，但这不是你总是可以假设的适用于系统库。所以链接器并不是真的在寻找一个名为“.text”的部分定义了一个名为“exit”的符号——相反，它只是在寻找名为“.text.exit”的部分。微妙的差异，但您应该意识到这一点。

Now, while neither of these work with gold: musl/lib/libc.a:exit.o(.text.exit); musl/lib/libc.a(.text.exit);

This works: *(.text.exit);

Is that a missing feature in gold? or am I doing something wrong, maybe there is another way to refer to a specific symbol of a specific object file in an archive using gold?

如果您查看生成的 -Map 输出文件，我想您会看到目标文件的名称写为“musl/lib/libc.a(exit.o)”。这是您需要在脚本中使用的拼写，并且由于括号，你需要引用它。这:

"musl/lib/libc.a(exit.o)"(.text.exit)

应该可以。如果您想要在两个链接器中都可以使用的东西，请尝试像这样:

"musl/lib/libc.a*exit.o*"(.text.exit)

或者只是

"*exit.o*"(.text.exit)