x64汇编中带偏移返回地址的CALL指令最优实现方案问询

背景 #

我开发了一款可编译为原生代码的自定义可视化脚本语言，内置栈式协程。此前采用半解释方式（通过独立栈类存储协程数据），目前正推进全原生改造，仅使用RSP寄存器。

该协程支持嵌套yield：当协程调用另一个可yield的方法时，方法内部的yield可挂起整个调用流程，相关状态存储在寄存器的YieldState结构体中。理论上全原生改造后可直接用call指令调用可yield方法，但由于栈式协程将本地变量直接存储在栈上，必须通过名为"interrupt handler"的处理程序完成清理，避免协程未完成就销毁。

当前核心问题：x64的call指令无法直接设置偏移后的返回地址，以下是四种实现方案，需选出执行效率最优的选项。

选项A - lea + push + jmp #

手动模拟call指令，自行推送返回地址：

lea         rax,[rip+10h]
push        rax
jmp         A6 // yieldingMethod

• 指令数量：3条
• 内存访问：无
• 性能特点：完全基于寄存器和栈操作，无缓存 miss 风险，但指令数相对较多。现代CPU的乱序执行可有效隐藏三条指令的延迟，因为不存在依赖链瓶颈。

选项B - 从内存推送 #

将返回地址存储在常量内存区域，直接推送：

push        qword ptr[rip+1234] // return-address stored here
jmp         A6                  // yieldingMethod

• 指令数量：2条（push + jmp）
• 内存访问：1次（读取常量内存）
• 性能特点：指令数少，但依赖内存读取。若返回地址所在内存不在L1缓存中，会触发缓存 miss，带来数十个周期的延迟；即使缓存命中，性能也略逊于纯寄存器/栈操作，稳定性不足。

选项C - 在被调用函数中修改返回地址 #

采用自定义调用约定，在被调用方法的第一条指令调整call生成的返回地址：

// caller
call     A6                 // yielding method

// callee, first instruction
add      qword ptr[rsp],10  // size of interrupt-embedding is always the same

• 指令数量：调用方1条call，被调用方1条add
• 内存访问：1次（修改栈上的返回地址）
• 性能特点：总指令开销极小，调用方代码简洁。栈内存的修改几乎无延迟（栈通常处于L1缓存），仅占用被调用方的前端指令窗口，影响可忽略。唯一缺点是调用方与被调用方存在耦合，但在自定义脚本语言的编译场景下，该耦合可通过编译器自动生成代码来管控。

选项D - 不修改返回地址 #

保留call指令原样，返回后执行无实际作用的指令：

call      12345;                // yieldingMethod
mov       r15,interruptAddress; // is actually executed now (but value is not used)

• 指令数量：2条
• 内存访问：1次（读取interruptAddress，若为常量可能被优化）
• 性能特点：代码最简洁，但返回后会执行一条无意义的mov指令。现代CPU的乱序执行和指令融合技术可能识别并跳过该指令，但无法保证所有CPU都能完美优化，部分场景下仍会占用执行资源，带来微小性能损耗。

最优方案结论 #

从执行效率稳定性和性能表现来看，选项C是最优选择：

1. 总指令开销极低，栈内存操作的延迟可忽略；
2. 耦合问题可通过编译器自动生成被调用方的开头指令来解决，无需手动维护。

若无法接受耦合，选项A是次优选择：纯寄存器/栈操作无内存访问风险，现代CPU的乱序执行能很好地隐藏指令延迟，性能稳定且接近选项C。

选项B和D不推荐：选项B存在缓存 miss 风险，性能不稳定；选项D的无意义指令可能无法被完全优化，存在不可控的微小损耗。

额外优化思路 #

• 指令编码优化：对于选项C的add qword ptr[rsp],10，若偏移量为固定小值，可使用8位立即数编码，进一步缩短指令长度，提升前端解码效率。
• 编译器统一处理：采用选项C时，编译器可在生成可yield方法时自动插入返回地址调整指令，彻底消除耦合带来的维护成本。
• 协程挂起时修改返回地址：在协程挂起阶段修改栈上的返回地址，而非调用时调整。但该方案会增加协程挂起的开销，需根据业务场景权衡挂起频率与调用频率。

内容的提问来源于stack exchange，提问作者Juliean