news 2026/5/20 18:49:14

编译器细节:动态链接与静态链接行为分析

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
编译器细节:动态链接与静态链接行为分析

与ld.so (以 Alpine 为例)

背景:Alpine Linux 是一个基于 musl libc 和 busybox 构建的轻量级 Linux 发行版,专注于安全性、资源效率和简洁性。它被广泛用于 Docker 容器、嵌入式系统和云计算环境。

基本概念:gcc 和 ld.so 分别是什么?

ld.so(dynamic linker/loader)是程序运行时的动态链接器。gcc 在编译期决定程序如何被加载,而 ld.so 在运行时执行加载。

1. gcc(GNU Compiler Collection)

功能:将 C/C++ 源代码编译成目标文件(.o),并调用链接器(ld)生成可执行文件。

它本身不直接做动态链接,但它会:

调用汇编器(as)

调用链接器(ld,来自 binutils)

在链接时指定使用哪个 动态链接器(dynamic linker)

示例:当你运行 `gcc main.c -o app`,gcc 实际上做了:

源码 .c

预处理 (cpp) → #include, #define 展开

编译 (cc1) → 生成汇编代码(.s)

汇编 (as) → 生成目标文件(.o)

链接 (ld) → 合并所有 .o 和库,生成可执行文件

2. ld.so / ld-musl-*(动态链接器,Dynamic Linker/Loader)

功能:

程序启动时由内核加载

负责加载程序依赖的共享库(如 libc.so, libpthread.so 等)

进行符号解析、重定位

然后跳转到程序入口 _start 或 main

⚠️ 注意:ld.so 是 GNU glibc 中对动态链接器的称呼,在 musl 中它叫 ld-musl-*,但作用相同。

一、动态链接:编译期 vs 运行时

gcc 默认进行动态链接

阶段 参与者 职责

编译/链接期 gcc + ld(链接器) 将源码编译为可执行文件,并在其中嵌入一个名为 .interp 的段,用于指定运行时的动态链接器路径。

运行期 内核 + ld.so 内核加载程序,读取 .interp 段,然后加载并执行指定的动态链接器(如 ld-musl-* 或 ld-linux-*)。动态链接器负责加载所有依赖的共享库,并启动程序。

它们通过 动态链接 建立联系:

gcc hello.c -o hello

预处理 + 编译

gcc 把 hello.c 编译成目标文件 hello.o

链接(Linking)

gcc 调用 ld(GNU linker,属于 binutils)进行链接

关键一步:嵌入“解释器”路径(INTERP segment)

链接器会在最终的 ELF 可执行文件中写入一个特殊的段:.interp

$ readelf -l hello | grep -A 2 'INTERP'

INTERP 0x0000000000000318 0x0000000000000318 0x0000000000000318

0x000000000000001c 0x000000000000001c R 0x1

[Requesting program interpreter: /lib/ld-musl-x86_64.so.1]

内容是动态链接器的路径,例如:/lib/ld-musl-x86_64.so.1

这个路径是在链接时由 gcc 使用的 "specs" 文件或 crt 对象文件决定的

打印gcc spec: gcc -dumpspecs

运行时:内核发现 .interp 后,先加载 ld-musl,再由它加载程序和 libc

execve("hello", ...)

→ 内核读取 ELF 的 .interp: "/lib/ld-musl-x86_64.so.1"

→ 先加载 ld-musl

→ ld-musl 加载 libmusl.so(即 libc 实现)

→ 解析符号,完成重定位

→ 跳转到 _start → main()

✅ 所以:

gcc 编译时,将 ld.so 的路径写入.interp 段,告诉内核在运行时使用哪个动态链接器。

二、静态链接:无运行时依赖

静态链接通过 -static 标志实现,它将所有依赖库的代码直接复制到最终的可执行文件中。

$ gcc --verbose -static hello.c -o hello

#include "..." search starts here:

#include <...> search starts here:

/usr/include

End of search list.

...

COLLECT_GCC_OPTIONS='--verbose' '-static' '-mtune=generic' ...

/usr/lib/gcc/x86_64-linux-gnu/11/cc1 -quiet -imultiarch x86_64-linux-gnu ...

as ... -o /tmp/ccXXXXXX.o

...

/usr/bin/ld --hash-style=gnu --build-id --eh-frame-hdr -m elf_x86_64 \

-static [... lots of .a files...] \

-o hello-static

# 只是 ld 多了一个 -static 参数,表示要静态链接

# 链接器加载了 libc.a, libgcc.a, crt*.o 等静态对象

意味着:

所有需要的库代码(包括 libc 中的 printf, malloc 等)都被直接复制进最终的二进制文件中

不再依赖外部 .so 文件

没有 .interp 段

不需要动态链接器参与启动过程

此时程序结构更简单:

用户执行 ./hello

→ 内核直接加载整个程序映像(包含所有代码)

→ 直接跳转到入口点 _start → main()

你可以通过以下命令验证一个程序是否为静态链接:

# 输出类似 "statically linked" 的信息

file ./hello

# 如果输出 "not a dynamic executable",则是静态链接

ldd ./hello

# 如果没有输出,则表示没有 .interp 段

readelf -l ./hello | grep 'INTERP'

三、Alpine (musl) vs. 主流发行版 (glibc)

Alpine 的 gcc 是为 musl C特别配置的,这与 Ubuntu/CentOS 等使用 glibc 的系统有本质区别。

项目 Alpine Linux (musl) Ubuntu/CentOS (glibc)

C 标准库 musl libc glibc

动态链接器 /lib/ld-musl-*.so.1 /lib/ld-linux-*.so.2

target triplet *-alpine-linux-musl *-pc-linux-gnu

可移植性 musl 静态链接的程序通常具有更好的跨发行版可移植性。 glibc 静态链接的程序可能因依赖 NSS 等机制而无法在 Alpine 上运行。

编译器名称通常:<arch>-<vendor>-<os>-<abi>-<tool>

具体差异在哪里?

1. GCC 的 “target triplet” 和 “specs”

spec file: /lib/gcc/x86_64-alpine-linux-musl/11.2.1/specs

# Alpine 的 GCC 被编译为:

x86_64-alpine-linux-musl

# 而不是常见的:

x86_64-pc-linux-gnu

这意味着:

默认包含头文件路径指向 Alpine 特有的位置

默认使用 musl-gcc 行为(即使命令叫 gcc)

自动设置 .interp 为 /lib/ld-musl-x86_64.so.1

2. CRT(C Runtime Startup)对象不同

使用 crt1.o, crti.o, crtn.o 来自 musl,而非 glibc

这些对象定义了 _start 符号和初始化流程

3. 链接脚本和默认库不同

默认链接 -lc 时,链接的是 libc.a 或 libc.so 来自 musl,不是 glibc

不支持某些 glibc 特有的 symbol(如 __stack_chk_fail_guard)

四、如何验证

1. 查看 gcc 默认链接了什么

Alpine (musl) 下的例子

$ gcc -Wl,--verbose | grep 'SEARCH_DIR\|libc\.'

# 你会看到它搜索 musl 的库路径,比如:

SEARCH_DIR("/usr/x86_64-alpine-linux-musl/lib")

WSL2 Ubuntu (glibc) 下的例子

$ gcc -Wl,--verbose

SEARCH_DIR("=/usr/local/lib/x86_64-linux-gnu"); SEARCH_DIR("=/lib/x86_64-linux-gnu"); SEARCH_DIR("=/usr/lib/x86_64-linux-gnu"); SEARCH_DIR("=/usr/lib/x86_64-linux-gnu64"); SEARCH_DIR("=/usr/local/lib64"); SEARCH_DIR("=/lib64"); SEARCH_DIR("=/usr/lib64"); SEARCH_DIR("=/usr/local/lib"); SEARCH_DIR("=/lib"); SEARCH_DIR("=/usr/lib"); SEARCH_DIR("=/usr/x86_64-linux-gnu/lib64"); SEARCH_DIR("=/usr/x86_64-linux-gnu/lib");

attempt to open /usr/lib/gcc/x86_64-linux-gnu/11/libc.so failed

attempt to open /usr/lib/gcc/x86_64-linux-gnu/11/libc.a failed

attempt to open /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/libc.so succeeded

opened script file /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/libc.so

/usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/libc.so

opened script file /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/libc.so

attempt to open /lib/x86_64-linux-gnu/libc.so.6 succeeded

/lib/x86_64-linux-gnu/libc.so.6

/usr/bin/ld: ld-linux-x86-64.so.2 needed by /lib/x86_64-linux-gnu/libc.so.6

/usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/Scrt1.o: in function `_start':

(.text+0x1b): undefined reference to `main'

/usr/bin/ld: link errors found, deleting executable `a.out'

collect2: error: ld returned 1 exit status

2. 查看 gcc 目标架构

$ gcc -v

# 输出中会有类似:

Target: x86_64-alpine-linux-musl

Configured with: /path/to/configure --target=x86_64-alpine-linux-musl ...

如果你想进一步探索:

什么是 ABI(Application Binary Interface)?

使用 cross 和 none 工具链

了解 newlib、glibc、musl 等 C 库?

版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/5/14 11:33:57

EmotiVoice助力数字人语音驱动

EmotiVoice&#xff1a;让数字人“声”动起来 在一场虚拟偶像的直播中&#xff0c;观众听到她用温柔又略带伤感的声音讲述一段往事——语调起伏自然&#xff0c;情感真挚得几乎让人忘记这并非真人即兴表达。而就在几分钟前&#xff0c;这个角色还以活泼欢快的语气与粉丝互动抽奖…

作者头像 李华
网站建设 2026/5/18 15:48:12

EmotiVoice API接口调用指南:快速集成至现有项目

EmotiVoice API 接口调用实战&#xff1a;从零集成高表现力语音合成 在智能语音应用日益普及的今天&#xff0c;用户早已不再满足于“机器念字”式的生硬播报。无论是游戏中的角色对话、有声书的情感演绎&#xff0c;还是语音助手的日常交互&#xff0c;人们期待的是更自然、更…

作者头像 李华
网站建设 2026/5/20 18:21:25

veScale:终极PyTorch分布式训练框架完整指南

veScale&#xff1a;终极PyTorch分布式训练框架完整指南 【免费下载链接】veScale A PyTorch Native LLM Training Framework 项目地址: https://gitcode.com/gh_mirrors/ve/veScale veScale是一个基于PyTorch原生的大规模语言模型训练框架&#xff0c;专为简化分布式训…

作者头像 李华
网站建设 2026/5/20 15:39:08

数字三角形问题

🌏个人博客:尹蓝锐的博客 希望文章能够给到初学的你一些启发~ 如果觉得文章对你有帮助的话,点赞 + 关注+ 收藏支持一下笔者吧~ 1、题目要求: 数字三角形问题 2、输入: 5 7 3 8 8 1 0 2 7 4 4 4 5 2 6 5 3、程序: #define _CRT_SECURE_NO_WARNINGS 1 #include <…

作者头像 李华
网站建设 2026/5/18 11:52:19

Powershell管理远程计算机(四)

信任主机配置Set-Item wsman:\localhost\client\trustedhosts "远程计算机IP或名称"完成后&#xff0c;通常需要重启 WinRM 服务以使更改生效Restart-Service WinRM在建立正式连接前&#xff0c;可以先测试远程计算机是否已准备好接受 PowerShell 远程连接Test-WSMan…

作者头像 李华
网站建设 2026/5/20 14:10:14

Kickstart文件密码设置指南:自动化安装的核心实践

引言 作为Linux OS镜像定制开发的DevOps专家和Anaconda维护者&#xff0c;我深刻理解Kickstart文件在自动化安装中的关键作用。本文将结合Red Hat官方文档及实际案例&#xff0c;系统阐述如何在Kickstart文件中安全配置用户名和密码&#xff0c;解决密文密码安装失败等常见问题…

作者头像 李华