当前位置：首页 > news >正文

深入解析 Musl libc 动态链接器启动代码：_dlstart_c 的奥秘

news 2026/6/26 21:25:16

在 Linux 系统编程的深处，程序的启动并非始于我们熟悉的main函数，甚至也不是_start。在动态链接的程序中，控制权首先会交给动态链接器（Dynamic Linker/Loader），也就是我们熟知的/lib/ld-musl-x86_64.so.1（或 glibc 的ld-linux.so）。

今天，我们将深入 Musl libc 的源码，剖析动态链接器自身的启动入口函数_dlstart_c。这段代码负责在 C 运行环境完全建立之前，完成最底层的“自举”工作：解析内核传递的参数、重定位自身的地址，并最终跳转到第二阶段的初始化逻辑。

注意：这是 Musl libc 的核心代码，涉及大量的底层 ABI 细节和汇编交互，阅读前请做好“烧脑”准备！

代码全景：从汇编到 C 的跨越

这段代码位于 Musl 的ldso/dynlink.c（或相关的启动文件）中。它的核心任务只有一个：在没有任何全局变量可用、没有 GOT 表可用的情况下，找到自己在内存中的位置，并修复自身的重定位，从而能够调用后续的 C 函数。

第一阶段：解析内核传递的“天书”

当内核加载 ELF 程序时，它会将栈指针（sp）设置为一个特定的内存布局。_dlstart_c的参数size_t *sp正是指向这个布局的指针。

int argc = *sp; char **argv = (void *)(sp+1); // 跳过 argv 数组，找到环境变 for (i=argc+1; argv[i]; i++); size_t *auxv = (void *)(argv+i+1); // 解析 Aux Vector (辅助向量) for (i=0; i<AUX_CNT; i++) aux[i] = 0; for (i=0; auxv[i]; i+=2) if (auxv[i]<AUX_CNT) aux[auxv[i]] = auxv[i+1];

这段代码非常硬核，它手动解析了栈上的内存布局：

argc：参数个数。
argv：参数列表。
envp：环境变量（代码中通过循环跳过）。
auxv：辅助向量。这是内核传递给用户空间的重要信息，包含AT_PHDR（程序头表地址）、AT_BASE（加载基址）等关键数据。

第二阶段：寻找动态段

接下来，代码需要找到程序头表（Program Header），从中提取动态链接信息（.dynamic段）。

// 遍历程序头表，寻找 PT_DYNAMIC 类型 Phdr *ph = (void *)aux[AT_PHDR]; // ... 循环查找 ... dynv = (void *)(base + ph->p_vaddr);

关键点：这里有一个著名的“鸡生蛋，蛋生鸡”问题。动态链接器自己也是共享库，它需要重定位才能运行，但在重定位之前，它无法使用全局变量。因此，它必须通过auxv找到程序头表，进而找到.dynamic段，手动解析出重定位表的位置。

第三阶段：自举重定位

这是最精彩的部分。动态链接器需要修复自身的引用。

rel = (void *)(base+dyn[DT_REL]); rel_size = dyn[DT_RELSZ]; for (; rel_size; rel+=2, rel_size-=2*sizeof(size_t)) { if (!IS_RELATIVE(rel[1], 0)) continue; // 只处理相对重定位 size_t *rel_addr = (void *)(base + rel[0]); *rel_addr += base; // 加上加载基址 }

原理解析：

动态链接器通常被编译为位置无关代码。
在链接时，编译器生成的重定位项是相对于 0 地址（或某个假设基址）的偏移量。
运行时，代码被加载到了base地址。
因此，修复方法非常简单粗暴：*rel_addr += base。
这一步完成后，动态链接器内部的函数调用和全局变量访问才真正变得合法。

第四阶段：特殊的 MIPS 架构处理

代码中包含了一段针对 MIPS 架构的特殊处理：

if (NEED_MIPS_GOT_RELOCS) { // MIPS GOT 重定位逻辑... }

MIPS 的 GOT 表结构与 x86/ARM 不同，它使用了更复杂的打包形式。Musl 在这里展示了其优秀的架构兼容性，针对 MIPS 做了专门的补丁处理。

第五阶段：移交控制权

当自身的重定位完成后，动态链接器终于可以从“汇编/裸 C”模式切换到正常的 C 语言模式了。

stage2_func dls2; GETFUNCSYM(&dls2, __dls2, base+dyn[DT_PLTGOT]); dls2((void *)base, sp);

GETFUNCSYM：这是一个宏，用于安全地获取__dls2函数的地址。由于此时可能还没有完全建立好 PLT/GOT，直接调用可能会有风险，这个宏通过静态变量和内存屏障确保了获取地址的正确性。
__dls2：这是动态链接的第二阶段。它将负责加载主程序依赖的共享库，进行符号解析，最终跳转到用户的_start->main。