1.2 ISA 契约：汇编与体系结构的分工

1.2 ISA 契约：汇编与体系结构的分工

本节摘要：指令集架构（ISA）是软件与硬件之间的一份正式契约——它规定指令的语义、编码与 programmer-visible 状态（寄存器、标志位、内存模型），却把流水线级数、缓存大小这些实现细节留给芯片设计者自由发挥。理解这份契约"管什么、不管什么"，就能解释两个常见困惑：为什么同一份二进制能在十年间的新老 CPU 上都跑、性能却差几倍；为什么 x86 与 ARM 的程序互不通用。本节给全册提供"架构 vs 微架构"的判别框架。

为什么需要一份契约

设想没有契约的世界会怎样：编译器作者要为每一款芯片单独出一版编译器，操作系统作者要为每颗 CPU 重写一遍内核，用户换电脑就得重买软件。个人计算机产业在上世纪七十年代之前基本就是这个状态。ISA 的出现把局面扭转了——它是一份写在纸面上的承诺：只要你的软件按本规范生成指令，任何声称实现本规范的处理器都必须给出相同的执行结果。IBM System/360 在 1964 年率先把"架构与实现分离"变成产品策略，此后 x86、ARM、RISC-V 无一不是这条思路的延续。

契约思维的关键是分清哪些条款"必须履行"、哪些"留白自由"。必须履行的包括：每条指令的语义（MOV 就得是搬运）、机器码的编码格式、寄存器集合与宽度、标志位的置位规则、内存访问的基本模型。留白自由的部分更多：一条指令用几个时钟周期完成、流水线分多少级、缓存多大几路、分支预测器用什么算法、寄存器物理上有几份（重命名后的数目）。前一类决定"程序对不对"，后一类决定"程序跑多快"——把这个分界刻进脑子，后面第 6 章谈性能优化时才不会把两类问题搅在一起。

一、分层视角：从源码到晶体管

把 1.1 节解码现场的镜头拉远，一次程序的执行其实穿过了四层，ISA 恰好是中间那条契约线：

这条链上有个反直觉的事实：ISA 层是"最稳定"的一环。编译器版本年年更新，微架构代代重设计，唯独 x86-64 的指令语义几十年保持向后兼容——三十年前编译的二进制，今天的 CPU 依然能执行。稳定性换来的是生态：开发者敢为一份规范投入，因为承诺不会撕毁。代价同样真实：为了兼容，x86 背着历史包袱（第 7 章细算这笔账），而 RISC-V 干脆从零起约，只留最小内核、其余按需扩展。

二、契约条款清单与留白清单

抽象讨论到此为止，落到可查证的具体条款。下表把两类条款放在一起对照，右边一列给出"在哪能看到它"的实证方法——本册一贯的主张是：每个论断都应有对应的实验或观察入口。

读这张表的正确姿势：左边任何一行变了，程序就可能出错——这是"对不对"的地盘；右边任何一行变了，程序照跑，只是快慢不同——这是"快不快"的地盘。工程上大量争论（比如"这条指令是不是更快"）之所以鸡同鸭讲，就是因为争论双方没先声明自己谈的是契约层还是实现层。

三、动手：亲眼看见契约与实现的分界

实验一验证契约的刚性。下面这段汇编在NASM下汇编成目标文件后，既能在十年前的老机器上跑，也能在最新的桌面上跑，结果一字不差：

; contract.asm —— 只用最基础的契约条款
section .text
global contract_start
contract_start:
    mov rax, 7      ; 语义：把立即数7载入rax，契约条款
    add rax, 5      ; 语义：加法并置标志位，契约条款
    ret
​

把 objdump 的输出和 Intel 手册的编码表对照，48 C7 C0 07 00 00 00、48 83 C0 05、C3，每一字节都有据可查——这就是"按契约行事"的字面含义。

实验二验证实现的自由。在同一台机器的同一操作系统上用性能计数工具（Linux 下 perf stat 一类）跑同一段循环密集代码，再换一台微架构不同的机器跑同一份二进制：指令序列完全相同（契约层一致），但 cycles、instructions per cycle、缓存缺失次数会差出可观比例（实现层不同）。两个实验合起来的结论，比任何教科书定义都更接近 ISA 的本质：契约保证结果正确，实现决定速度高低，两者各自演化、互不越界。

四、判别训练：架构问题还是微架构问题

给两组真实场景做判别练习，这个动作在性能分析和移植排错中天天用得上。

场景一：一段 AVX2 向量化代码在一台 2012 年的机器上直接崩溃，报非法指令。这是架构问题——AVX2 是 2013 年后才进入 x86-64 契约的扩展条款，老 CPU 的译码器根本不认识这些操作码，属于契约版本差异，不是"性能差一点"的问题。场景二：同一份排序代码，在两台都支持 AVX2 的机器上一台快一台慢，反汇编完全相同。这是微架构问题——差异来自缓存容量或前端取指带宽，契约层找不出任何线索。判别口诀可以压缩成一句话：反汇编不同，查架构；反汇编相同查实现。

⚠️ 常见坑：把"指令集参考手册"当成"性能手册"来用。手册里的延迟数字（如"ADD 为 1 周期"）是各微架构的实测归纳，不是契约条款，换一代芯片就可能改写。做性能结论前先问自己：这个数字来自契约，还是来自某代实现的测量？

💡 关键直觉：把 ISA 想成"国家标准接口"，微架构想成"各家厂商的合规产品"——插座形状统一，插座的内部构造八仙过海。你写的汇编对接的是插座形状，程序感受到的速度来自内部构造。

本节要点回顾

• ISA 是软硬契约：规定语义、编码与可见状态，留白一切性能相关的实现细节。
• 契约层管对错，实现层管快慢：混淆这两层是性能讨论中最常见的逻辑混乱源。
• 向后兼容是双刃剑：生态稳定的代价是历史包袱，这解释了 x86 与 RISC-V 的设计路线分歧。
• 判别口诀：反汇编不同查架构（契约版本差异），反汇编相同查实现（微架构差异）。

有了契约概念，下一节回答一个动手问题：把人的意图变成契约语言，中间需要哪些工具、各守哪一关。