计算机系统考点梳理：补码、栈帧与缓存刷题技巧

大二上那门计算机系统课，我是被“做题家”三个字摁着脑袋走完的。一开始觉得这只是自嘲，好像谁刷题多、背得熟，谁就是不懂原理的考试机器；等真到了期末复习，我才发现这门课光靠“看懂”完全不够，你必须在纸上把每一个位、每一层栈帧、每一次缓存替换都算到肌肉记忆里，才能在考场上不慌。课名可能各校叫法不同，核心内容却逃不掉那一套：数据怎么表示、汇编怎么生成、栈和堆怎么管理、缓存怎么命中、链接和进程怎么协作。这篇文章就是把我这份“做题家笔记”里能搬出来的经验写下来，给正在被这门课折磨的同学，或者准备期末前突击刷题的人一个参考。我不想复述教材，只聊那些考场上真正会卡住你的地方，以及我自己从刷题到讲题过程中总结出来的操作套路。

1. 这门课到底在考什么——先把考点地图画出来，再动手刷题

1.1 和算法课不同：系统课的“题感”来自哪几个板块

很多同学习惯用算法课的方法来学计算机系统：先把例题做一遍，再看错题，最后背结论。这套方法在这门课上效果很差，因为算法题的“题感”来自数据结构和复杂度分析，而系统课的“题感”来自一条完整的链路：源程序从编译到汇编，再到机器码，最后落到 CPU 和内存上执行。你脑子里得有一条流水线，才能在读题时第一时间判断“它考的是哪一段”。

课程内容按考试出题习惯，通常可以分成六个板块：数据表示（补码、浮点、位运算、大小端）、机器级代码（指令格式、寄存器、寻址模式）、过程调用与栈帧、内存层级（缓存映射与命中率）、异常控制和进程、链接与虚拟内存。部分学校还会掺一点系统优化和 CPU 流水线的选择题，但主线永远在这六块里。

这六个板块不是均匀分布的。从我做过的题和历年卷来看，计算型题目占了至少一半分值，尤其是数据表示和缓存这两块，几乎是必考的计算大题；栈帧题通常以“读汇编填 C 代码”或者“画出某时刻的栈内布局”的形式出现，属于最容易拉开差距的部分；进程与信号则多是简答和跟踪代码输出，考基本功，只要理解父子进程的语义就比较好拿分。

我一开始复习时犯的最大错误，是把大量时间花在读教材和看网课上。不是没用，而是效率太低。后来我把截止到期末的所有作业题、课堂判断题、往年卷子放在一起，按板块重新归类，才发现同一类题型反复出现，“题感”这东西其实是可以在练习里训练出来的。所谓题感，就是看到“IEEE 754 单精度”几个字，你立刻知道接下来要做哪四步：符号位、阶码、尾数、十六进制拼接。

1.2 一张表筛出高频考法，把精力押在计算型题目上

用表格的方式把考点和题型对应起来，是我复习时做的第一件事。不同学校出题风格会有差异，但大致可以参考下面这张权重表：

我不是让大家只按权重复习、放弃其他章节，而是说心里要有杆秤。如果你只剩三天，与其把链接里的 PLT/GOT 每条细节背到想吐，不如把浮点转换和缓存三步法练熟，后者的投入产出比高得多。那些看起来很难的“偏门题”，在卷面上通常只占一两个选择，不值得你挤占主线计算题的时间。

另一个容易被忽略的地方是：这门课的判断题和填空题特别喜欢考“边界”。比如补码的最小值是多少、浮点数的阶码全 1 时代表什么、对齐规则里嵌套结构体按哪个成员对齐。这些边界值是出题人的舒适区，也是刷题时最容易“一眼带过”的知识点。我在错题本里专门给这类问题开了一栏，后面会详细说。

2. 刷题时最容易丢分的五个隐蔽点，我替你试过错

2.1 补码与条件码：差一位符号就翻车

先看一个我在选择题里栽过两次的坑：char a = 0x7f; char b = 0x01; 相加后 CF 和 OF 分别是多少？很多人会把 CF 和 OF 搞混，或者干脆都填 0。实际上，0x7F 加 0x01 的结果是 0x80。如果按无符号数看，128 小于 256，没有产生进位，所以 CF = 0；如果按有符号数看，127 加 1 等于 128，超出了 signed char 的最大值 127，产生了溢出，所以 OF = 1。

这里的关键想明白就不难了：CF 是无符号运算的进位/借位标志，OF 是有符号运算的溢出标志。CPU 不清楚你把它当有符号还是无符号来用，它只负责同时打出这两个标志；至于你选择看哪个，取决于你的指令操作数类型。x86 的条件跳转指令也因此分成两套：无符号用 ja/jb，有符号用 jg/jl。很多笔试题不会让你写汇编，而是直接问“这段 if 编译器会翻译成先比较哪个标志”，这时候你就得自己心里过一遍。

这类题的止损办法是不要背“CF=进位”这种干巴巴的定义，而是用具体数值算。每次做题都拿一个八位小例子算一遍：0xFF + 0x01，CF=1，OF=0；0x7F + 0x01，CF=0，OF=1。算过几次之后，条件码就不再是一个抽象概念，而是和 ALU 行为完全绑定的结果。

2.2 浮点数手推：别只背 32 位布局

浮点转换是数据表示板块里最容易拿分、也最容易粗心丢分的题型。教材会把单精度格式拆成符号位、阶码、尾数三个部分，阶码用偏置 127，尾数隐含 1。只要你按“十进制 → 二进制 → 规格化科学计数法 → 位模式 → 十六进制”这个固定流程走，大部分题目都能顺利推出来。

以 322.25 为例，第一步把它转成二进制：322 是 101000010，0.25 是 0.01，合起来是 101000010.01b。第二步规格化，写成 1.0100001001 × 2^8。到这里先停一下，很多人会在这一步出错，把指数算成 9 或 7，原因是小数点位置没数对。用笨办法验证：101000010.01b 小数点在从右往左第 9 位（2^8 位）的右侧，所以指数一定是 8。

第三步拼阶码：指数 8，加上偏置 127，等于 135，二进制是 10000111。第四步拼尾数：去掉规格化以后小数点前面的 1，只保留 0100001001，后面补零到 23 位。最后把三部分按顺序拼起来：符号位 0，阶码 10000111，尾数 0100001001 加 13 个 0。按四位一组分组，得到 0100 0011 1010 0001 0010 0000 0000 0000，也就是十六进制 0x43A12000。

浮点数里还有一个要命的地方，就是非规格化数和特殊值。人如果只记公式，碰到阶码全 0 的题目容易懵。记住一点：阶码全 0 时，数是零或非规格化数，尾数不需要隐含 1；阶码全 1 时，尾数全 0 是无穷大，尾数非全 0 是 NaN。考卷上的选择题特别喜欢把这些边界情况凑在一起，让你排大小。

2.3 结构体对齐与内存布局：算对不算满分，要把根据写出来

结构体sizeof的问题，低年级课程里会学，系统课考试里会变着花样出现，因为内存布局直接关系到栈帧偏移和缓存命中。典型陷阱是：

struct S1 { char a; int b; char c; };

如果你直接算 1 + 4 + 1 = 6，那这道题就白给分了。实际在默认 4 字节对齐规则下，a占 1 字节后，b必须从 4 字节对齐的偏移 4 开始，于是中间空出 3 个字节；c排到偏移 8，整个结构体要满足最大成员对齐（4 字节），所以末尾还要补 3 个字节，最终sizeof(struct S1)是 12。如果把字段顺序改成int b; char a; char c;，大小就变成 8。

我给你的建议是：考试时不要只在答案处写一个数字。在草稿纸上画出字节格子，把每个成员的位置和 padding 区域标出来，再写“总大小”三个字。阅卷老师如果看见你的推导过程，即使最终答案因为某一个对齐单位算错，也能靠中间步骤给你一部分分。这个习惯还能帮你避开嵌套结构体的坑：嵌套结构体的大小，不是把所有字段加起来，而是先算内部结构体的大小和有效对齐单位，再按外层规则继续布局。

3. 汇编与栈帧题怎么破——别硬背规则，会画栈图就稳了

3.1 寄存器与调用约定，其实是用来“推导”的

很多同学看到 x86-64 的一大堆寄存器就头大，心想“这么多规则我哪背得完”。后来我意识到，考试题根本不需要背完整张寄存器表，你只需要掌握一套“推导逻辑”。这套逻辑的核心只有三条：参数通过寄存器传递，返回值放在%rax，栈顶由%rsp维护，帧指针%rbp用来还原栈位置；某些寄存器是调用者保存，某些是被调用者保存。

调用者保存和被调用者保存的划分看起来麻烦，但理解起来很容易：如果某个寄存器里的值是调用者后续还要用的，调用者就得在call之前自己保存到栈上；被调用者如果要用某个约定好的“非易失”寄存器，就得在入口处先压栈，返回前再恢复。考试题里只要看到函数入口处有push %rbx，马上就能判断出该函数内部必然会修改%rbx；看到add $16, %rsp再pop %rbp，就能判断出栈空间回收完成。

做这种题，我的经验是先划两列：左边写寄存器状态，右边写内存状态。跟着指令一行行走，每动一次就更新一个变量。人脑在短时间内的寄存器状态更新并不容易，但如果把每条指令对应的值写在纸面上，错误率能降下一大截。

3.2 一次完整的调用：从 caller 画到 callee，再到返回

一道典型的栈帧题会给你这样一段汇编，让你还原 C 代码或画出调用栈：

sum: push %rbp mov %rsp, %rbp sub $16, %rsp mov %edi, -4(%rbp) mov %esi, -8(%rbp) mov -4(%rbp), %eax add -8(%rbp), %eax mov %eax, -16(%rbp) mov -16(%rbp), %eax leave ret

你可以一眼看出这是一个带两个参数的函数，参数分别存在%edi和%esi，返回值放在%eax。画栈图时，从 main 调用 sum 的那一刻开始：call sum会先把返回地址压栈，然后跳进 sum；sum 的push %rbp把调用者的帧指针保存下来；mov %rsp, %rbp把当前栈顶设为新帧的基准；sub $16, %rsp开辟局部空间。这时候，栈的分布自上而下是：调用者局部变量区、返回地址、保存的 rbp、sum 的局部变量区。你只要把这个模型画出来，后面的-4(%rbp)、-8(%rbp)、-16(%rbp)全部能对号入座。

在纸上做题时，我建议自己拿一个简单的洋葱图：外层是调用者，内层是被调用者，每次调用就往里包一层，每次返回就剥一层。考试题如果考栈溢出或缓冲区，它一定会让你指出某个数组越界以后破坏了保存的 rbp 还是返回地址，你会画这个洋葱图就比死记硬背安全得多。

从这里还能延伸出一个很常考的点：小端序在内存中的表示。栈里存的 8 字节地址，在纸上写地址序列时，低字节会在低地址处，所以打印出来的字节顺序和逻辑数字顺序是反的。碰到“给定某变量地址，问连续字节内容”的题，十个人里有八个会栽在大端小端上。我的口诀是：写字节序列时从低地址开始，看到多字节整数就把最低有效位放在最前面。

4. 缓存题的三步走：拆地址、排表格、数命中

4.1 用两组参数把一个地址劈成三段

缓存题往往是整套卷子里最“套路化”的题目，只要方法对了，其实非常机械。第一步永远是：搞清楚缓存参数。你需要知道块大小、组数和相联度三个硬指标。块偏移位数b等于log2(块字节数)；组索引导出s等于log2(组数)；标签t就是地址总位数减去这两个值。

举例：一个缓存总容量 512 字节，块大小 16 字节，采用 2 路组相联。那么块数 = 512 / 16 = 32，组数 = 32 / 2 = 16。块偏移位b = 4，组索引位s = 4。如果给一个 16 位地址 0x1234，先把二进制写出来：0001 0010 0011 0100。低 4 位是块内偏移 0100，即 4；接下来 4 位是组索引 0011，即 3；剩下高位是标签，00010010，即 0x12。

这一步看着简单，实际上有两个非常容易写反的点。一是有人会把“组数”和“块数”搞混，直接拿总容量去取对数，导致索引偏大、标签偏小。二是有人会漏掉偏移位，直接把整个地址的低 4 位当索引。我建议每次做题都在草稿纸角落先写一遍公式：偏移 4、索引 4、标签剩余。哪怕最后题目很简单，这个三行小公式也能帮你定位错误的来源。

4.2 访问序列与 LRU：用表格记账才不容易出错

第二类缓存题不是给单个地址，而是给一串访问顺序，让你统计命中率。模拟 LRU 替换策略时，光凭脑子想很容易乱。我用的是表格记账法：每一列代表一个访问步骤，每一行记录一个缓存行正在存哪个块，再标上时间戳或先后顺序。

比如一个 4 块、2 路组相联、每块 16 字节的缓存，现在访问块号序列：0、0、2、2、1、1、0。由于每组有 2 行，块号对组数 2 取模决定去哪个组，所以块 0 和块 1 争抢组 0，块 2 和块 3 争抢组 1。过程如下：

从这个表格能看得很清楚：并不是容量够大、组数够多，就一定能避免冲突缺失。只要循环访问模式和你缓存映射方式相撞，2 路组相联也会全部缺失。考试题如果问你“为什么这块数组访问命中率这么低”，答案往往就在这里：步长等于缓存行数，导致所有访问都挤在同一组。

关于写策略还要多提醒一句。如果题目只让你统计读命中，那不需要管写分配还是写不分配；一旦题目里出现写操作，你就要判断是“写分配 + 写回”还是“写不分配 + 写直通”。按大多数教材的默认设置，是“写分配 + 写回”，但考试题偶尔会刻意写成非默认配置。这时候不要装懂，直接在题目给的策略下重新推一遍，哪怕结果和你熟知的默认值不同也对。

5. 实验作业和卷面题之间只有一堵薄墙

5.1 调试器里看到的栈帧，和手画栈图是一套东西

很多同学把实验和笔试当两回事：做实验时打开调试器，能跟着线索走通就万事大吉；等到考试看到一张栈帧图又觉得陌生得不行。其实实验就是笔试最好的训练场，尤其是那些靠调试器反汇编来解决问题的实验。你在实验里观察到的每一个返回地址、每一条栈上新开辟的空间，都和你第 3 小节里画的手工栈图完全对得上。

我记得第一次在调试器里来回看栈帧时，有点困惑的是，进去一层之后，编译器可能因为优化把%rbp直接用成通用寄存器，让你看不到传统帧指针。后来我才明白，这不是实验环境的问题，而是优化等级不同。考试题如果明确写了“编译选项 O0 未优化”，那大概率有标准%rbp帧；如果没写，你最好先默认不优化。实验里如果能主动对比开优化和不开优化两种情况，你对栈帧的理解会非常扎实。

5.2 把实验中的“工具流”带进复习，而不是带进考场

实验给你留下的另一个财富是一整套验证工具。复习刷题时，我经常在纸面上推完一个结果后，写个极简单的小程序，把printf打印出来的位模式和我手推的结果对照一下。浮点转换推完 0x43A12000，我就用代码直接把浮点数转成十六进制检查；结构体大小算完，我也调一条sizeof的命令验证。这不在考场上帮你，但能让你不把错误结论当成经验背进脑子。

真正的考场是不允许开调试器的。为了习惯这一点，我后来给自己定了一条规矩：一张白纸、一支笔，把实验里见过的反汇编流程在纸面上重演一遍，只许在复习阶段用调试器检查答案。刚开始会很痛苦，因为你会觉得“反正我能用机器算，何必手算”。但这种手感恰恰是考试需要的。等你连续画过五张栈图、拆过十个地址之后，再看卷面上的汇编代码，就和你打开调试器看内存差不多。

6. 做题家收尾：错题本、二刷节奏，以及考场时间怎么分

6.1 错题本不是抄题，是给各章建“易错索引”

到了期末那几天，我最大的成就感不是来自做了多少套模拟卷，而是来自一本分类的错题本。做错题的方式很重要，不要写一个大题配一个正确答案就完事。我建议每道错题记录四行内容：题型关键词、我的错误答案、正确流程、一句话口诀。

举个例子，我错题本里有一行是这样写的：题型是“缓存地址拆分”，我的错误答案是“把偏移位算成 3”，正确流程是“先看块大小 16，偏移位固定 4，再取组索引”，口诀是“先劈低位，再看组号；标签留下”。这种写法让我考前最后一天不用把整本卷子重做一遍，只需要把错题本里每一行的口诀过一遍，就能快速唤起记忆。

我还习惯给每个章节建一个“易错索引”，也就是把错题按章节频率做一个排序。数据表示和缓存两个板块的错题往往最多，这不是坏事，反而说明考试主战场就在那里。你把高频错题补完之后，卷面上最值钱的计算大题基本就稳了。

6.2 考前一周的节奏与一张够用的时间分配

最后一周，我按三条线走：前三天，把每个板块的“标准流程”手推一遍，浮点转十六进制、缓存拆地址、画栈帧，每类至少练三道；中间三天，重做错题本，接着找个同学互相讲题，讲一遍往往比做一遍更能暴露盲区；最后一天，只翻口诀表和错题索引，不再开新题。这套节奏的好处是，考前头一天晚上你不会因突如其来的难题而焦虑，因为该踩的坑早就踩过了。

考场上我的时间分配是：选择题和填空题无论如何控制在一小时内，因为后面一定有需要长时间推演的计算题；中间留给浮点、缓存和汇编大题，这类题只要流程对，拿分很稳定，宁可多花十分钟打草稿，也不要跳过去；最后留二十分钟检查边界条件。检查时我有个固定动作：凡是涉及到补码、溢出、sizeof、缓存命中的题，重新确认一遍“有没有把无符号和有符号搞混”“有没有按照 8 字节对齐”“有没有写分配策略”。

最后分享一个让我真正从“刷题家”变成“讲题人”的细节：二刷错题时，不要只看自己会不会，而要假装旁边有个同学问你“为什么这里要用 CF 而不是 OF”。能说清楚这个为什么，才说明你不是在背答案，而是在构建整个计算机系统的思维模型。这也是计算机系统这门课最迷人的地方——表面上考的是位、栈和缓存，实际上练的是你理解一台机器从行为到机制的能力。