简介计算机系统结构张晨曦、王志英等编著高等教育出版社的课后答案文档面向计算机专业本科生、考研复习者及期末备考人群用于课后习题对照和核心概念梳理。资源包内共1个文件为doc格式文档大小约1.23MB便于打印或电子阅读。该文档已被468人学习下载。内容按教材章节组织系统覆盖层次结构、虚拟机机制、翻译与解释、Amdahl定律、程序局部性原理、CPI、系列机与软件兼容、模拟与仿真、并行性与耦合度以及同构/异构多处理机等核心考点同时给出系统结构、计算机组成与实现关系的实例说明以及有效CPI、MIPS、程序执行时间、并行性等级等典型习题的解题步骤可帮助快速检验学习效果强化期末和考研复习中的重点难点。对理解透明性、耦合度等易混淆概念也有直接帮助整体是较为实用的备考资料。1. 计算机系统结构课后答案不是拿来对答案的是拿来校准思路的拿到张晨曦、王志英主编的《计算机系统结构》高等教育出版社教材的课后答案大多数人第一反应是全文核对一遍作业。但系统结构这门课真正卡人的不是最终数值而是流水线时空图、加速比推导、Tomasulo 表格、Cache 命中率这类计算流程。答案只给结果不给过程对不上号时最需要的是一套能复现的解题框架。下文按教材主线拆开流水线、指令级并行、存储层次三类题型的计算套路再用一套带脚本的反向验证方法收尾适合期末复习、考研复试和给低年级讲题的一线工程师。2. 计算机系统结构流水线性能计算先画时空图再谈加速比2.1 教材流水线题的三种固定模型张晨曦版教材的流水线课后题几乎全部落在三种模型上经典五段流水线取指、译码、执行、访存、写回、带分支延迟槽的单发射流水线、以及超标量多发射流水线。审题第一步不是找公式而是确认属于哪种模型因为周期算法、停顿判定和转发forwarding假设完全不同。经典五段流水线给 n 条指令、k 段理想完成周期是 n k - 1每出现一次相关就加对应停顿拍数。停顿必须逐指令对检查比如相邻两条指令有写后读依赖且不转发时第二条得停两拍等前一条写回。大量课后答案的数值差异就出在这一拍两拍的计数上。提示写答案先画时空图指令按行、时钟按列停顿画空白格。图对账、公式汇总两套结果对不上说明中间漏了停顿。2.2 用 Python 脚本核算停顿总数手工画完时空图我习惯再用一段小程序把总数核一遍专抓低级笔误def pipeline_cycles(n, k, stalls): n: 指令总数 k: 流水线段数 stalls: 指令下标到停顿拍数的映射键从 0 开始 返回: (总周期数, 每条指令的流出时刻列表) total 0 flow_out [] for i in range(n): total 1 stalls.get(i, 0) # 发射占 1 拍加上插在该指令前的停顿 flow_out.append(total k - 1) # 从发射到写回还需 k-1 拍 return total k - 1, flow_out total, out pipeline_cycles(10, 5, {2: 2, 6: 1}) print(总周期:, total) print(各指令流出时刻:, out)参数说明stalls的键是从 0 编号的指令下标值是插入在该指令发射前的停顿数。累加时每条指令固定占 1 拍最后统一加k - 1对应第一条指令之后剩余的排空阶段等价于教材公式 n k - 1 总停顿。把脚本输出的流出时刻和手绘时空图逐行对照能立刻定位是哪条指令的停顿数数错了。超标量题不能直接套这个函数它假设每拍只发射一条指令多发射需要按发射槽分拍建模。2.3 三类冒险的判定与分值写法冒险判定题按教材口径整理成下表冒险类型触发条件无转发停顿有转发停顿常见题眼RAW写后读上一条写回本指令读寄存器2 拍01 拍相邻指令寄存器依赖控制冒险分支结果未确定PC 无法更新23 拍1 拍延迟槽分支指令两侧指令结构冒险同拍争用同一部件1 拍1 拍单端口存储器WAW / WAR仅在乱序执行中出现视调度而定重命名消除Tomasulo 排序题判定顺序是先看寄存器依赖再看功能部件是否空闲最后看分支方向三步按序输出就能拿全踩点分。控制冒险分值最高分支延迟槽有三种填充策略从前调度、从目标处调度、从失败路径调度三者的加速比不同。参考答案里通常只写一种答题前必须看清题目问的是「可选用哪种」还是「最优选哪种」。2.4 加速比、吞吐率与效率的换算口径算完周期数题目往往追加三个指标加速比 非流水总时间 / 流水总时间吞吐率 指令数 / 总周期效率 吞吐率 / 理想吞吐率即 n /n k - 1 总停顿。这套式子的坑在时钟周期口径若题目说「流水线把时钟周期压缩为原来的 1/k」非流水线的基准周期要按压缩前算若只说「每段延迟相等且时钟周期不变」就按原周期直接乘。教材部分习题默认前者、部分默认后者课后答案对不上时先查口径不要急着怀疑公式。举个数5 段流水跑 100 条指令零相关非流水 500 周期流水 104 周期加速比约 4.8 而非理想值 5差额来自装入和排空阶段的 k-1 拍这个数本身就是常见填空答案。3. 指令级并行与动态调度Tomasulo 表格的填法决定得分3.1 静态调度与动态调度各考什么教材的指令级并行章节里课后题分两大类一类是静态调度循环展开加寄存器重命名后重排指令序列另一类是动态调度给指令流要求在表格里填 Tomasulo 算法的保留站与寄存器状态变化。后者失分最狠因为总有人想把每个时钟周期的每个栏位都填满实际上只有发射、执行完成、CDB 广播三个事件需要更新对应行。Tomasulo 填表原则缩成三句话发射阶段把指令放入保留站目标寄存器状态指向该保留站执行完成阶段保留站标记就绪寄存器状态表不动CDB 广播阶段同时更新等待该结果的保留站和等待该结果的寄存器。每个事件一行阅卷按行给分。事件保留站变化寄存器状态表变化发射写入指令及操作数来源Qj、Qk目标寄存器指向该保留站编号执行完成值就绪等待 CDB不变CDB 广播依赖此结果的 Qj、Qk 清空目标寄存器恢复为就绪3.2 循环展开与寄存器重命名的参数选择静态调度的核心计算是展开因子。展开后寄存器编号按固定步长递增步长必须大于循环体内「某寄存器最后一次被读的周期」与「该寄存器再次被定义的周期」之差否则展开后照样有 RAW。硬件寄存器个数又给展开因子设上限两条约束夹出来的整数就是答案。def rename_registers(body_regs, unroll, stride, reg_total): body_regs: 循环体内寄存器列表如 [R0, R1, R2] unroll: 展开次数 stride: 每次迭代寄存器编号增量 reg_total: 硬件寄存器总数超出上限时报错 result [] for i in range(unroll): for reg in body_regs: num int(reg[1:]) i * stride if num reg_total: raise ValueError(fR{num} 超出上限需减小 unroll 或 stride) result.append(fR{num}) return result print(rename_registers([R0, R1, R2], unroll3, stride3, reg_total32))参数说明stride由循环体内的依赖距离决定计算方法是找出同一条指令里被读又被写的寄存器统计从读到写的周期距离这是调用该函数前的手工步骤。reg_total一超限要么把unroll减半要么改用「循环级并行」重新描述两种改法在答案里方向完全不同注明选择原因比写对最终周期数更值分。3.3 手动调度表的三条检查规则调度表标准格式是三列时钟周期、发射的指令、发生了什么。运算延迟按题目默认值填常见口径下浮点加 2 拍、浮点乘 4 拍乘加混合题的执行阶段容易对齐错。画完表自查三遍。第一遍看 CDB 冲突同一周期只能广播一条结果两条指令同时执行完必须有优先级。第二遍看保留站容量发射时保留站满指令等待此时时钟周期照常前进。第三遍看重命名映射新名与原名的对应关系写反整张表作废。三条查完再对比参考答案基本一次能对上对不上时把三个事件逐行标注很快能找出漏掉的那条。4. 存储层次与 Cache 计算命中率、平均访存时间、失效开销4.1 容量与地址划分先换算再做题Cache 题第一问基本都是容量换算。以 8KB Cache、32B 块、4 路组相联、32 位地址为例组数 8KB /32B × 4 64 组索引位 log2(64) 6 位块内偏移位 log2(32) 5 位标记位 32 - 6 - 5 21 位。把地址线画成标记、索引、偏移三段后面所有小题都围绕这三个数展开第一问算错后面全错。最容易翻车的是寻址单位。块大小给 32B 按字节寻址偏移 5 位若题干写「32 个字且字长 4B」偏移就是 7 位其中 2 位是字号。很多答案差异不是替换策略算错而是开局单位不统一审题先花十秒确认按字节还是按字。4.2 平均访存时间的完整公式链所有 Cache 计算题最终落在一个公式平均访存时间 命中时间 缺失率 × 缺失代价。替换策略只影响缺失率和缺失代价不改变公式结构。两级 Cache 题目先分别算 L1、L2 的命中时间和缺失代价再逐级代入。写策略写命中开销写缺失处理替换时额外动作题目陷阱写直达同时写主存耗时高通常写分配无漏算写主存时间写回只写 Cache写分配为主脏块按比例写回漏乘脏块比例写回 Cache 的缺失代价含不含替换写回取决于题干有没有给脏块比例。题干不提脏块参考答案默认不含专门给了脏块比例就必须按比例加权进缺失代价。这个「给没给」的判断决定答案对错。举个数值命中时间 1 周期、缺失率 5%、缺失代价 20 周期平均访存时间 1 0.05 × 20 2 周期把缺失率换成 2%答案变成 1.4中间量变化直接由公式链可见。4.3 用 Python 数命中率组相联加 LRU 不再数错填空题经常给一串地址要求算命中率。直接映射好数组相联加 LRU 手画表容易漏替换用字典模拟每组的路from collections import OrderedDict def hit_rate(accesses, sets, ways): 模拟组相联 Cache 加 LRU 替换返回命中率 cache {i: OrderedDict() for i in range(sets)} hits 0 for addr in accesses: set_idx addr % sets # 真实硬件取地址中间位演示简化成取模 if addr in cache[set_idx]: hits 1 cache[set_idx].move_to_end(addr) # 命中后移到队尾表示最近使用 else: cache[set_idx][addr] True if len(cache[set_idx]) ways: cache[set_idx].popitem(lastFalse) # 弹出队头即最久未用 return hits / len(accesses) seq [0x00, 0x08, 0x00, 0x06, 0x08, 0x08, 0x00, 0x06] print(f命中率: {hit_rate(seq, sets2, ways2):.2%})参数说明sets是组数ways是每组路数两者乘积等于 Cache 总块数。move_to_end把刚访问的地址移到队尾表示最近使用popitem(lastFalse)从队头弹出最久未用的块。地址序列按题干进制原样输入十六进制就用 0x 前缀。脚本结果和手算不一致时打印每次替换前的组状态一眼能看出哪一步踢错了块。5. 用教学模拟器和断言代码反向验证课后答案5.1 模拟器验证前先对齐三个默认配置复习阶段把课后题分成两类能机器验证的流水线时序、Cache 命中、Tomasulo 表格和只能手推的互联拓扑死锁、一致性协议状态机。前者建议找一套教学模拟器跑比如 STAR COP2018 这类覆盖计算机组成原理与系统结构的实验软件把题目指令序列输入进去观察各阶段状态和停顿位置。开跑前先对齐三个配置流水线段数、分支预测策略、是否开启转发。这三个参数是课后题最爱埋的隐含假设与题目不符时以题目为准手动改模拟器配置而不是反过来改题。5.2 用断言把中间量钉死在答案链条上与其整道题重做把答案里的关键中间量写成断言更省事。以平均访存时间为例hit_time 1 # 命中时间来自题干 miss_rate 0.05 # 缺失率来自上一问计算结果 miss_penalty 20 # 缺失代价来自题干或写策略判断 assert abs((hit_time miss_rate * miss_penalty) - 2.0) 1e-9 print(平均访存时间验证通过: 2.0 周期)断言失败时不改公式把三个常数逐一替换成自己的中间值保证每次只动一项先把出错项孤立出来再查这一项算错在哪一步。三个常数各自注释来源对不上的时候逐项二分排查速度比重新翻答案快得多。复试被追问时把「先用模拟器对齐隐含假设、再用断言钉中间量、最后只动常数」这套流程讲清楚比直接背参考答案更能站得住。本文还有配套的精品资源点击获取