简介深入理解计算机系统CSAPP第三版配套实验资源包面向计算机专业学生、考研备考者与系统编程入门者可将教材中的处理器、虚拟内存、缓存体系、并发编程等理论知识落地为可运行、可调试的实战项目。包内汇集Data Lab的bits.c与dlc检查器、Bomb Lab的bomb程序、Cache Lab的csim-ref模拟器与trace轨迹文件、Attack Lab的ctarget/rtarget目标程序以及配套的makefile构建脚本、C源码、头文件与PDF实验文档便于逐模块对照实验指导完成。资源共145个文件压缩包仅1.94MB以c源码、pdf文档、txt说明、h头文件及readme为主另含perl、python辅助脚本与实验工具结构清晰、便于检索。已有1602人学习下载。读者可借此获得完整实验框架与可复现的编译运行思路熟悉汇编语言、内存管理、缓存优化、进程控制、并发及网络协议等核心主题显著缩短环境配置与排错时间为系统级编程打下基础。1. 深入理解计算机系统第三版实验把整本书的抽象概念落成能跑能测的工程很多人把《深入理解计算机系统》第三版从头翻到尾理论倒背如流一到真实机器上就露馅。这套第三版配套实验就是用来治这个病的。它不是课后习题而是一整套带评测脚本的工程包从位操作、汇编逆向、缓冲区溢出到缓存模拟、动态内存分配、并发代理把整本书每个抽象章节都变成了一个有明确分数、有自动判题、必须亲手调通的实战项目。我在某次内部训练营里把这九个实验完整刷了一遍最大的感受是读完书是“看懂别人画的图”做完 Lab 才是“自己画了一张能跑的图”。适合准备校招基础题的人也适合想补体系结构短板的在职开发。2. 环境与实验包结构先把九个 Lab 装进自己的 Linux2.1 Linux 环境准备Ubuntu、gcc、32 位库和 make这套实验包大多在特定的课程镜像里分发但你完全不需要复刻镜像。我一般直接在 Ubuntu 20.04 或 22.04 上装齐工具链就能把大部分 Lab 跑起来。需要的东西在 Linux 发行版里都是常规包sudo apt update sudo apt install gcc make gdb binutils perl sudo apt install gcc-multilibgcc-multilib一定要装。Attack Lab 和 Bomb Lab 的二进制要么是 32 位要么在 64 位环境下需要同时能编译 32 位代码不装这个包链接阶段会报/usr/lib32/libc.so找不到之类的错误实验都跑不到评测那一步。其余工具里objdump是 Bomb Lab 的命根子gdb是三个 Lab 都要用的perl是官方评分脚本driver.pl的解释器。装完之后我习惯建一个干净的实验目录把所有解压出来的 handout 放到一起mkdir -p ~/csapp-labs cd ~/csapp-labs tar -xzf datalab-handout.tar cd datalab-handout make这一步能过说明编译器、make、头文件都没问题。注意只有 Data Lab 是开箱直接 make 就能过的Bomb Lab 要自己先make生成 bomb 二进制Attack Lab 需要运行make和make install如果有该步骤Cache Lab 的模拟器要自己写代码不是一解压就有可执行文件。2.2 九个 Lab 的目录骨架每个实验包里有什么把九个实验包全部解压之后目录大概是这样的csapp-labs/ ├── datalab-handout/ # 位操作实验改 bits.c │ ├── bits.c # 唯一答题文件所有函数都写在里面 │ ├── btest.c # 本地测试驱动跑每个函数的结果 │ ├── dlc # 合法性检查器查运算符和语法 │ └── driver.pl # 官方评分脚本 ├── bomb-handout/ # 二进制炸弹逆向拆解 │ ├── bomb # 待拆解的二进制 │ ├── bomb.c # 主入口源码不含答案逻辑 │ └── README ├── attacklab-handout/ # 攻击实验代码注入和 ROP │ ├── ctarget # 栈可执行的目标程序 │ ├── rtarget # 栈不可执行的目标程序 │ ├── hex2raw # 把十六进制文本转成原始字节流 │ └── farm.c # gadget 农场源码 ├── cachelab-handout/ # 缓存实验模拟器 转置优化 │ ├── csim.c # 你要实现的缓存模拟器 │ ├── csim-ref # 官方参考模拟器 │ ├── test-trans.c # 转置测试 │ └── tracegen.c ├── shlab-handout/ # 简易 Shell处理信号和作业 ├── malloclab-handout/ # 动态内存分配器替代 libc malloc └── proxylab-handout/ # 并发代理服务器涉及多线程和缓存每个 Lab 的核心产物不一样但结构高度相似一个待实现的源文件一个官方评测程序一个给分的脚本。看懂这套结构整个实验包的“游戏规则”就明白了。2.3 评分脚本在评测什么driver.pl 的隐藏约束很多人在 Data Lab 上翻车原因只有一个本地btest全过提交后driver.pl给低分。因为官方脚本做的事比本地测试多得多。拿 Data Lab 来说driver.pl会同时做三件检查数据合法性、运算符计数、边界值覆盖。./dlc bits.c # 检查语法和非法操作 ./dlc -e bits.c # 打印每个函数的运算符计数 ./btest # 跑本地功能测试dlc是 Data Lab 自带的合法性检查器核心指标是运算符个数。比如isTmax限制只能用 8 个运算符如果你用了显然合法但超量的按位操作btest照样全绿但dlc -e会把计数打出来超出直接用分数惩罚。常见做法是提交前先跑一遍完整流程make clean make ./dlc -e bits.c ./btest先看dlc -e的输出确认每个函数的运算符计数都没超再跑btest。我踩过最经典的一次坑是isTmax为了省运算符用了乘法本地测试完全正确dlc报错“非法符号”官方脚本直接零分处理。3. 核心实验拆解Data Lab 的位运算与 Bomb Lab 的逆向推理3.1 Data Lab在运算符配额内写出正确的位操作Data Lab 的内容是在bits.c里实现若干个体系结构相关的函数限制条件苛刻不能用条件分支、不能用循环、只能用限定位运算符、更不能调用函数。考察的是你对补码、溢出、掩码、位扩展这些底层概念的理解。挑两道有代表性的题讲。第一道是isTmax判断一个数是不是最大有符号整数0x7fffffff/* isTmax - returns 1 if x is the maximum signed int, else 0 * 允许操作符! ~ ^ | 上限 8 个 */ int isTmax(int x) { return !((x 1) ^ ~x) !!(x 1); }逻辑分两段看。前半段(x 1) ^ ~x如果 x 是 Tmaxx1 会溢出变成 Tmin0x80000000而~x也恰好是0x80000000两者异或为 0取反后为 1。但这里有个隐藏陷阱x 等于 -1 时x1 等于 0~x也等于 0(x1) ^ ~x同样是 0。所以必须补上!!(x 1)排除 -1 的情况。写这个函数时最容易漏的就是第二个条件这也是 Data Lab 的经典扣分点。第二道是conditional实现x ? y : z的三目运算/* conditional - same as x ? y : z * 思路构造全 0 或全 1 的掩码 */ int conditional(int x, int y, int z) { int mask ~(!x) 1; /* x0 时 mask0xFFFFFFFF否则 mask0 */ return (z mask) | (y ~mask); }掩码的构造原理是!x把任意值归一化成 0 或 1~(!x)把结果按位取反再加 1。代入算一下就能看出来x 等于 0 时!x为 1~1是0xfffffffe加 1 得到0xffffffff全 1 掩码x 非 0 时!x为 0~0是0xffffffff加 1 溢出回到 0。掩码全 1 时选择z掩码全 0 时选择y。这种“用掩码选路”的思想在后面的 Cache Lab、Malloc Lab 里会反复用到值得吃透。写完之后自测命令要按顺序跑make ./dlc -e bits.c ./btestmake会重新编译 btestdlc -e检查运算符计数btest跑全量测试。如果某个函数测试失败btest 会直接告诉你哪个输入值产生错误输出非常省时间。3.2 Bomb Lab从 objdump 到 gdb 的拆弹流程Bomb Lab 给的是一个可执行文件bomb里面隐藏了多个 phase每个 phase 等待你输入一个正确的字符串输入错误会调用explode_bomb直接炸掉。目标是在不看源码的前提下通过反汇编和调试找出每个 phase 的正确答案。这个 Lab 最忌讳的是瞎猜我见过有人试图用字典跑输入纯粹是浪费时间正确路径是先看反汇编再下断点定向提取答案。第一步是把整个二进制反汇编出来objdump -d bomb bomb.asm grep -n phase_1 bomb.asm大部分课程的 phase_1 逻辑都一样调用某个字符串比较函数例如strings_not_equal比较对象是一个静态字符串地址。顺着汇编能看到类似下面的指令序列mov $0x402400,%esi callq 4013a0 strings_not_equal test %eax,%eax je 40100f phase_10xf callq 4014f0 explode_bomb$0x402400就是要比对的目标字符串地址。这时用 gdb 直接看内存里的字符串gdb ./bomb (gdb) break phase_1 (gdb) run (gdb) x/s 0x402400如果地址里有可打印字符串x/s直接把它展示出来这就是 phase_1 答案。如果课程换了方向不比对静态字符串而是读数字序列那就得看read_six_numbersphase_2这类函数6 个整数从栈顶连续排列后续每个指令都在验证它们之间的递推关系。常见套路是等差数列或等比数列# 示意要求六个数为 1 2 4 8 16 32 401045: cmpl $1, (%rsp) # 第一个数必须为 1 401049: mov $1,%ebx 40104f: lea (%rbx,%rbx),%eax # 2 * ebx 401055: cmp %eax,(%rsp,%rbx,4) # 检查下一个数是否翻倍写答案文件时注意文件末尾的换行符必须存在否则程序会读到 EOF 直接炸。验证答案统一用重定向cat answer.txt | ./bomb还差一个 phase 就通关时不要手输每次手输都会真的触碰炸弹逻辑。习惯是先写好答案文件再用管道一次性送进去如果炸了继续回到 gdb 断点去看是哪个阶段判断失败。4. Attack Lab 与 Cache Lab控制流劫持与缓存行优化4.1 Attack Lab先注入代码再被迫学 ROPAttack Lab 是 Bomb Lab 的进阶目标是劫持程序控制流让程序调用一个名为touch2或touch3的函数而不是直接猜字符串。整个过程分两个阶段CTarget 栈可执行直接注入代码RTarget 栈不可执行必须用 ROP 在现有代码里找 gadget。第一阶段拿 CTarget 练手。我们的目标是往getbuf的缓冲区里塞一段字节码让程序返回时跳到touch2并且%rdi等于 cookie 值。利用hex2raw工具把十六进制文本转成原始字节输入# exploit.txt 内容指令字节码 填充 touch2 地址 ./hex2raw exploit.txt raw.txt ./ctarget -q -i raw.txtCTarget 里的注入编码是 x86-64 指令的原始字节流。比如注入代码要完成两件事把 cookie 放入%rdi再把touch2地址压栈后返回mov $0x59b997fa,%edi # 48 c7 c7 fa 97 b9 59 pushq $0x4017ec # 68 ec 17 40 00 ret # c3对应字节流就是48 c7 c7 fa 97 b9 59 68 ec 17 40 00 c3。难点在于填充长度getbuf分配了 40 字节缓冲区这 40 字节之后是栈上保存的返回地址。攻击文本的布局是“注入代码约 13 字节 随意填充补到 40 字节 注入代码首地址8 字节”。返回地址写错哪怕一个字节程序就直接段错误不会给你任何提示。第二阶段 RTarget 是真正的考试。程序在编译时启用了栈不可执行且栈地址随机化注入代码跑不起来。解决办法是改用 ROP从编译产物自带的 gadget 农场farm.c里找pop %rdi; ret序列。攻击文本结构从“代码 地址”变成“填充 gadget 地址 cookie 值 touch2 地址”每一段地址都要精确等于 gadget 在内存里的位置。搞懂这两个阶段的差异就理解了现代系统对抗缓冲区攻击的两层防线NX栈不可执行和 ASLR地址随机化。CTarget 是教学用的“开放世界”RTarget 才是实战形态。4.2 Cache Lab模拟器先跑通再谈分块优化Cache Lab 分两部分Part A 写一个缓存模拟器csim.c模拟命中、不命中、逐出Part B 优化一个矩阵转置函数让缓存命中率最高。Part A 是典型的工程活核心数据结构就是一条缓存行typedef struct { unsigned valid; /* 有效位 */ unsigned tag; /* 标记位 */ unsigned last_use; /* LRU 计数 */ } cache_line; int main(int argc, char** argv) { /* 同样根据 -s -E -b 参数算出组数、行数、块偏移位宽 */ int s, E, b; /* 解析 trace 文件每一行区分 I(指令) L/S/M(数据访问) */ while (fscanf(...) 3) { if (op I) continue; /* 指令缓存不计入 */ int set_index (addr b) ((1 s) - 1); int tag addr (b s); /* 在对应 cache_set 里查找匹配行 */ } }关键点有三个set_index是从地址中间段截取的不是低地址段tag是去掉组索引和块偏移后剩下的高位LRU 替换策略要求每个 set 里维护一个使用计数冲突时逐出计数最大的行。常见的翻车点在指令类型处理上trace 文件里的I表示指令加载不属于我们要模拟的数据缓存访问如果把它也计入hit 和 miss 计数会跟官方参考模拟器csim-ref对不上。Part B 是纯算法优化。矩阵转置B[j][i] A[i][j]天然跨行访问缓存命中率极差。常用手段是分块把局部性做出来。32x32 矩阵的标准解法是 8x8 分块for (i 0; i 32; i 8) for (j 0; j 32; j 8) for (k 0; k 8; k) for (l 0; l 8; l) B[j l][i k] A[i k][j l];为什么选 832 字节的缓存行能装 8 个 int8x8 的块恰好让 A 和 B 的访问单位都是整缓存行。到了 64x64 矩阵8x8 分块反而效果变差因为每 4 行就会遇到组索引复用A 和 B 的行会互相驱逐。这种情况下我一般退回 4x4 分块或者结合对角线重排来绕过组冲突。给分标准里有性能阈值超过阈值才拿满分所以这一部分要反复调参。5. 避坑记录从环境翻车到评测玄学的排查清单5.1 本地测试全过官方评分却扣分现象./btest所有函数输出正确一跑driver.pl就扣分且不报具体原因。原因btest只验功能正确性driver.pl额外做运算符计数和合法性检查。超限运算符在 btest 阶段完全没有反馈只有dlc -e bits.c会把计数打出来用户通常只跑了make而忘了dlc。解决提交前固定执行./dlc -e bits.c逐行看输出。凡是报Illegal operator或者too many operators的函数一律重新写不要寄希望于“碰运气”。5.2 Bomb Lab 答案文件末尾换行缺失现象cat answer.txt | ./bomb刚读入最后一个 phase 就炸前面所有 phase 全对。原因bomb 在读输入时每个 phase 的字符串比较是逐行读取如果答案文件最后一行末尾没有\ngetline会直接碰到 EOF触发 phase 的默认爆炸路径。很多人在文本编辑器里写答案保存时去掉了最后换行。解决用xxd answer.txt | tail -3检查文件末尾字节确认最后一个字节是0a。如果缺失直接printf 1 2 4 8 16 32\n answer.txt轮换写入。从那以后我每次写答案文件都会先强制看一遍十六进制尾部再运行。5.3 Attack Lab 注入代码长度不对导致段错误现象./ctarget -q -i raw.txt报 Segfaultgdb 里看到getbuf返回后没有跳到注入地址。原因getbuf 的栈帧是 40 字节返回地址位于%rsp 40处攻击文本必须先用恰好 40 字节填满缓冲区再把注入代码地址写在 40 字节之后的 8 个字节处。少写一个填充字节返回地址就偏移了 8 个字节AP 语言里这叫 off-by-one在这里就是程序崩溃。解决先构造一个 40 字节的填充段再加返回地址最后加注入代码。用wc -c raw.txt检查总字节数是否为 40 8 代码长度。严格按这个流程这类问题基本可以消灭在提交之前。5.4 Cache Lab 模拟器结果与参考程序对不上现象csim 跑出的 hit、miss、evict 计数跟官方参考csim-ref不一样但代码逻辑看着没毛病。原因没有区分I指令访问与L/S/M数据访问或者对M指令只做了一次访问统计。按课程约定指令访问不进入数据缓存统计而M表示先读后写是一次 miss 一次 hit 的累计。解决逐条比对 trace 文件对照代码手动演算前几条指令。把op、addr的解析打印出来确认 set 索引和 tag 位数对不对。我一般把 s、E、b 三个参数写成显式变量避免手算偏移位时搞反。5.5 Malloc Lab 在本地分数虚高评测环境分数失真现象本地跑 malloc 评测拿到高分同一份代码放到另一台机器上分数掉一大截。原因动态内存分配器的性能受堆大小、分配模式、libc 版本甚至对齐方式影响。本地机器和我对比的参考机处理器不同clock计时的分辨率差异很大。解决不要只盯单次分数。多跑几次取中位数并且对比util内存利用率与thr吞吐率两个子项优先确认空间利用率没有掉再优化吞吐。分配器的设计核心是权衡碎片率和遍历速度评测分数只是结果不是目标。6. 二次开发思路把 Lab 改造成自己的训练营和面试题库刷完一遍之后这套实验包最好的用法不是“做一遍拿个分”而是改造成能反复用的内部题库。我基于原始 handout 做了三件事效果都挺好。第一件事是把评分脚本串成一条自动流水线作为日常提交的自检入口。Data Lab 的三个命令每次都要手动跑我写成一个脚本放进实验目录#!/bin/bash set -e cd datalab-handout make clean make ./dlc -e bits.c ./btest ../driver.pl | tail -5这个脚本可以直接接进 git 的 pre-commit 钩子或者放到 CI 里。团队里带新人时新人每改一次bits.cCI 就自动跑一遍dlc和btest提交质量明显变稳。第二件事是给 Data Lab 加自编题目。原始函数池用熟之后我按同样的“只允许位运算”约束加了一道bitReverse把 32 位数按位倒序。标准解法用分治换位int bitReverse(int x) { x ((x 0x55555555) 1) | ((x 1) 0x55555555); x ((x 0x33333333) 2) | ((x 2) 0x33333333); x ((x 0x0F0F0F0F) 4) | ((x 4) 0x0F0F0F0F); x ((x 0x00FF00FF) 8) | ((x 8) 0x00FF00FF); return (x 16) | ((x 16) 0xFFFF); }核心思路是分治交换相邻位组先交换相邻 1 位再交换相邻 2 位再交换相邻 4 位最后交换高低 16 位。这种题放在面试里作为体系结构的基础题也很好使。第三件事是把 Bomb Lab 改造成自动出题器。手动改 phase 字符串容易出错我写了一个生成器随机生成各 phase 的答案序列同时输出一份反汇编对照表import random answers { phase_1: his dark materials, phase_2: [1, 2, 4, 8, 16, 32], phase_3: 7 10 1, } with open(answers.txt, w) as f: for v in answers.values(): if isinstance(v, list): f.write( .join(map(str, v)) \n) else: f.write(v \n)答案生成了但二进制里的比较逻辑是固定的真正上考场的人照样要逆向推导。当初我在某次内部训练营里改过一次 phase_6 的依赖顺序结果有一批学员对着错误版本的答案折腾了很久。从那以后我每次发 Lab 之前都强制把答案文件从头到尾完整验证一遍再放出去这个习惯沿用到所有教学资源上。希望帮到你。本文还有配套的精品资源点击获取