简介这套《深入理解计算机系统》第三版配套实验包面向正在学习 CSAPP 的高校学生与自学者围绕汇编语言、内存管理、缓存系统、进程调度、网络协议、编译器构造、性能分析与安全等主题提供可动手实践的实验材料帮助读者把课堂理论落到代码与工具链操作中。压缩包共 145 个文件约 1.94MB以 34 个 C 源文件、16 个头文件、9 个 Makefile 和 22 份 PDF 文档为主体辅以 txt 说明、trace 轨迹、readme 指引及若干可执行测试程序覆盖实验代码、编译构建、参考文档与验证数据等环节。已有 1604 人学习下载。读者可借助其中的实验骨架、驱动代码与说明文档完成数据表示、缓冲区溢出、缓存模拟、shell 与代理实验等典型任务并对照参考材料理解编译、链接、异常控制流与性能调优的排错思路适合课程实验跟做与期末复盘。1. CSAPP 第三版实验到底在练什么从一条越界写到一个能跑的系统CSAPP 第三版实验不是把书后题刷一遍而是用一组带自动判分的任务把补码、汇编、缓存、异常控制流、虚拟内存这些概念压到可运行代码里。它最适合已经学过 C 和数据结构、但一遇到指针越界、链接错误、进程卡死就靠猜的人。做完一轮你会形成一条固定路径先读约束再写最小可测版本最后用边界输入和性能计数验证。别把它当课程作业它更像系统能力的体检表。2. 实验环境与位运算用 3 个命令跑通第一个可提交版本位运算实验看起来最简单翻车率却不低。原因不在“不会写位运算”而在约束没读全、测试没跑够、编译器优化一开结果就变。先把环境固定住再把最小闭环跑通后面做汇编、缓存、shell 才不会一边查语法一边怀疑人生。2.1 用容器固定工具链先把编译和调试路径打通我一般不在宿主机上裸装一堆版本。实验目录挂进容器编译、反汇编、调试都在同一套工具链里做换机器时少很多“我这里能过”的争议。# 在实验目录启动一个带 gcc、make、gdb、objdump 的容器 docker run --rm -it \ -v $PWD:/work \ -w /work \ gcc:latest bash # 容器内先确认工具链 gcc --version make --version gdb --version objdump --version | head -n 1-v $PWD:/work把当前实验目录挂到容器里的/work-w /work把工作目录设过去--rm让退出后不留临时容器。gcc:latest只是示例实际可以换成团队统一镜像关键不是版本号而是每次实验都用同一套gcc、gdb、objdump。如果评测环境给了固定编译参数容器里也要用同一组参数复现不然本地过、提交挂的概率很高。2.2 位运算实验的最小闭环函数、测试、提交前自检位运算实验的核心不是写得多巧而是每个函数都能被断言验证。先写一个能编译、能跑、能打印ok的版本再逐条替换成符合约束的实现。#include stdio.h #include stdint.h #include assert.h /* 取第 n 个字节n 取 0~3只做位运算不写分支 */ static uint32_t get_byte(uint32_t x, int n) { return (x (n 3)) 0xFFu; } /* 判断符号位先转无符号避免有符号右移的实现差异 */ static int is_negative(int x) { return (int)(((uint32_t)x) 31); } int main(void) { assert(get_byte(0x12345678u, 0) 0x78u); assert(get_byte(0x12345678u, 3) 0x12u); assert(is_negative(-1) 1); assert(is_negative(0) 0); puts(ok); return 0; }编译时把警告当错误能提前挡掉一批隐式转换和未使用变量gcc -stdc11 -Wall -Wextra -Werror -O2 bitops.c -o bitops ./bitopsget_byte的逻辑是先右移8 * n位再用0xFF取低 8 位。n 3就是n * 8因为实验常限制乘法所以用移位代替。is_negative先把int转成uint32_t再右移 31 位这样不依赖有符号右移是算术还是逻辑。assert不是给评测器看的是给你自己看的每加一个函数就补正数、负数、0、边界值四类断言。注意正式实验往往限制可用的运算符和语句比如禁用[]、-、、--、if、for。上面代码是调试骨架提交前要逐条对照约束表删改。2.3 三个必调参数位宽、移位量、掩码位运算题错得最多的地方不是思路而是位宽和移位量。下面三个参数每次都要在纸上写清楚参数含义常见错法自检方式位宽当前操作按 32 位还是 64 位处理把int当 64 位用高位被截断打印sizeof(x) * 8统一用uint32_t或uint64_t移位量左移或右移多少位n * 8写成n * 4或移位量等于位宽对n0和n3各测一次掩码取哪几位、保留哪几位用0xFF取 16 位高位没清干净用0xFFFFFFFF和0x00000000做边界测试符号扩展是另一个高频坑。把 8 位有符号数扩成 32 位时不能只补 0要先看最高位最高位为 1 时高 24 位要全补 1。很多题本地用正数测都能过一上负数就露馅。我的习惯是每写一个函数先在注释里写清楚“输入范围、输出范围、允许的运算符、溢出假设”再动手。约束读错后面写得再漂亮也是白搭。3. 汇编阅读与缓存模拟把 objdump 输出和命中率拆成可核对表格汇编阅读和缓存模拟是两种不同的能力前者要求你能从寄存器变化还原 C 代码后者要求你把地址拆成 tag、set、offset 并跟踪替换策略。共同点是都不能靠“看一眼感觉对”要留下可核对的中间结果。3.1 从 C 到汇编用 -Og 和 Intel 语法降低阅读成本-O0的汇编冗长-O2又容易把循环展开得面目全非。做实验阅读时我一般先用-Og保留结构又不至于太难跟。# 生成可读汇编-Og 保留结构Intel 语法更接近日常阅读 gcc -Og -S -masmintel demo.c -o demo.s # 只反汇编目标文件中的 demo 函数避免被库代码淹没 gcc -Og -c demo.c -o demo.o objdump -d -M intel demo.o | sed -n /demo:/,/^$/p-S只生成汇编不汇编成目标文件-c生成目标文件-masmintel把操作数顺序换成“目标, 源”读起来比 ATT 的“源, 目标”顺一些。sed -n /demo:/,/^$/p只截取demo函数那一段避免在启动代码和库函数里迷路。读的时候先找函数入口的push、sub rsp再找返回值放在eax还是rax最后看跳转条件对应 C 里的哪个if。3.2 用 Python 抽调用点把“逐行看”改成“先定位”汇编题最怕一上来逐行硬读。先抽调用点画出“谁调谁”再回到关键路径逐行看效率高很多。import re import subprocess import sys def main(obj: str) - None: text subprocess.check_output( [objdump, -d, -M, intel, obj], textTrue ) # 匹配 call 目标地址和符号名先定位所有调用点 pat re.compile(r\bcall\s([0-9a-f])\s([^])) for line_no, line in enumerate(text.splitlines(), 1): m pat.search(line) if m: print(f{line_no:5}: {m.group(2)} {line.strip()}) if __name__ __main__: main(sys.argv[1])subprocess.check_output调objdumptextTrue让输出按字符串处理。正则里的([0-9a-f])抓目标地址([^])抓符号名。先看调用点再判断哪些是库函数、哪些是实验自己写的函数。参数只有一个目标文件路径。想再细一点可以把行号和函数名一起输出方便回到源文件对照。3.3 缓存模拟的四个参数s、b、E、替换策略缓存模拟实验的输入通常是地址序列输出是命中、不命中、替换次数。地址要拆成三段tag、set index、block offset。下面四个参数每次都要在纸上写清楚。参数含义影响常见设置s组索引位数决定有多少组S 2^s题目给定不能自己改b块内偏移位数决定块大小B 2^b常见 4、5、6E每组行数直接映射E1组相联E1题目给定替换策略组满后换哪一行LRU、FIFO、随机实验多数要求 LRU地址拆分公式是set (addr b) (S - 1)tag addr (b s)。注意S - 1是掩码不是S。我见过有人写成addr % S结果S不是 2 的幂时全错实验里S通常是 2 的幂但用掩码更稳。typedef struct { int valid; unsigned tag; unsigned lru; } CacheLine; typedef struct { int s; /* 组索引位数 */ int b; /* 块内偏移位数 */ int e; /* 每组行数 */ CacheLine **sets; } Cache;valid标记这一行有没有被填过tag用来比较是否命中lru记录最近使用次序。每次访问先算set再在sets[set]里找valid tag 相等的行命中就更新lru不命中就找空行或替换lru最大的行。参数改一个命中率就可能变所以每次只改一个变量改完立刻打印命中、不命中、替换三个计数。3.4 命中率不对时先看地址拆分命中率不对先别怀疑替换策略。拿前 10 个地址手算 tag、set、offset和程序打印的中间结果逐行对照。常见错误是b和s用反、tag没有右移够、LRU 更新顺序写反。地址拆分对了再看组内查找组内查找对了最后才看替换。这个顺序能省很多时间。4. 异常控制流与 shell进程、信号、作业控制的 4 个关键状态shell 实验的难点不是解析命令行而是进程状态。前台、后台、停止、回收四个状态没理顺就会出现Ctrl-C把 shell 自己杀掉、waitpid卡死、后台进程变成僵尸。先把状态机写在纸上再写代码。4.1 先画状态机前台、后台、停止、回收状态触发父进程动作子进程动作前台运行用户输入命令fork后等待exec执行命令后台运行命令末尾加不等待记录作业号继续运行停止Ctrl-Z收到SIGCHLD更新作业状态收到SIGTSTP暂停已回收子进程退出waitpid回收删除作业退出状态表写清楚后代码里每个分支都能对上。最容易漏的是“停止”不是“退出”waitpid要用WUNTRACED才能拿到停止状态后台作业要记住进程组不然fg、bg不知道把谁切到前台。4.2 fork、exec、waitpid 的最小模板前台执行的最小模板如下先跑通再加作业控制#include stdio.h #include unistd.h #include sys/wait.h #include stdlib.h #include errno.h int run_foreground(char *const argv[]) { pid_t pid fork(); if (pid 0) return -1; if (pid 0) { setpgid(0, 0); /* 子进程单独成组便于作业控制 */ execvp(argv[0], argv); _exit(127); /* exec 失败不要回到父进程缓冲区 */ } setpgid(pid, pid); /* 父进程也设一次避免竞态 */ int status; while (waitpid(pid, status, 0) 0) { if (errno ! EINTR) return -1; } return status; }fork后子进程和父进程各跑各的子进程里setpgid(0, 0)把自己设为新进程组组长父进程里setpgid(pid, pid)再设一次防止子进程还没执行到就被父进程抢先。execvp成功不返回失败才走到_exit(127)这里用_exit不用exit避免把父进程的 stdio 缓冲区重复刷出去。waitpid被信号打断时返回-1并置errnoEINTR所以要循环等待。4.3 信号处理只做置位不要在 handler 里 printf信号处理函数里能做的事很少。printf、malloc、free都不是异步信号安全的在 handler 里调用可能死锁。我一般只置一个volatile sig_atomic_t标志主循环再处理。#include signal.h static volatile sig_atomic_t sigchld_flag 0; static void on_sigchld(int sig) { (void)sig; sigchld_flag 1; /* handler 里只做异步信号安全的事 */ } void install_sigchld(void) { struct sigaction sa; sa.sa_handler on_sigchld; sigemptyset(sa.sa_mask); sa.sa_flags SA_RESTART; sigaction(SIGCHLD, sa, NULL); }sig_atomic_t保证读写不会被信号打断到一半。SA_RESTART让部分被中断的系统调用自动重启但waitpid这类调用仍可能返回EINTR所以主循环里要判断。sa_mask用来屏蔽 handler 执行期间的其他信号先用sigemptyset清空再按需要加。4.4 作业控制的三个系统调用setpgid、tcsetpgrp、kill系统调用作用常见错法setpgid把进程放进指定进程组只设子进程不设父进程产生竞态tcsetpgrp把终端前台进程组切成谁忘记在fork后切Ctrl-C发给旧进程组kill给进程组发信号只发单个 pid后台子进程收不到Ctrl-C发的是SIGINTCtrl-Z发的是SIGTSTP它们发给“前台进程组”不是单个进程。所以 shell 要维护进程组前台作业切到终端后台作业不抢终端。fg把作业切回前台并发SIGCONTbg只发SIGCONT让它在后台继续跑。每次切换后都要更新作业表不然jobs输出和实际状态对不上。5. 避坑与排查实验反复翻车的 5 个现场实验做不下去往往不是大思路错而是小现场没定位。下面五类问题我见得多也踩得最多。每一条都按“现象、原因、解决”拆开照着排查比盲目重写快。5.1 编译通过但结果随机先抓未定义行为现象同一组输入跑三次有一次结果不对加一句printf又好了。原因大概率是有符号溢出、未初始化变量、越界读写、移位量大于等于位宽或者违反了严格别名规则。这类问题在-O0下可能藏着-O2一优化就暴露。解决先用 sanitizer 跑一遍再对比-O0和-O2的输出。gcc -stdc11 -O2 -g -fsanitizeundefined,address bitops.c -o bitops_san ./bitops_san-fsanitizeundefined抓有符号溢出、非法移位、空指针解引用-fsanitizeaddress抓越界和释放后使用。sanitizer 报出来的行号要逐条看不要只看最后一行。如果 sanitizer 不报但结果仍随机检查是否读了未初始化内存或者代码依赖了编译器未定义的求值顺序。5.2 本地过、评测不过输入边界和资源限制现象本地测试全绿提交后部分用例失败。原因通常是隐藏边界0、INT_MIN、最大长度、空输入、只有空格、超时、内存超限或者输出格式多了空格和换行。解决把函数级测试和进程级测试分开。函数级测0、1、-1、INT_MIN、INT_MAX进程级测空参数、超长参数、管道输入、重定向输出。时间敏感的实验要在容器里跑一遍别只看宿主机。输出格式用diff对比肉眼看不出的尾随空格最容易挂。5.3 汇编题看错寄存器调用约定与别名现象C 代码逻辑没错汇编里函数返回值却不对。原因常见于 caller-saved 和 callee-saved 寄存器混用或者eax/rax、ax/al别名看错。调用约定里返回值通常在rax参数在rdi、rsi、rdx、rcx、r8、r9被调用者要保存rbx、rbp、r12到r15。解决在纸上列一张寄存器表每读一条指令就更新“当前值来自哪里”。遇到movsx、movzx先确认位宽遇到lea先确认它算的是地址不是取值。最后用gdb单步看info registers和栈帧别靠脑补。5.4 缓存命中率越调越低替换策略和地址拆分现象加了相联度命中率反而下降。原因可能是 LRU 更新顺序写反、命中时忘了更新、替换时选了最近使用的行或者set和tag的移位量算错。解决拿一条短 trace打印每次访问的地址、set、tag、命中与否、替换了哪一行。先手算前 5 次和程序输出对齐。确认地址拆分无误后再检查 LRU命中要把当前行标为最新不命中且组满时要换最旧的行。每次只改一个参数改完记录命中率不然调到最后不知道哪一步起了作用。5.5 shell 实验卡死信号与前台进程组现象按Ctrl-C后 shell 退出或者waitpid一直不返回或者后台作业变成僵尸。原因通常是前台进程组没切、SIGCHLDhandler 里做了不安全操作、waitpid没循环处理EINTR或者子进程退出后没回收。解决先确认tcsetpgrp在fork后、exec前调用再确认waitpid用循环并处理WUNTRACED和WCONTINUED最后用ps看进程状态Z就是僵尸说明父进程没回收。信号 handler 只置标志主循环再waitpid(-1, ..., WNOHANG)收割。6. 用回归脚本验收动态内存分配器4 个指标判断实现是否值得交动态内存分配器实验最容易陷入“能跑就行”。我一般用四个指标做验收峰值利用率、吞吐、碎片率、对齐与越界。先用同一组 trace 跑两个版本再对比数字别凭感觉说“优化了”。# 用同一组 trace 比较两个版本的吞吐和峰值内存 for t in traces/*.trace; do /usr/bin/time -f %e s %M KB ./alloc_test -f $t done/usr/bin/time -f里的%e是实际耗时%M是最大常驻内存。alloc_test换成你自己的测试程序traces/*.trace换成实验给的负载文件。每次只改一个策略比如从隐式空闲链表换成分离适配记录四列数字利用率、吞吐、碎片率、错误数。指标看什么不合格信号峰值利用率堆总大小与有效负载的比值只有 30% 左右说明头部和碎片吃太多吞吐单位时间完成的分配回收次数加分离适配后反而变慢说明链表查找写重了碎片率空闲块总量与可复用块的比例空闲块很多但大请求一直失败对齐与越界返回指针是否按 8 或 16 字节对齐释放时崩溃或相邻块头部被踩我的习惯是先把最小块对齐和头部大小算清楚再谈策略优化对齐没做对后面所有数字都不可信。每次改完分配器先跑小 trace 看错误再跑大 trace 看吞吐最后才看利用率。希望帮到你。本文还有配套的精品资源点击获取
