很多学计算机组成原理的同学第一次被“程序转移”这个概念绕晕往往不是在课堂讲义里而是在实验台上。你用 THINPAD、COP2000 或者其它教学实验系统辛辛苦苦连完线、写好微程序结果按下单步运行PC 就是不按你预想的地址跳指令流水卡死在原地那一刻才真正体会到什么叫“理论一套硬件一套”。这次上海大学的计算机组成原理实验第七个专题就是程序转移机制。标题看着简单背后其实把 PC 的工作方式、微程序控制器的分支能力、标志位寄存器的作用甚至整条指令流水线都串起来了。这篇文章我就把这个实验从头到尾拆开讲把自己调试时踩过的坑、最后跑通的思路连带着期末常见的问答题方向一起整理出来。1. 程序转移机制到底在解决什么问题1.1 从顺序执行说起PC 才是程序运行的“命根子”在单周期模型机里程序的“当前位置”完全由程序计数器 PC 决定。CPU 执行指令的顺序过程可以压缩成三句话把 PC 指向的内存单元读出来送到指令寄存器 IRPC 自己加 1指向下一条指令控制逻辑根据 IR 译码执行这条指令。这听起来没啥难度但问题是如果 CPU 永远只会“从头到尾一条条跑”那它就只是个昂贵的计算器连 if、循环、函数调用都实现不了。真实程序里大量存在“不按顺序走”的情况某个条件成立就跳到另一段代码循环要反复回到同一地址子程序执行完还要返回下一条指令。要让处理器支持这些场景唯一的方法就是在指令执行过程中去改写 PC 的内容。程序转移机制本质上就是回答一个问题指令在什么时机、通过什么方式、按什么条件去修改 PC。这次模型机实验里PC 不是你在高级语言里直接赋值的那种寄存器它是一个可以“加 1”的计数器同时支持“并行置数”。顺序执行时控制信号把 PC1 的结果送回去遇到转移指令时控制信号把目标地址并行写入 PC。这两个操作在硬件上对应不同的控制位实验连线时经常会混淆。我印象很深的一个现场是实验箱上 PC 的“计数允许”和“装载允许”是两个独立引脚很多人把两者接到同一路信号上结果每次 PC 加 1 的同时又被目标地址覆盖程序直接飞掉。这其实就是对 PC 功能模型理解不到位。你只有先在脑袋里建立“PC 是状态元件加 1 和置数是两个操作”的图景后面调试才有方向。1.2 无条件转移和条件转移一个靠“信封”一个靠“闸门”按条件分程序转移分成两种。无条件转移比如 JMP就像收到一封信信封上明确写了“下一封信在哪个地址”CPU 不需要问任何人拿到地址就把 PC 改了。条件转移比如 BZC则像过闸门能不能跳要看你口袋里有没有通行证这个通行证就是标志位。模型机里最常用的标志是 Z零标志和 C进位/借位标志。ALU 完成一次运算后会同步产生这些标志。如果运算结果是 0Z1如果最高位产生进位C1。条件转移指令在执行阶段先去读标志寄存器判断条件是否成立。成立则把目标地址写入 PC不成立则 PC 继续加 1相当于什么都没发生按顺序走了。这里有一个关键点标志位不是“总是最新的”而是“在 ALU 运算后的特定时刻被锁存”。如果锁存时机不对或者你在标志位还没刷新时就去判断那条件转移就会变成“碰运气”。我在实验里遇到过一次 BZC 指令明明结果显示为 0却就是不跳转查了半天发现是标志寄存器的锁存信号比 ALU 结果晚了一个时钟周期判断的时候拿到的还是上一次运算的旧标志。所以说条件转移表面上是“改 PC”实际上涉及到 ALU 运算、标志生成、标志锁存、条件判断、目标地址生成一整条链路。你光盯着 PC 和地址总线是找不出问题的得顺着这条链路一级一级查。1.3 实验里两个层次都要“转”指令级和微程序级很多初次接触微程序控制的同学会对一个现象感到困惑模型机里的“程序转移”和“微程序转移”到底啥关系其实这是两个层次的转移。第一层是指令级的转移。你写的机器语言程序里有 JMP 指令、BZC 指令执行后 PC 改变程序的执行流改变。第二层是微程序级的转移。在微程序控制器内部每条机器指令对应一段微程序这段微程序由若干条微指令组成。正常情况下微指令一条接一条地执行但如果遇到“根据标志位选择不同下一条微指令”的情况微地址就要发生分支。也就是说你在实验里写微程序时不仅要处理 JMP 这种“程序级跳转”还要处理微指令自身的“下址分支”。最典型的就是 BZC 指令的微程序判断完 Z 标志后如果条件成立微地址跳到“把目标地址写入 PC”的那条微指令如果条件不成立微地址跳到“结束本条指令”的微指令。这个分支是靠微指令里的“顺序控制字段”和“下址字段”完成的不是靠 PC。当年我写微程序时第一版把 BZC 的微程序写成了纯粹的线性序列不信邪觉得“反正判断完就跳呗”。结果跑起来之后Z1 和 Z0 走的路径一模一样。后来才意识到微程序控制器里的“选择下一条微指令”是有专门硬件的不是靠条件转移指令来完成的因为微程序本身在被控制器执行而不是被 CPU 当作普通程序执行。2. 实验平台与指令系统设计2.1 实验环境概览8 位模型机是怎么搭起来的上海大学的计算机组成原理实验用的平台是典型的教学型 8 位模型机。这种实验系统通常包含这么几个核心部分8 位 ALU算术逻辑单元完成加、减、与、或、非等运算输出 Z、C 标志。寄存器组一般至少有一个累加器 A、一个暂存器 B、一个地址寄存器 MAR可能还有通用寄存器 R0/R1。RAM存放机器指令和数据地址线和数据线通常都是 8 位。程序计数器 PC支持加 1 和并行置数。指令寄存器 IR存放当前取出的指令。微程序控制器由控制存储器ROM、微地址寄存器等构成。实验的第一步通常是连接“数据通路”。数据总线是公用的谁想往总线上发数据谁就把自己的输出使能信号拉起来谁想从总线上收数据谁就把自己的装载信号拉起来。控制信号密密麻麻有几十根。编程时我习惯先用“数据通路图”把每个部件过一遍。打个比方数据总线就像一条公共走廊每个房间都有一扇门门上有两把锁一把是“出门锁”输出使能一把是“进门锁”装载使能。你不可能同时让两个房间的人都走到走廊上不然就撞车了。这个比喻对于理解总线冲突非常实用。2.2 本次实验用到的指令集一个能跑循环的最小集合为了演示程序转移机制实验通常不是让你实现一整套复杂指令集而是设计一个“能跑起来”的最小指令集。我当时的指令表大概是这样的助记符二进制编码功能说明IN00000000A ← 输入设备从拨码开关读入一个数到累加器ADD00001000A ← A RAM[addr]累加器和内存单元相加结果送回 ASTA00010000RAM[addr] ← A把累加器内容存入内存单元JMP00100000PC ← addr无条件跳转BZC00110000若 Z1则 PC ← addr零标志为 1 时跳转机器的指令格式分两段高 4 位是操作码低 4 位是地址字段或者是直接数据。因为是 8 位模型机一条指令本身既包含操作码又包含操作数的地址所以一条指令往往占一个字长8 位寻址空间也有限。有些实验平台为了扩展地址会设计成两个字节的指令格式第一个字节是操作码第二个字节是目标地址。这里我建议你在动手之前先把指令格式画清楚哪几位是操作码哪几位是地址。否则连线时很容易把地址字段接到了 ALU 的数据输入上转移目标就全乱了。2.3 一段能演示转移的小程序循环累加实验里可以写一段很简单的程序先输入一个数把它加到累加器里然后循环若干次最后把结果存入指定内存单元。核心代码伪汇编可以这样设计START: IN ; 累加器读入开关值 STA TEMP ; 存入临时变量 LOOP: ADD TEMP ; 累加器加上 TEMP多次循环相当于乘 2 BZC DONE ; 如果进位/零标志满足就结束 JMP LOOP ; 无条件回到 LOOP DONE: STA RESULT ; 结果保存 JMP START ; 回到开头重新演示这段程序的亮点在于它同时用到了无条件转移JMP LOOP和条件转移BZC DONE。运行时你可以拨动开关设置初始值观察 PC 地址在 LOOP 和 DONE 之间来回跳。若把这段程序逐条翻译成机器码注意每个指令的地址字段要准确对应到 LOOP、DONE 的地址有一处错整个跳转就全偏了。这个例子也正好回应当初搜到的一个热词“计算机组成原理实验计数器”——计数器在实验里不只是 PC 实现整个循环次数也依赖计数器的变化来体现。你可以在累加的同时用一个内存单元做计数器加一次减一次条件转移判断计数是否到 0这就是计数器和程序转移的经典配合。3. 核心细节解析微程序控制器如何实现转移3.1 微指令的格式控制字段、顺序字段和下址字段在微程序控制的模型机里控制存储器的每一行就是一条微指令。一条微指令通常分成三段微操作控制字段控制各部件动作的各个命令位比如 PC 加 1、IR 装载、ALU 选通、RAM 写使能等。顺序控制字段决定下一条微指令的地址来源。常见有三种顺序执行当前微地址1、无条件跳转到指定微地址、根据条件选择跳转或顺序执行。下址字段存放目标微地址配合顺序控制字段使用。微指令字长通常有 24 位到 32 位不等每一位或每一组位都对应一条控制信号。实验报告里经常要求你列出每条微指令的完整二进制编码这时候就得老老实实地按位填。我写微程序的时候喜欢先用助记符写流程再翻译成二进制。比如取指周期那段微程序可以写成步骤微指令功能描述对应的关键控制信号T1PC 内容送地址总线同时 MAR←PCPC_OUT, MAR_INT2RAM 读IR←RAM 数据RAM_READ, IR_INT3PC 加 1准备取下一条指令PC_INCT4根据指令操作码译码跳转到对应微程序入口顺序控制“分支”这里要注意T1 到 T4 是时序节拍信号一个节拍可以做不少事但若同一节拍里两个部件同时占用总线就会冲突。比如 T1 动作是“PC 送到地址总线”和“MAR 装入地址”这两个其实是一条数据通路的一个是输出使能一个是输入使能可以同一时刻进行。但如果你再加一个“IR 装载”那就乱了因为 IR 要从数据总线接收 RAM 的数据RAM 的数据得等地址稳定后才有效。3.2 为什么条件转移要用“微地址分支”而不是“判断后顺序走”回到刚才说的 BZC 指令。它的微程序流程可以这样画取指周期: 送 PC 到 MAR读内存IR ← 数据 PC ← PC1 根据 IR 操作码转入 BZC 的微程序入口 BZC 执行周期: 微地址分支 若 Z1下一位微地址 BZC_TRUE 若 Z0下一位微地址 BZC_FALSE BZC_TRUE: 目标地址(指令低4位) → PC 转下一条机器指令 BZC_FALSE: 不做事直接转下一条机器指令看到没有BZC 执行周期里一开始就需要按 Z 标志“兵分两路”。这时微程序控制器并不是像普通 CPU 执行 BZ 指令那样去改 PC而是通过微指令顺序控制字段去选择不同的下址。这种分支在硬件上通常由一个多路选择器完成顺序控制字段告诉选择器“选下址字段”还是“选当前地址1”条件选择时标志位作为选择器的控制端决定选哪个地址。很多同学实验报告里写“BZC 指令执行时若 Z1 则 PC←addr”但落实到微程序还需要回答一个问题我怎么知道 Z 是不是 1答案就是微程序先根据 Z 标志做了微地址分支跳转到两条不同微指令中的一条然后其中一条才执行 PC←addr。这个“微地址分支”是条件转移得以实现的底层机制。我在实际调 BZC 时犯过另一个错把“判断 Z”放在 ALU 运算的同一个节拍里。但 BZC 本身并不做 ALU 运算Z 标志是之前一条指令比如 ADD产生的。如果我在取指完成后立刻判断 Z此时标志寄存器里保存的确实是“当前最新标志”因为标志寄存器并没有被 BZC 清零。但要注意如果中间你读取 RAM 或做地址计算可能把标志覆盖掉了所以实验连线上要特别留意标志位锁存信号的作用范围。3.3 时序控制单周期、多周期和等待状态在这个实验里控制器会按照固定节拍工作。比如一个机器周期包含 T1、T2、T3、T4。取指阶段占几个节拍执行阶段占几个节拍这是由微程序的长度决定的。多周期设计的好处是不同指令可以有不同的微程序长度条件转移就可以在额外微指令里慢慢判断。调整时序时我发现一个规律RAM 的读时序往往比门电路慢。你地址送过去了数据线未必稳定需要等一小段时间。有些实验系统里会用“就绪信号”或“等待信号”来插入等待节拍。如果不在连线前查清楚 RAM 的读写时序很容易出现“IR 拿到的数据是乱的”进而导致译码错误、转移到完全错误的微地址去。这个时序问题也解释了为什么程序转移调试那么在意“单步执行”。单步时你可以用示波器或实验箱的指示灯看到每个节拍的控制信号但如果时序本来就不对你看到的只会是一堆“看起来合理但就是不对”的信号。4. 实操过程全记录4.1 微程序编写与装载我当时是先用一个表格把每条微指令的行号微地址、控制字段、顺序控制字段、下址字段全部列出来再翻译成十六进制数据写入控制存储器。以 8 位控制存储器为例一条微指令可能长这样地址 00: 控制字段0x81, 顺序控制0x0, 下址0x01 ; 取指第一步 地址 01: 控制字段0x0C, 顺序控制0x0, 下址0x02 ; 读内存IR锁存 ...不同实验平台的位分配完全不同所以不能照搬。但流程是可以参考的先确定每条微指令要操作的部件再检查是否存在总线冲突最后编码。装载微程序时实验箱通常提供“手动置数”模式你可以用拨码开关逐条写入控制存储器的每个地址。这个操作很枯燥但极其适合用来检查连线你写好一条微指令后地址加 1看控制信号灯是否按预期亮起。4.2 把汇编指令翻译成机器码并写入 RAM汇编程序翻译成机器码时地址计算最容易出错。拿上一节的循环程序举例子地址 0x00: IN - 0x00 地址 0x01: STA TEMP - 0x10, 地址字段指向 0x04 (假设 TEMP04) 地址 0x02: LOOP, ADD TEMP - 0x08, 地址字段 0x04 地址 0x03: BZC DONE - 0x30, 地址字段 0x06 (假设 DONE06) 地址 0x04: TEMP ; 存放临时数据 地址 0x05: JMP LOOP - 0x20, 地址字段 0x02 地址 0x06: DONE, STA RESULT - 0x10, 地址字段 0x04 地址 0x07: RESULT自己手工算一算就会发现JMP LOOP 指令放在地址 0x05它的地址字段是 0x02指向 LOOP 所在地址。BZC 的地址字段指向 DONE 地址 0x06。这几个地址只要错一位程序要么不跳转要么跳到错误位置。RAM 写的时候实验箱上一般也有“存储写”模式。把指令按地址写入后我们应该再读取一遍验证。别嫌麻烦很多“程序不跳转”的 bug最后查出来根本不是 CPU 设计问题而是 RAM 里数据写错位了。4.3 单步调试与运行结果验证把程序和微程序都装载完毕后进入运行模式。建议先单步执行观察每个节拍后的信号状态。我习惯记一张运行状态表步骤PC 值IR 值A 寄存器Z 标志现象初始0x00--000等待输入第 1 条 IN0x010x000x050拨码开关输入 5第 2 条 STA0x020x100x050存入 TEMP第 3 条 ADD0x030x080x0A0A5510第 4 条 BZC0x040x300x0A0Z0不跳继续第 5 条 JMP0x050x200x0A0无条件跳回 0x02第 6 次到第 N 次............循环直到出现 0当 A 一直累加直到变成某个值的低 8 位为 0 时Z 标志变成 1。此时 BZC 才会真正跳转跳到 DONE。为了能观察到这个效果可以给累加器设一个较小的初始值比如 128加 128 次就能看到进位和归零。若初始值是奇数循环会非常久甚至死循环下去。如果你发现单步执行时PC 一直加 1并没跳到 LOOP那问题肯定出在“JMP 目标地址写入 PC”这一步。检查微程序里对应的“PC 装载”信号有没有拉起来以及地址总线上送过来的目标地址是不是正确。很多实验箱信号灯可以直观显示地址总线上的值比看 PC 寄存器本身更直观。5. 排查实录程序转移不生效的常见原因5.1 PC 不自增计数器和置数冲突现象单步执行时 PC 一直在同一个地址反复或者 PC 加 1 之后立刻被清掉。排查顺序先看 PC 的始终节拍 T 信号是否正常。计数器的“加 1”是边沿触发的如果 SET并行置数信号也同时有效两者的优先级可能冲突。再看 PC 的输出使能是不是在某个节拍一直拉着导致加 1 的结果无法写回。我遇到过一次很坑的情况PC 加 1 的控制信号接到了“时钟信号”上而不是“控制字段位”上。每次时钟下降沿PC 就不由分说地加 1根本不受微程序控制。所以检查连接时一定要确认“PC_INC”接的是控制字段位而不是固定脉冲源。5.2 条件转移判断的是旧标志现象明明当前 ALU 结果已经是 0BZC 却不跳转。原因通常是标志寄存器的更新时间点比 BZC 判断的时间点晚。比如 ALU 的运算结果要到某个节拍末端才稳定而你在这个节拍中间就去采样 Z 标志拿到的是之前的值。处理办法确认 ALU 运算完成后有专门的“标志锁存脉冲”节拍。在微程序流程中应该在产生运算结果的指令比如 ADD执行周期里插入一步“锁存标志”然后再执行下一条指令。BZC 判断时才能用到新的 Z。另外有一种情况容易忽略你手动复位系统时标志寄存器可能没有初始化为 0。如果复位后 Z 一开始就是 1那第一条 BZC 就有可能会误跳。建议每次运行前做一次全系统复位并且观察标志位指示灯状态。5.3 转移目标地址算错指令格式里的地址字段搞混现象JMP 指令执行完后PC 没有变成你预期的地址而是变成了某个乱七八糟的值。排查思路把 JMP 指令的二进制码写出来。比如 JMP 的操作码是 0x20目标地址是 LOOP0x02那指令二进制应该是 0010 0010也就是 0x22。如果你把操作码和目标地址直接拼接时把地址字段放在了高 4 位那就变成 0x20 和 0x02 调转了PC 就会跳到 0x20 或 0x02 的错误位置。这类问题看起来低级但在实验现场特别常见尤其是手写机器码的时候。所以我建议写完一段 RAM 数据后用“反汇编”的方式再读一遍地址 0x05 处是 0x22对应 JMP LOOP不是 ADD。5.4 微地址分支设计失误条件永远选择同一路现象BZC 指令无论 Z 标志是 0 还是 1走的都是同一条路径。原因多半是微指令的顺序控制字段没有配置成分支类型而是配成了“无条件顺序执行”或“无条件跳转”导致下址选择器的控制信号根本没有接入标志位。我记得自己第一次写微程序时顺序控制字段只用了两位一位表示“是否跳转”一位表示“跳转目标来源”。结果微程序控制器实际需要三位一位表示“是否分支”一位表示“条件标志选择”所以无论 Z 怎么变它都当作“无条件跳转”。这提醒我微程序设计的文档必须写清楚“顺序控制字段”的编码含义。不同实验平台的微指令规范差异很大参考实验手册表格时别想当然。5.5 系统总线冲突同一时间两个部件同时输出现象运行结果不稳定有时能跳转有时不能或者总线上数据全是一堆“1”。这是实验里最容易遇到也最难排查的问题。如果某个节拍上有两个模块同时把数据送到总线上总线数据就不是确定值。比如你想要“PC→MAR”和“IR←数据”同时发生但 PC 输出和 IR 输入在同一时刻占用了总线而此时 RAM 也想输出数据冲突就出现了。解决方法是把微程序的每个节拍的动作都画成一张“总线占用表”看每个节拍有哪些输出使能有效。如果超过一个就拆成两个节拍或者重新安排操作顺序。这个习惯虽然前期麻烦但能省下大量调试时间。6. 从实验到考试程序转移机制的常考考点6.1 问答题高频方向“程序转移机制”是计算机组成原理课程期末和考研的常客。常见问法有这么几个程序转移指令的执行过程是什么和顺序执行有何不同条件转移指令为什么要依赖状态标志寄存器标志是怎么产生的无条件转移和条件转移在硬件实现上有什么区别转移指令对指令流水线有什么影响为什么流水 CPU 里分支预测很重要微程序控制器的微地址转移和机器指令的程序转移有什么关系和区别回答这些问题的关键是把“PC 加 1”和“PC 置数”两种操作分清楚。条件转移不成立时PC 照常加 1条件成立时PC 被目标地址覆盖。同时要能说明标志位是 ALU 运算的“副产品”而不是天上掉下来的。6.2 期末题型举一反三画流程、算地址、设计微指令期末题经常给你一段汇编代码让你分析程序最终结果或者画出包含 JMP/BZC 的指令微程序流程图。还有一类题是给你微指令格式的位定义让你设计 BZC 指令的微代码。做微程序流程图时建议按“取指周期”和“执行周期”两部分画。取指周期对所有指令都相同执行周期则按操作码分支。对于 BZC执行周期里必须先画一个菱形判断框判断 Z再分两支一支带 PC←addr一支空操作。菱形判断之前的“读标志”动作不要漏了。计算地址的题目要小心指令格式里的“寻址方式”。如果在 8 位模型机里指令的地址字段只有 4 位那寻址范围就有限实验时可以结合“组间串行进位”的方法扩展 ALU 的位数但这属于 ALU 设计层面。考研题里经常把 ALU 的进位方式和指令寻址结合起来出题比如“若 ALU 采用组间串行进位则运算产生的进位输出会跨越小组边界对标志位 C 的形成有什么影响”。这类题核心是理解进位链的结构和标志形成时间。6.3 从实验报告到项目经验下一步还能做什么做完程序转移实验之后模型机已经具备了一定的“编程能力”。如果你觉得不过瘾想继续扩展可以考虑几个方向增加子程序调用指令 CALL 和返回指令 RET此时需要引入“栈”的概念也就需要额外的堆栈寄存器或内存区。增加“间接寻址”或“变址寻址”让目标地址可以动态变化程序转移会更灵活。在硬件层面加一个简单的分支预测逻辑哪怕只是“总是预测不跳转”也能直观感受到预测失败的惩罚。这些扩展虽然超出实验要求但对理解现代 CPU 的分支预测单元帮助很大。本科实验做到这步能让你对指令流水线和乱序执行有个直观的认知基础。以我个人的体会程序转移机制这个实验是整个计算机组成原理课程里“看起来最小实际上最黏人”的一个。你花在调 JMP/BZC 上的每一分钟最后都会在理解处理器指令流水线、分支预测、异常处理机制时值回票价。当时我在实验台上折腾了半个下午最后发现只是一个“置数/计数”控制信号接反了那种又气又爽的感觉可能每个做过硬件的同学都懂。条件转移指令的微程序分支就像软件里的 if 落到硬件上的投影一个三选一的多路选择器一个标志位几根控制线构成了程序世界里所有“分叉”的基础。想通这一点这门课就算真的入门了。 程序转移机制：从PC到微程序控制器的完整实战解析
很多学计算机组成原理的同学第一次被“程序转移”这个概念绕晕往往不是在课堂讲义里而是在实验台上。你用 THINPAD、COP2000 或者其它教学实验系统辛辛苦苦连完线、写好微程序结果按下单步运行PC 就是不按你预想的地址跳指令流水卡死在原地那一刻才真正体会到什么叫“理论一套硬件一套”。这次上海大学的计算机组成原理实验第七个专题就是程序转移机制。标题看着简单背后其实把 PC 的工作方式、微程序控制器的分支能力、标志位寄存器的作用甚至整条指令流水线都串起来了。这篇文章我就把这个实验从头到尾拆开讲把自己调试时踩过的坑、最后跑通的思路连带着期末常见的问答题方向一起整理出来。1. 程序转移机制到底在解决什么问题1.1 从顺序执行说起PC 才是程序运行的“命根子”在单周期模型机里程序的“当前位置”完全由程序计数器 PC 决定。CPU 执行指令的顺序过程可以压缩成三句话把 PC 指向的内存单元读出来送到指令寄存器 IRPC 自己加 1指向下一条指令控制逻辑根据 IR 译码执行这条指令。这听起来没啥难度但问题是如果 CPU 永远只会“从头到尾一条条跑”那它就只是个昂贵的计算器连 if、循环、函数调用都实现不了。真实程序里大量存在“不按顺序走”的情况某个条件成立就跳到另一段代码循环要反复回到同一地址子程序执行完还要返回下一条指令。要让处理器支持这些场景唯一的方法就是在指令执行过程中去改写 PC 的内容。程序转移机制本质上就是回答一个问题指令在什么时机、通过什么方式、按什么条件去修改 PC。这次模型机实验里PC 不是你在高级语言里直接赋值的那种寄存器它是一个可以“加 1”的计数器同时支持“并行置数”。顺序执行时控制信号把 PC1 的结果送回去遇到转移指令时控制信号把目标地址并行写入 PC。这两个操作在硬件上对应不同的控制位实验连线时经常会混淆。我印象很深的一个现场是实验箱上 PC 的“计数允许”和“装载允许”是两个独立引脚很多人把两者接到同一路信号上结果每次 PC 加 1 的同时又被目标地址覆盖程序直接飞掉。这其实就是对 PC 功能模型理解不到位。你只有先在脑袋里建立“PC 是状态元件加 1 和置数是两个操作”的图景后面调试才有方向。1.2 无条件转移和条件转移一个靠“信封”一个靠“闸门”按条件分程序转移分成两种。无条件转移比如 JMP就像收到一封信信封上明确写了“下一封信在哪个地址”CPU 不需要问任何人拿到地址就把 PC 改了。条件转移比如 BZC则像过闸门能不能跳要看你口袋里有没有通行证这个通行证就是标志位。模型机里最常用的标志是 Z零标志和 C进位/借位标志。ALU 完成一次运算后会同步产生这些标志。如果运算结果是 0Z1如果最高位产生进位C1。条件转移指令在执行阶段先去读标志寄存器判断条件是否成立。成立则把目标地址写入 PC不成立则 PC 继续加 1相当于什么都没发生按顺序走了。这里有一个关键点标志位不是“总是最新的”而是“在 ALU 运算后的特定时刻被锁存”。如果锁存时机不对或者你在标志位还没刷新时就去判断那条件转移就会变成“碰运气”。我在实验里遇到过一次 BZC 指令明明结果显示为 0却就是不跳转查了半天发现是标志寄存器的锁存信号比 ALU 结果晚了一个时钟周期判断的时候拿到的还是上一次运算的旧标志。所以说条件转移表面上是“改 PC”实际上涉及到 ALU 运算、标志生成、标志锁存、条件判断、目标地址生成一整条链路。你光盯着 PC 和地址总线是找不出问题的得顺着这条链路一级一级查。1.3 实验里两个层次都要“转”指令级和微程序级很多初次接触微程序控制的同学会对一个现象感到困惑模型机里的“程序转移”和“微程序转移”到底啥关系其实这是两个层次的转移。第一层是指令级的转移。你写的机器语言程序里有 JMP 指令、BZC 指令执行后 PC 改变程序的执行流改变。第二层是微程序级的转移。在微程序控制器内部每条机器指令对应一段微程序这段微程序由若干条微指令组成。正常情况下微指令一条接一条地执行但如果遇到“根据标志位选择不同下一条微指令”的情况微地址就要发生分支。也就是说你在实验里写微程序时不仅要处理 JMP 这种“程序级跳转”还要处理微指令自身的“下址分支”。最典型的就是 BZC 指令的微程序判断完 Z 标志后如果条件成立微地址跳到“把目标地址写入 PC”的那条微指令如果条件不成立微地址跳到“结束本条指令”的微指令。这个分支是靠微指令里的“顺序控制字段”和“下址字段”完成的不是靠 PC。当年我写微程序时第一版把 BZC 的微程序写成了纯粹的线性序列不信邪觉得“反正判断完就跳呗”。结果跑起来之后Z1 和 Z0 走的路径一模一样。后来才意识到微程序控制器里的“选择下一条微指令”是有专门硬件的不是靠条件转移指令来完成的因为微程序本身在被控制器执行而不是被 CPU 当作普通程序执行。2. 实验平台与指令系统设计2.1 实验环境概览8 位模型机是怎么搭起来的上海大学的计算机组成原理实验用的平台是典型的教学型 8 位模型机。这种实验系统通常包含这么几个核心部分8 位 ALU算术逻辑单元完成加、减、与、或、非等运算输出 Z、C 标志。寄存器组一般至少有一个累加器 A、一个暂存器 B、一个地址寄存器 MAR可能还有通用寄存器 R0/R1。RAM存放机器指令和数据地址线和数据线通常都是 8 位。程序计数器 PC支持加 1 和并行置数。指令寄存器 IR存放当前取出的指令。微程序控制器由控制存储器ROM、微地址寄存器等构成。实验的第一步通常是连接“数据通路”。数据总线是公用的谁想往总线上发数据谁就把自己的输出使能信号拉起来谁想从总线上收数据谁就把自己的装载信号拉起来。控制信号密密麻麻有几十根。编程时我习惯先用“数据通路图”把每个部件过一遍。打个比方数据总线就像一条公共走廊每个房间都有一扇门门上有两把锁一把是“出门锁”输出使能一把是“进门锁”装载使能。你不可能同时让两个房间的人都走到走廊上不然就撞车了。这个比喻对于理解总线冲突非常实用。2.2 本次实验用到的指令集一个能跑循环的最小集合为了演示程序转移机制实验通常不是让你实现一整套复杂指令集而是设计一个“能跑起来”的最小指令集。我当时的指令表大概是这样的助记符二进制编码功能说明IN00000000A ← 输入设备从拨码开关读入一个数到累加器ADD00001000A ← A RAM[addr]累加器和内存单元相加结果送回 ASTA00010000RAM[addr] ← A把累加器内容存入内存单元JMP00100000PC ← addr无条件跳转BZC00110000若 Z1则 PC ← addr零标志为 1 时跳转机器的指令格式分两段高 4 位是操作码低 4 位是地址字段或者是直接数据。因为是 8 位模型机一条指令本身既包含操作码又包含操作数的地址所以一条指令往往占一个字长8 位寻址空间也有限。有些实验平台为了扩展地址会设计成两个字节的指令格式第一个字节是操作码第二个字节是目标地址。这里我建议你在动手之前先把指令格式画清楚哪几位是操作码哪几位是地址。否则连线时很容易把地址字段接到了 ALU 的数据输入上转移目标就全乱了。2.3 一段能演示转移的小程序循环累加实验里可以写一段很简单的程序先输入一个数把它加到累加器里然后循环若干次最后把结果存入指定内存单元。核心代码伪汇编可以这样设计START: IN ; 累加器读入开关值 STA TEMP ; 存入临时变量 LOOP: ADD TEMP ; 累加器加上 TEMP多次循环相当于乘 2 BZC DONE ; 如果进位/零标志满足就结束 JMP LOOP ; 无条件回到 LOOP DONE: STA RESULT ; 结果保存 JMP START ; 回到开头重新演示这段程序的亮点在于它同时用到了无条件转移JMP LOOP和条件转移BZC DONE。运行时你可以拨动开关设置初始值观察 PC 地址在 LOOP 和 DONE 之间来回跳。若把这段程序逐条翻译成机器码注意每个指令的地址字段要准确对应到 LOOP、DONE 的地址有一处错整个跳转就全偏了。这个例子也正好回应当初搜到的一个热词“计算机组成原理实验计数器”——计数器在实验里不只是 PC 实现整个循环次数也依赖计数器的变化来体现。你可以在累加的同时用一个内存单元做计数器加一次减一次条件转移判断计数是否到 0这就是计数器和程序转移的经典配合。3. 核心细节解析微程序控制器如何实现转移3.1 微指令的格式控制字段、顺序字段和下址字段在微程序控制的模型机里控制存储器的每一行就是一条微指令。一条微指令通常分成三段微操作控制字段控制各部件动作的各个命令位比如 PC 加 1、IR 装载、ALU 选通、RAM 写使能等。顺序控制字段决定下一条微指令的地址来源。常见有三种顺序执行当前微地址1、无条件跳转到指定微地址、根据条件选择跳转或顺序执行。下址字段存放目标微地址配合顺序控制字段使用。微指令字长通常有 24 位到 32 位不等每一位或每一组位都对应一条控制信号。实验报告里经常要求你列出每条微指令的完整二进制编码这时候就得老老实实地按位填。我写微程序的时候喜欢先用助记符写流程再翻译成二进制。比如取指周期那段微程序可以写成步骤微指令功能描述对应的关键控制信号T1PC 内容送地址总线同时 MAR←PCPC_OUT, MAR_INT2RAM 读IR←RAM 数据RAM_READ, IR_INT3PC 加 1准备取下一条指令PC_INCT4根据指令操作码译码跳转到对应微程序入口顺序控制“分支”这里要注意T1 到 T4 是时序节拍信号一个节拍可以做不少事但若同一节拍里两个部件同时占用总线就会冲突。比如 T1 动作是“PC 送到地址总线”和“MAR 装入地址”这两个其实是一条数据通路的一个是输出使能一个是输入使能可以同一时刻进行。但如果你再加一个“IR 装载”那就乱了因为 IR 要从数据总线接收 RAM 的数据RAM 的数据得等地址稳定后才有效。3.2 为什么条件转移要用“微地址分支”而不是“判断后顺序走”回到刚才说的 BZC 指令。它的微程序流程可以这样画取指周期: 送 PC 到 MAR读内存IR ← 数据 PC ← PC1 根据 IR 操作码转入 BZC 的微程序入口 BZC 执行周期: 微地址分支 若 Z1下一位微地址 BZC_TRUE 若 Z0下一位微地址 BZC_FALSE BZC_TRUE: 目标地址(指令低4位) → PC 转下一条机器指令 BZC_FALSE: 不做事直接转下一条机器指令看到没有BZC 执行周期里一开始就需要按 Z 标志“兵分两路”。这时微程序控制器并不是像普通 CPU 执行 BZ 指令那样去改 PC而是通过微指令顺序控制字段去选择不同的下址。这种分支在硬件上通常由一个多路选择器完成顺序控制字段告诉选择器“选下址字段”还是“选当前地址1”条件选择时标志位作为选择器的控制端决定选哪个地址。很多同学实验报告里写“BZC 指令执行时若 Z1 则 PC←addr”但落实到微程序还需要回答一个问题我怎么知道 Z 是不是 1答案就是微程序先根据 Z 标志做了微地址分支跳转到两条不同微指令中的一条然后其中一条才执行 PC←addr。这个“微地址分支”是条件转移得以实现的底层机制。我在实际调 BZC 时犯过另一个错把“判断 Z”放在 ALU 运算的同一个节拍里。但 BZC 本身并不做 ALU 运算Z 标志是之前一条指令比如 ADD产生的。如果我在取指完成后立刻判断 Z此时标志寄存器里保存的确实是“当前最新标志”因为标志寄存器并没有被 BZC 清零。但要注意如果中间你读取 RAM 或做地址计算可能把标志覆盖掉了所以实验连线上要特别留意标志位锁存信号的作用范围。3.3 时序控制单周期、多周期和等待状态在这个实验里控制器会按照固定节拍工作。比如一个机器周期包含 T1、T2、T3、T4。取指阶段占几个节拍执行阶段占几个节拍这是由微程序的长度决定的。多周期设计的好处是不同指令可以有不同的微程序长度条件转移就可以在额外微指令里慢慢判断。调整时序时我发现一个规律RAM 的读时序往往比门电路慢。你地址送过去了数据线未必稳定需要等一小段时间。有些实验系统里会用“就绪信号”或“等待信号”来插入等待节拍。如果不在连线前查清楚 RAM 的读写时序很容易出现“IR 拿到的数据是乱的”进而导致译码错误、转移到完全错误的微地址去。这个时序问题也解释了为什么程序转移调试那么在意“单步执行”。单步时你可以用示波器或实验箱的指示灯看到每个节拍的控制信号但如果时序本来就不对你看到的只会是一堆“看起来合理但就是不对”的信号。4. 实操过程全记录4.1 微程序编写与装载我当时是先用一个表格把每条微指令的行号微地址、控制字段、顺序控制字段、下址字段全部列出来再翻译成十六进制数据写入控制存储器。以 8 位控制存储器为例一条微指令可能长这样地址 00: 控制字段0x81, 顺序控制0x0, 下址0x01 ; 取指第一步 地址 01: 控制字段0x0C, 顺序控制0x0, 下址0x02 ; 读内存IR锁存 ...不同实验平台的位分配完全不同所以不能照搬。但流程是可以参考的先确定每条微指令要操作的部件再检查是否存在总线冲突最后编码。装载微程序时实验箱通常提供“手动置数”模式你可以用拨码开关逐条写入控制存储器的每个地址。这个操作很枯燥但极其适合用来检查连线你写好一条微指令后地址加 1看控制信号灯是否按预期亮起。4.2 把汇编指令翻译成机器码并写入 RAM汇编程序翻译成机器码时地址计算最容易出错。拿上一节的循环程序举例子地址 0x00: IN - 0x00 地址 0x01: STA TEMP - 0x10, 地址字段指向 0x04 (假设 TEMP04) 地址 0x02: LOOP, ADD TEMP - 0x08, 地址字段 0x04 地址 0x03: BZC DONE - 0x30, 地址字段 0x06 (假设 DONE06) 地址 0x04: TEMP ; 存放临时数据 地址 0x05: JMP LOOP - 0x20, 地址字段 0x02 地址 0x06: DONE, STA RESULT - 0x10, 地址字段 0x04 地址 0x07: RESULT自己手工算一算就会发现JMP LOOP 指令放在地址 0x05它的地址字段是 0x02指向 LOOP 所在地址。BZC 的地址字段指向 DONE 地址 0x06。这几个地址只要错一位程序要么不跳转要么跳到错误位置。RAM 写的时候实验箱上一般也有“存储写”模式。把指令按地址写入后我们应该再读取一遍验证。别嫌麻烦很多“程序不跳转”的 bug最后查出来根本不是 CPU 设计问题而是 RAM 里数据写错位了。4.3 单步调试与运行结果验证把程序和微程序都装载完毕后进入运行模式。建议先单步执行观察每个节拍后的信号状态。我习惯记一张运行状态表步骤PC 值IR 值A 寄存器Z 标志现象初始0x00--000等待输入第 1 条 IN0x010x000x050拨码开关输入 5第 2 条 STA0x020x100x050存入 TEMP第 3 条 ADD0x030x080x0A0A5510第 4 条 BZC0x040x300x0A0Z0不跳继续第 5 条 JMP0x050x200x0A0无条件跳回 0x02第 6 次到第 N 次............循环直到出现 0当 A 一直累加直到变成某个值的低 8 位为 0 时Z 标志变成 1。此时 BZC 才会真正跳转跳到 DONE。为了能观察到这个效果可以给累加器设一个较小的初始值比如 128加 128 次就能看到进位和归零。若初始值是奇数循环会非常久甚至死循环下去。如果你发现单步执行时PC 一直加 1并没跳到 LOOP那问题肯定出在“JMP 目标地址写入 PC”这一步。检查微程序里对应的“PC 装载”信号有没有拉起来以及地址总线上送过来的目标地址是不是正确。很多实验箱信号灯可以直观显示地址总线上的值比看 PC 寄存器本身更直观。5. 排查实录程序转移不生效的常见原因5.1 PC 不自增计数器和置数冲突现象单步执行时 PC 一直在同一个地址反复或者 PC 加 1 之后立刻被清掉。排查顺序先看 PC 的始终节拍 T 信号是否正常。计数器的“加 1”是边沿触发的如果 SET并行置数信号也同时有效两者的优先级可能冲突。再看 PC 的输出使能是不是在某个节拍一直拉着导致加 1 的结果无法写回。我遇到过一次很坑的情况PC 加 1 的控制信号接到了“时钟信号”上而不是“控制字段位”上。每次时钟下降沿PC 就不由分说地加 1根本不受微程序控制。所以检查连接时一定要确认“PC_INC”接的是控制字段位而不是固定脉冲源。5.2 条件转移判断的是旧标志现象明明当前 ALU 结果已经是 0BZC 却不跳转。原因通常是标志寄存器的更新时间点比 BZC 判断的时间点晚。比如 ALU 的运算结果要到某个节拍末端才稳定而你在这个节拍中间就去采样 Z 标志拿到的是之前的值。处理办法确认 ALU 运算完成后有专门的“标志锁存脉冲”节拍。在微程序流程中应该在产生运算结果的指令比如 ADD执行周期里插入一步“锁存标志”然后再执行下一条指令。BZC 判断时才能用到新的 Z。另外有一种情况容易忽略你手动复位系统时标志寄存器可能没有初始化为 0。如果复位后 Z 一开始就是 1那第一条 BZC 就有可能会误跳。建议每次运行前做一次全系统复位并且观察标志位指示灯状态。5.3 转移目标地址算错指令格式里的地址字段搞混现象JMP 指令执行完后PC 没有变成你预期的地址而是变成了某个乱七八糟的值。排查思路把 JMP 指令的二进制码写出来。比如 JMP 的操作码是 0x20目标地址是 LOOP0x02那指令二进制应该是 0010 0010也就是 0x22。如果你把操作码和目标地址直接拼接时把地址字段放在了高 4 位那就变成 0x20 和 0x02 调转了PC 就会跳到 0x20 或 0x02 的错误位置。这类问题看起来低级但在实验现场特别常见尤其是手写机器码的时候。所以我建议写完一段 RAM 数据后用“反汇编”的方式再读一遍地址 0x05 处是 0x22对应 JMP LOOP不是 ADD。5.4 微地址分支设计失误条件永远选择同一路现象BZC 指令无论 Z 标志是 0 还是 1走的都是同一条路径。原因多半是微指令的顺序控制字段没有配置成分支类型而是配成了“无条件顺序执行”或“无条件跳转”导致下址选择器的控制信号根本没有接入标志位。我记得自己第一次写微程序时顺序控制字段只用了两位一位表示“是否跳转”一位表示“跳转目标来源”。结果微程序控制器实际需要三位一位表示“是否分支”一位表示“条件标志选择”所以无论 Z 怎么变它都当作“无条件跳转”。这提醒我微程序设计的文档必须写清楚“顺序控制字段”的编码含义。不同实验平台的微指令规范差异很大参考实验手册表格时别想当然。5.5 系统总线冲突同一时间两个部件同时输出现象运行结果不稳定有时能跳转有时不能或者总线上数据全是一堆“1”。这是实验里最容易遇到也最难排查的问题。如果某个节拍上有两个模块同时把数据送到总线上总线数据就不是确定值。比如你想要“PC→MAR”和“IR←数据”同时发生但 PC 输出和 IR 输入在同一时刻占用了总线而此时 RAM 也想输出数据冲突就出现了。解决方法是把微程序的每个节拍的动作都画成一张“总线占用表”看每个节拍有哪些输出使能有效。如果超过一个就拆成两个节拍或者重新安排操作顺序。这个习惯虽然前期麻烦但能省下大量调试时间。6. 从实验到考试程序转移机制的常考考点6.1 问答题高频方向“程序转移机制”是计算机组成原理课程期末和考研的常客。常见问法有这么几个程序转移指令的执行过程是什么和顺序执行有何不同条件转移指令为什么要依赖状态标志寄存器标志是怎么产生的无条件转移和条件转移在硬件实现上有什么区别转移指令对指令流水线有什么影响为什么流水 CPU 里分支预测很重要微程序控制器的微地址转移和机器指令的程序转移有什么关系和区别回答这些问题的关键是把“PC 加 1”和“PC 置数”两种操作分清楚。条件转移不成立时PC 照常加 1条件成立时PC 被目标地址覆盖。同时要能说明标志位是 ALU 运算的“副产品”而不是天上掉下来的。6.2 期末题型举一反三画流程、算地址、设计微指令期末题经常给你一段汇编代码让你分析程序最终结果或者画出包含 JMP/BZC 的指令微程序流程图。还有一类题是给你微指令格式的位定义让你设计 BZC 指令的微代码。做微程序流程图时建议按“取指周期”和“执行周期”两部分画。取指周期对所有指令都相同执行周期则按操作码分支。对于 BZC执行周期里必须先画一个菱形判断框判断 Z再分两支一支带 PC←addr一支空操作。菱形判断之前的“读标志”动作不要漏了。计算地址的题目要小心指令格式里的“寻址方式”。如果在 8 位模型机里指令的地址字段只有 4 位那寻址范围就有限实验时可以结合“组间串行进位”的方法扩展 ALU 的位数但这属于 ALU 设计层面。考研题里经常把 ALU 的进位方式和指令寻址结合起来出题比如“若 ALU 采用组间串行进位则运算产生的进位输出会跨越小组边界对标志位 C 的形成有什么影响”。这类题核心是理解进位链的结构和标志形成时间。6.3 从实验报告到项目经验下一步还能做什么做完程序转移实验之后模型机已经具备了一定的“编程能力”。如果你觉得不过瘾想继续扩展可以考虑几个方向增加子程序调用指令 CALL 和返回指令 RET此时需要引入“栈”的概念也就需要额外的堆栈寄存器或内存区。增加“间接寻址”或“变址寻址”让目标地址可以动态变化程序转移会更灵活。在硬件层面加一个简单的分支预测逻辑哪怕只是“总是预测不跳转”也能直观感受到预测失败的惩罚。这些扩展虽然超出实验要求但对理解现代 CPU 的分支预测单元帮助很大。本科实验做到这步能让你对指令流水线和乱序执行有个直观的认知基础。以我个人的体会程序转移机制这个实验是整个计算机组成原理课程里“看起来最小实际上最黏人”的一个。你花在调 JMP/BZC 上的每一分钟最后都会在理解处理器指令流水线、分支预测、异常处理机制时值回票价。当时我在实验台上折腾了半个下午最后发现只是一个“置数/计数”控制信号接反了那种又气又爽的感觉可能每个做过硬件的同学都懂。条件转移指令的微程序分支就像软件里的 if 落到硬件上的投影一个三选一的多路选择器一个标志位几根控制线构成了程序世界里所有“分叉”的基础。想通这一点这门课就算真的入门了。