玻尔百科计算机上的每一次点击、每一次按键、每一次计算，最终都会被简化为处理器能够理解的一系列基本命令。但CPU的基本语言到底是什么？本文将通过探索其基本构建模块——操作码及其操作数，来揭开所有计算核心的神秘面纱。我们将弥合高级编程与驱动硬件的原始电信号之间的鸿沟。在第一章“原理与机制”中，您将学习机器指令的剖析、计算机体系结构中的关键设计权衡，以及指令周期的优雅逻辑。第二章“应用与跨学科联系”将展示这些基本原理如何应用于从编译器设计、操作系统到复杂的网络安全和虚拟机等不同领域。读完本文，您将看到这种简单的二元性如何构成了统一硬件和软件的通用语言。
想象一下，你正在教一个头脑极其简单但速度快得惊人的助手如何执行任务。这个助手只懂一种语言，一种纯数字的语言。你不能说“把五和三相加”，你必须给它一个表示“加法”的数字代码命令，然后再提供“五”和“三”的数字代码。这本质上就是计算机中央处理器（CPU）的语言。每一个程序，从你正在使用的网页浏览器到最复杂的科学模拟，最终都被翻译成一长串这种被称为机器指令的基本命令。
这种语言的核心在于一种优美而简单的二元性，这是任何命令的基本结构：动词和名词。在计算世界中，我们称之为操作码和操作数。
操作码（opcode），即“操作代码”（operation code）的缩写，是动词。它是一个独特的数字模式，告诉CPU做什么：加、减、乘、从内存中取数据，或者跳转到程序的不同部分。操作数（operands）是名词。它们指定了操作将作用于的数据或数据的位置。它们回答了对谁或对什么的问题。
让我们把这个概念具体化。假设我们正在设计一个简单的16位处理器。每条指令都是一个16位的数字。我们可能会决定用前4位作为操作码，剩下的12位作为操作数。这是一种定长指令格式，一种刻板但可预测的句子结构。
一条“将常量值加到主累加寄存器”的指令，其操作码可能为。我们如何组装这条命令？首先，我们将各部分翻译成它们的二进制原生形式。操作码（十进制为）变成。操作数，即常量值，必须放入其12位的字段中。转换后，我们得到。为了构成完整的指令，处理器只需将这些位字段连接起来：
这个单一的16位数字 1101010011111000，就是机器对那整条命令的表达。当CPU的指令解码器看到这个模式时，它就精确地知道该做什么：激活加法电路，并将操作数中编码的值送入其中。
这个将16位字分割成字段的简单行为，揭示了计算机体系结构中一个深刻而无法回避的约束：位预算。对于固定的指令长度，你只有有限数量的位可以“花费”。分配给一个字段的每一位，都不能再用于另一个字段。这就产生了一种持续的张力，一系列架构师必须应对的迷人权衡。
再想象一下我们的16位指令字。假设它是一条双操作数指令，有一个操作码字段和两个用于指定寄存器（CPU内部的临时存储位置）的字段。如果我们的CPU只有8个寄存器（到），我们需要位来唯一标识每一个。对于两个寄存器操作数，我们花费了位在操作数上。在我们的16位指令中，这为操作码留下了位。这允许种唯一的操作——一个丰富的词汇库。
但如果我们想要一个更强大的CPU，拥有16个寄存器（到）呢？现在，每个寄存器操作数需要位。两个操作数字段现在消耗位。在同样的16位指令中，我们的操作码字段缩小到位，将我们的词汇量减少到只有种可能的操作。为了恢复我们更大的词汇量，我们别无选择，只能增加总指令长度。要支持16个寄存器和1024种操作，我们需要一条18位的指令字（位用于操作数 + 位用于操作码）。
这种权衡是普遍存在的。更多的寄存器、更大的内存地址或更复杂的寻址模式都需要更多的位用于操作数，这在一个定长指令的世界里，会挤压操作码的可用空间，反之亦然。
正如人类语言有不同的句子结构一样，机器语言也有不同的指令格式。指定操作数的方式是一个主要的区别特征。“加法”指令应该指明两个源和一个目的地吗？还是这些位置应该是隐含的？这种选择导致了根本不同的架构风格。
考虑计算点积中的一项，。一个三地址寄存器机可能会用如下指令来表达：
LOAD R1, A[i] (Load value from memory address of A[i] into Register 1)LOAD R2, B[i] (Load value from memory address of B[i] into Register 2)MUL R3, R1, R2 (Multiply R1 and R2, store result in R3)每条指令都相当长；例如，算术指令必须编码操作码（MUL）和三个寄存器号（）。内存访问指令需要一个操作码、一个寄存器和地址信息。
相比之下，一个零地址堆栈机依赖于一个后进先出的堆栈来获取其操作数。算术操作隐式地作用于堆栈顶端的一个或两个项目。同样的计算会看起来非常不同：
PUSH A[i] (Push value from memory address of A[i] onto the stack)PUSH B[i] (Push value from memory address of B[i] onto the stack)MUL (Pop top two values, multiply them, push the result back)注意，这里的MUL指令没有操作数！它只是一个操作码。这使得算术指令异常简短和紧凑。然而，你付出了代价：你需要额外的PUSH指令来将数据放到正确的位置。一个有趣的结果出现了：堆栈架构往往有更多的指令数量，但每条指令的平均大小更小。寄存器架构可能执行更少但更长的指令。哪种更好？这取决于你的优化目标。对于一个长循环，寄存器机在整个程序运行期间可能从内存中获取的总位数更少，从而可能提高性能。
在设计一门语言时，它能拥有的最优雅的属性之一就是正交性。在一个正交的指令集中，操作码的选择与操作数或寻址模式的选择是独立的。任何操作都应该能够使用任何有效的方式来指定其数据。这为人类程序员和生成机器代码的编译器软件创造了一个清晰、可预测且易于使用的系统。
然而，许多早期的架构为了提供强大的高级指令，创造了复杂且非正交的设计。考虑一个假设的复杂指令集计算机（CISC）设计，其中一条算术指令有两个操作数，每个操作数可以用6种不同的方式指定（寄存器、立即数常量、四种不同的内存寻址模式）。这为任何给定的操作码提供了种可能的寻址模式组合。
但接着，设计者增加了限制：“不得执行内存到内存的操作”，以及“第一个操作数不能是立即数常量”。突然之间，这36种组合中的大量组合变得非法。在一个特定场景中，这些规则可能会使36对组合中的22对失效，为每个算术操作码只留下14种有效组合。这种语法古怪且充满例外。这使得指令解码器——CPU中解释指令的部分——成为一个充满特殊情况逻辑的复杂怪兽。它也给测试带来了巨大负担，因为你必须验证处理器能正确拒绝成千上万种非法指令组合中的每一种。
精简指令集计算机（RISC）哲学作为对这种复杂性的回应而出现，优先考虑简单性和正交性。在典型的RISC设计中，算术操作只对寄存器进行。如果你想操作内存中的数据，你必须首先用LOAD指令将其加载到寄存器中。这看起来工作量更大，但它产生了一个几乎没有非法组合需要担心的系统。指令解码器更简单、更快、更容易验证。关于为新的“计算前导零”指令使用哪种编码的争论，是设计者努力追求这种正交性的一个真实世界的例子，确保指令中的每个字段都有一个清晰、一致的角色。
我们现在有了我们的语言。机器是如何“阅读”它的呢？这个过程是一个持续的、有节奏的舞蹈，称为取指-解码-执行周期，由一个名为程序计数器（PC）的特殊寄存器来编排。PC总是保存着下一条要执行指令的内存地址。
执行之后，PC必须更新。对于大多数指令，它只是简单地前进到序列中的下一条指令。如果一条指令是，比如说，4字节长，更新就只是。
但计算的真正力量来自于打破这种顺序流程。用于控制流的操作码——跳转、分支和子程序调用——会显式地修改PC。一条JMP（跳转）指令可能会命令CPU将PC设置为一个完全不同的地址，导致执行跳到程序的新部分。条件分支仅在满足某个条件时（例如，如果一个数为零）才这样做，构成了所有if语句和循环的基础。
我们可以通过在一台像PDP-8这样简单的老式机器上跟踪一个小程序来观察这个舞蹈的展开，PDP-8的指令是用八进制（基数为8）编写的。假设PC在地址，那里的指令是。操作码是第一位数字，，意思是“无条件跳转”。操作数，，是目标地址。CPU一步到位，通过将加载到PC中来执行此操作。执行刚刚发生了跳转。下一条被取出的指令来自地址。如果那条指令是一个子程序调用（JMS），机器会首先巧妙地将当前PC位置（“返回地址”）存储在内存中，然后再跳转到子程序，留下一个面包屑，以便稍后能找到回来的路。一个间接跳转随后可以从内存中读取那个面包屑以返回。正是通过这些操纵程序计数器的简单机制，复杂的程序结构得以构建。
PC相对分支的逻辑尤其优雅。分支指令不包含完整的目标地址，而是一个小的偏移量。目标地址计算为“这条指令之后那条指令的地址，加上偏移量”。CPU计算顺序执行的地址，，如果分支被采纳，新的PC就变成。这使得代码位置无关；你可以在内存中移动它，因为分支是相对于当前位置的，所以它们仍然能完美工作。
没有哪种语言是静止的，机器语言也不例外。随着技术进步，架构师希望增加新的指令——用于图形、加密、人工智能。如何在不破坏现有程序的情况下扩展ISA？
对于定长ISA来说，这是一个重大挑战。如果你用完了所有的主操作码值，你就陷入了困境。一个解决方案是使用子操作码字段。某个主操作码值不代表一个操作，而是一整类操作，指令中的另一个字段选择具体的操作。但即使是这个空间也是有限的。如果你的子操作码字段是5位，你最多可以在该类中定义个操作。一旦你定义了32个，再增加第33个就需要进行一次重大的、破坏兼容性的重新设计。有时，设计者可以在编码空间中找到“空洞”——以前被宣布为非法的位模式——并重新利用它们，但这通常是一个混乱且非正交的解决方案。
变长ISA提供了一个更优雅的解决方案：转义前缀。转义前缀是一个特殊的字节，它表示：“不要把我解释成操作码！而是把下一个字节解释成来自另一个扩展集的操作码。”这就像在一种语言中有一个特殊符号，表示下一个词属于一个技术词典。你定义的每一个新的转义前缀都会打开一个全新的包含个操作码的命名空间，为未来的增长提供了巨大的空间。
当然，这种灵活性是有代价的。带有前缀的指令更长，消耗更多的内存和取指带宽。更糟的是，它们使解码变得更难。定长指令机器的解码器知道每条指令都始于，比如说，一个4字节的边界。而变长ISA的解码器必须扫描字节流，识别前缀，并找到操作码的真正起始位置。一连串的多字节指令很容易成为瓶颈，限制了处理器每秒可以执行的指令数量。即使增加像寄存器间接寻址这样有用的功能，也可能迫使指令变得更长以编码额外的模式信息，这反过来又减少了可以从固定带宽的取指单元每周期解码的指令数量。
这种优化游戏的终极表现可以通过借鉴信息论的一个技巧找到。在任何语言中，有些词比其他词更常用。如果我们能让最常用的操作码最短呢？使用最优前缀码编码方案（如霍夫曼编码），我们就能做到这一点。如果一个操作码占所有操作的26%，我们可以给它一个2位的代码。如果其他操作码非常罕见，它们可能会得到4位或5位的代码。这可以显著减少平均指令大小，节省位和带宽。权衡是什么？一个更复杂的解码器，必须能够处理位级别的变长代码。
从一个简单的二进制模式到一个复杂、演进的语言，操作码和操作数的设计是一个关于才智、妥协和追求优雅的故事。它本身就是工程学的缩影：在功能与复杂性、性能与成本、以及当前需求与未来可能性之间不断的平衡。
我们花了一些时间来理解机器指令的内部构造——这种优雅的二元性，即*操作码说明做什么*，而操作数说明对什么做。从表面上看，这似乎是一个简单、近乎刻板的计算配方。但这种简单性具有欺骗性。这些不起眼的组合不仅仅是静态的命令；它们是一个数字宇宙中基本的、动态的粒子。它们就像字母表中的字母，不仅可以被排列成一个故事，还可以用来编写一个新的字母表，甚至在故事被阅读的同时重写它。
让我们从一个相当令人费解的例子开始，展示这种力量。在你用过的几乎所有计算机所基于的冯·诺依曼架构中，指令和数据共同存放在同一内存中。它们由相同的东西——位——构成。这意味着一个程序可以将其自身的指令视为数据。它可以读取一条指令，对其进行算术运算，然后将其写回内存，从而在执行新生成的命令之前，从根本上改变自己的性质。想象一个程序，在循环中系统地修改一条乘法指令，使其在每次迭代中乘以一个不同的数。这不是一个假设的幻想；这是存储程序概念直接而深刻的结果，简单的机器就可以被编程来做到这一点。这个原则——代码可以是数据，数据可以是代码——是计算领域一些最复杂和最危险思想的源泉。让我们沿着这条河探索，从它在硬件中的源头到它在软件世界的广阔三角洲。
在最基本的层面上，一条指令是流经硅片的电压模式。处理器的冰冷逻辑如何将这电的低语转化为具体的行动？答案在于前端解码器，这是一个数字逻辑的奇迹，充当着机器的罗塞塔石碑。
想象一条指令到达解码器。它的一组特定位，即操作码，被送入一个组合逻辑电路。这个电路的设计目标只有一个：识别那个特定的位模式，并作为响应，在整个处理器中激活一组独特的控制信号。这些信号可能会打开从一个寄存器到算术逻辑单元（ALU）的路径，命令ALU执行ADD操作，并准备另一个寄存器接收结果。对于不同的操作码，会激活不同的一组信号。设计者可以使用像卡诺图这样的工具，将这些复杂的需求提炼成最简单的逻辑门排列，甚至对架构上禁止的操作码模式使用“无关”条件，以确保解码器尽可能小而快。这正是像ADD这样的操作码的抽象含义被物理地锻造出来的地方。
这些指令从何而来？它们存储在内存中。例如，在设计一个专用微控制器时，一个固定的程序可能会被蚀刻到只读存储器（ROM）中。使用像VHDL这样的硬件描述语言（HDL），设计者可以将指令的结构定义为一个包含操作码字段和操作数字段的记录。然后，整个程序可以被布局为这些指令记录的常量数组，并直接合成为芯片的物理内存布局。在这里，([操作码](/sciencepedia/feynman/keyword/opcode), 操作数) 结构不仅仅是一个概念；它是一张硅的蓝图。
然而，现代处理器所做的不仅仅是执行；它们还会预测。流水线处理器就像一条装配线，而一条分支指令（跳转）有可能使整条线停顿下来，因为CPU需要等待看程序将走哪条路。为了防止这种情况，处理器采用了分支预测。在一个简单的静态预测器中，硬件根据指令本身做出有根据的猜测。经验证据表明，向后跳转的分支（形成循环）通常会被采纳，而向前跳转的分支（跳过代码）通常不会。通过检查操作码的类别（例如，“为零则分支”）及其操作数（目标地址），硬件可以应用一个固定的规则——比如，“总是预测向后分支为采纳”——以达到惊人的高准确率，并保持流水线顺畅运行。
操作码和操作数的力量并不仅限于物理CPU。我们可以用软件构建一台机器——一台虚拟机（VM）。这个VM可以有自己的自定义指令集，完全独立于底层硬件。为这个VM编写的程序是其自定义操作码和操作数的序列。VM本身只是一个在真实硬件上运行的程序，它获取每个虚拟指令，解码它，并模拟相应的动作。例如，一个基于堆栈的VM可能有一个PUSH操作码，它接受一个立即数作为操作数，以及一个ADD操作码，它不接受任何操作数，隐式地对其虚拟堆栈的顶部两个值进行操作。这就是Java虚拟机（JVM）和Python解释器背后的原理，使得程序可以在任何能运行VM的硬件上运行。
这自然引出了一个问题：这些指令序列从何而来？它们诞生于编译器。编译器是一位翻译大师，将用高级、人类友好的语言编写的程序转换成由操作码和操作数构成的简朴语言。考虑一个用于过滤网络数据包的领域特定语言（DSL），其规则如 tcp AND port 80。编译器会应用一个语法导向的翻译方案，将这个表达式转换成一个用于像伯克利包过滤器（BPF）这样的数据包过滤引擎的字节码指令序列。关键字tcp变成一个load操作码，后跟一个jump-if-equal操作码，其操作数为TCP协议号；port 80部分变成类似的一对操作码和操作数。逻辑AND被翻译成这些指令之间控制流的结构。
在编译器内部，甚至在最终的操作码生成之前，程序以一种中间表示（IR）的形式存在。IR最常见的形式之一是“四元式”序列，它本质上是(操作, 参数1, 参数2, 结果)形式的结构化指令。这种格式明确了([操作码](/sciencepedia/feynman/keyword/opcode), 操作数)的关系，非常适合分析和优化。例如，通过将指令表示为带有命名临时变量作为结果的四元式，编译器可以轻松地移动代码以进行优化，因为引用是针对名称，而不是代码中的固定位置。([操作码](/sciencepedia/feynman/keyword/opcode), 操作数)这对组合是如此基础，以至于它构成了编译器自身推理过程的支柱。
硬件和软件之间的协作是一场精妙复杂的舞蹈，在优化和错误处理方面表现得尤为明显。
编译器不仅仅是翻译器；它们是效率的艺术家。一种强大的优化技术是值编号，编译器通过分析IR来发现并消除冗余计算。通过从指令的操作码及其操作数的值编号创建一个哈希键，编译器可以迅速看出表达式$c_1 + d_1$与$d_1 + c_1$是相同的，前提是它知道+操作码是可交换的。然后，它可以用对第一个计算结果的简单引用来替换第二个计算，从而节省一条指令。一个真正成熟的优化器必须更进一步，对内存状态进行建模，以了解何时一条load指令保证产生与前一条相同的值，以及何时一条介入的store指令可能已经改变了它。
这种优化可以由真实世界的数据来指导。剖析引导优化（PGO）是一种技术，即用典型输入运行一个程序，并监控其执行情况。剖析器可以对二进制文件进行静态分析，通过根据指令集的长度规则解码字节流来计算每个操作码的频率。这个频率数据揭示了程序的“热点”。然后，编译器可以在下一次编译时使用这个剖析文件来做出更明智的决策，例如积极优化最常用的指令序列。
但是当一条指令失败时会发生什么？一条ADD指令可能被要求对两个大的正数求和，产生一个大到无法装入寄存器的结果。这就是算术溢出。在这里，软硬件契约被精确地调用。硬件ALU检测到溢出，并且不是产生一个错误的答案，而是触发一个异常——一种系统级的中断。这会立即暂停程序并将控制权转移给操作系统的异常处理器。硬件会传递关键的上下文信息：故障指令的操作码（ADD）、其操作数（$a$和$b$）以及目标寄存器。然后，操作系统处理器可以使用这些信息来执行一个策略。它可能决定将结果“饱和”到可表示的最大值，或者用更高精度的算术重新执行操作以获得真实结果。在解决问题后，它将控制权交还给程序，程序继续运行，对这场险些发生的灾难毫不知情。这是硬件和软件协同工作的完美例子，使用指令作为沟通的媒介。
我们回到了那个深刻的思想：代码即数据。这个原则不仅仅是一个理论上的好奇心；它是计算机科学一些最前沿和最具挑战性领域（尤其是在安全领域）背后的引擎。
一个简单的反病毒扫描器通常通过寻找“签名”——已知是恶意程序一部分的固定字节模式——来工作。为了规避这一点，恶意软件作者开发了多态代码。多态引擎是恶意软件的一部分，充当代码生成器。在运行时，它重写恶意软件自身的活动代码，改变操作码和操作数的序列，同时小心翼翼地保留程序原有的恶意功能。它可能会插入“空操作”（NOP）指令，将一个寄存器换成另一个，或者用一个等效的指令替换另一个（例如，用SUB r, r代替MOV r, 0）。其结果是每次感染都有一个新的二进制签名，使得基于签名的检测变得无用。
这是将存储程序概念用作伪装工具。程序修改自身([操作码](/sciencepedia/feynman/keyword/opcode), 操作数)流的能力是一把双刃剑。它促成了像即时（JIT）编译器这样的卓越技术，这些技术在运行时将字节码翻译成优化的本地机器码。同时，它也使得恶意软件能够成为一个移动的目标，一个数字世界的变形者。
从解码器的逻辑门到网络空间的安全战，操作码及其操作数的简单、优雅的结构构成了通用的语言。它是一种描述计算的语言，但它也是一种可以用来描述自身、分析自身和改变自身的语言。理解代码和数据的这种深层统一，是超越简单使用计算机，真正理解这台精美机器的关键。