3. 寄存器分配策略：寄存器 vs 内存、寄存器分配算法简介、常用寄存器使用规范
寄存器分配，说白了就是决定哪些变量该住「豪华单间」（寄存器），哪些该去「集体宿舍」（内存）。
我刚开始做性能优化时，总觉得寄存器不够用是硬件的问题。后来被现实狠狠教育了一顿——不会分配寄存器，你写再多优化代码也是白搭。
3.1 寄存器 vs 内存：速度差距有多大？
先看一组数字，你就明白了：
| 存储层级 | 典型延迟 | 相对速度 | 容量 |
|---|---|---|---|
| 寄存器（L1） | ~0.3 ns | 1x | 几十~几百字节 |
| L1 Cache | ~1 ns | ~3x | 32~64 KB |
| L2 Cache | ~4 ns | ~13x | 256~512 KB |
| 主内存（DRAM） | ~100 ns | ~333x | GB 级别 |
看到了吗？寄存器比内存快两个数量级。每次你让变量「溢出」到内存，就是在白白浪费几百个时钟周期。
核心原则：热数据（循环内频繁访问的变量）必须留在寄存器中。冷数据（只初始化一次、很少再用）可以放内存。
我在项目中遇到过这样一个案例：一个图像处理算法，核心循环里有个临时变量没被分配寄存器，每次迭代都要从栈上读写。优化后把它塞进寄存器，性能直接提升了 40%。嗯，有时候差距就是这么夸张。
3.2 寄存器分配算法简介
编译器是怎么决定谁住寄存器、谁住内存的？背后主要有三种算法。我挑重点讲：
3.2.1 图着色分配法
这是最经典的方法。思路很简单：
- 把每个变量看作一个节点
- 如果两个变量在同一时刻都「活着」（生命周期重叠），就在它们之间连一条边
- 然后用 K 种颜色（K = 可用寄存器数量）给图上色
- 相邻节点不能同色——颜色就是寄存器编号
如果颜色不够用？那就得把某些变量「溢出」到内存。
我的经验：图着色算法在寄存器充足时表现很好。但一旦寄存器紧张，溢出策略的选择就非常关键。我曾经见过一个编译器因为溢出策略太保守，把本该留在寄存器的循环变量给踢出去了，性能直接腰斩。
3.2.2 线性扫描分配法
图着色虽然好，但太慢了——O(n²) 甚至更差。对于 JIT 编译器（比如 Java 的 C1、C2）来说，这不可接受。
线性扫描就快多了：
- 按变量的「活跃区间」排序
- 从左到右扫描，遇到新变量就分配一个寄存器
- 寄存器不够时，把当前区间最远的那个变量溢出
复杂度只有 O(n log n)，效果却接近图着色。我建议你在做手写汇编优化时，也可以参考这个思路——先分配生命周期短的变量，再处理长的。
3.2.3 静态单赋值（SSA）分配法
SSA 是现代编译器的标配。每个变量只赋值一次，生命周期分析变得极其简单。
我记得第一次接触 SSA 时觉得这玩意儿太绕了。但用顺手之后才发现，SSA 让寄存器分配变得像搭积木一样清晰——每个值只有一个定义点，寄存器冲突一目了然。
注意：SSA 虽然好，但转换过程会引入大量 φ 函数（phi-function）。如果处理不当，反而会生成冗余的 move 指令。我曾经踩过这个坑——优化完寄存器分配，结果多了一堆没必要的寄存器拷贝，性能反而下降了。
3.3 常用寄存器使用规范
不同架构的寄存器规范差异很大。我以 x86-64 和 ARM64 为例，给你画个重点：
3.3.1 x86-64 寄存器分类
| 寄存器 | 用途 | 调用者保存？ |
|---|---|---|
| rax | 返回值、累加器 | 是（调用者保存） |
| rbx | 基址寄存器 | 否（被调用者保存） |
| rcx | 计数、循环变量 | 是 |
| rdx | 数据、I/O 操作 | 是 |
| rsi, rdi | 源/目标索引 | 是 |
| r8~r15 | 通用寄存器 | 是 |
| rbp | 栈帧基址 | 否 |
| rsp | 栈指针 | 否（特殊） |
调用者保存：函数调用前，调用方要把这些寄存器的值保存到栈上。
被调用者保存：被调用的函数如果要用这些寄存器，自己负责保存和恢复。
我的习惯：在写手写汇编时，优先用调用者保存的寄存器做临时变量。这样函数边界处不用额外保存，代码更紧凑。但要注意——如果你调用了其他函数，这些寄存器的值会被覆盖，记得提前备份。
3.3.2 ARM64 寄存器规范
ARM64 有 31 个通用寄存器（X0~X30），比 x86-64 富裕多了。但规范更严格：
- X0~X7：参数传递 + 返回值。调用者保存。
- X8：间接结果寄存器（比如返回结构体指针）。
- X9~X15：临时寄存器。调用者保存。
- X19~X28：被调用者保存。函数内部随便用，但进出函数时要保存/恢复。
- X29：帧指针（FP）。
- X30：链接寄存器（LR），存返回地址。
你想想看，ARM64 有这么多临时寄存器（X9~X15），写循环时基本不用考虑溢出。但有个坑——X18 是平台寄存器，在有些系统里被保留给特殊用途，别乱用。
3.4 寄存器分配实战建议
说了这么多理论，来点实际的：
- 循环变量优先：循环计数器、累加器、指针——这些必须住寄存器。
- 函数参数别乱动：参数寄存器在函数入口处是活的，别随便覆盖。
- 小心调用边界：调用其他函数前，把调用者保存的寄存器内容存好。
- 利用寄存器别名：x86-64 的 eax/ax/al 是 rax 的低位别名，合理利用可以省指令。
- 别过度分配：寄存器不是越多越好。变量太多导致频繁溢出，反而更慢。
我曾经犯过的错：在一个加密算法里，我把 8 个临时变量全塞进寄存器，结果寄存器不够用，编译器疯狂 spill/fill。最后性能还不如只分配 4 个关键变量。记住——少即是多。
3.5 寄存器分配流程总览
下面这张图总结了寄存器分配的核心流程，你可以对照着理解：
这个流程看起来简单，但实际实现时有很多细节。比如溢出策略——是溢出最远的变量，还是溢出使用频率最低的变量？不同的选择，性能差异可能很大。
好了，寄存器分配的核心内容就这些。记住一句话：寄存器是 CPU 里最贵的资源，用好了性能起飞，用不好代码白写。