CSAPP 链接实验室
CsappLinkingLab
对应 CSAPP 第 7 章「链接」。可视化静态链接全过程：符号解析→重定位→最终可执行文件。交互式观察符号表、重定位条目、强符号/弱符号规则。理解为什么「欢迎来到灰色地带」——链接器如何在多个目标文件间做出决策。
静态链接过程
CSAPP 第 7 章：链接器在「灰色地带」工作——它需要在多个目标文件间做出决策， 解析符号引用，重定位地址。点击「下一步」观察链接器的决策过程。
1
收集符号
扫描所有 .o 文件，构建全局符号表
2
符号解析
3
重定位
4
输出可执行文件
步骤 1 / 4
符号表
main.o
main
强符号0x401100
swap
未定义
buf
强符号0x601020
bufp0
强符号0x601030
swap.o
swap
强符号0x401200
buf
未定义
bufp1
强符号0x601040
链接器的符号规则
规则 1：强符号不能重复。如果两个模块都定义了同名的强符号，链接器报错。
规则 2：一个强符号 + 多个弱符号 → 选择强符号。
规则 3：多个弱符号 → 选择占用空间最大的那个（或随机选择）。
💡 核心洞察：链接器的符号规则是 C 语言中「全局变量陷阱」的根源。 多个模块定义同名全局变量不会报错，但链接器会静默选择一个—— 这就是 CSAPP 所说的「灰色地带」。
关联教材
以下教材与本沙盒涉及的抽象层级相关，建议系统学习：
关联教材章节
以下教材章节与本沙盒涉及的抽象层级相关，建议配合阅读：
第3章深入理解计算机系统
程序的机器级表示
有时候你要学会像机器一样思考
x86-64汇编寻址模式栈帧过程调用
第5章深入理解计算机系统
优化程序性能
我们可以做的更好
编译器优化循环展开并行性存储器山
第7章深入理解计算机系统
链接
欢迎来到灰色地带
静态链接目标文件符号解析重定位
第8章深入理解计算机系统
异常控制流
操作系统：唯一的使命就是帮助程序运行
异常进程系统调用信号
第9章深入理解计算机系统
虚拟内存
假装我们有用不完的物理内存
虚拟地址页表TLB内存映射
第10章深入理解计算机系统
系统级I/O
务必搞清楚你自己正在和整个系统的哪一层打交道
文件描述符RIO包I/O重定向
第12章深入理解计算机系统
并发编程
并发与并行，傻傻分不清楚？
线程互斥锁信号量生产者-消费者
第4章计算机系统要素
机器语言
CPU 能理解的指令
指令集寻址模式汇编
第6章计算机系统要素
汇编器
从助记符到机器码
符号解析代码生成
第7章计算机系统要素
虚拟机（上）
栈式机器
栈操作算术指令内存访问
第8章计算机系统要素
虚拟机（下）
控制流
标签分支函数调用
第10章计算机系统要素
编译器（上）
语法分析
词法分析递归下降
学习路径推荐
建议按以下顺序学习，循序渐进掌握计算机科学：
前置沙盒（建议先学习）
使用说明
- •调整参数观察行为变化，实时反馈
- •状态自动编码到 URL，可直接分享给他人
- •支持键盘操作（Tab 切换、方向键调整）