Windows on AArch64 同样支持热补丁，但实现比 x86 上简单得多

<p>我过去曾指出，<a title="Why do Windows functions all begin with a pointless MOV EDI, EDI instruction?" href="https://devblogs.microsoft.com/oldnewthing/20110921-00/?p=9583"> x86-32</a> 和 <a title="Why don't Windows functions begin with a pointless MOV EDI,EDI instruction on x86-64?" href="https://devblogs.microsoft.com/oldnewthing/20221109-00/?p=107373"> x86-64</a> 版本的 Windows 都会小心地在每个函数开头留出一个补丁点。那么 AArch64（在 Windows 中称为 arm64）呢？</p> <p>Windows 在 AArch64 上同样会为函数插入补丁点，但由于指令集长度固定，这些补丁点简单得多。你不必担心在指令指针恰好位于字节序列中间时去打补丁，因为指令指针<i>从不</i>位于字节序列的中间。指令指针始终指向 4 的倍数的地址。</p> <p>因此，函数的第一条指令并没有什么特殊限制。所有指令都满足可原子更新的要求，不会出现指令指针停在某条指令中间的情况。</p> <p>每个函数前面都有 12 字节的补丁空间，这<a title="The AArch64 processor (aka arm64), part 15: Control transfer" href="https://devblogs.microsoft.com/oldnewthing/20220815-00/?p=106975">恰好足以容纳一个三条指令的跳板</a>：</p> <pre>; 用以下三条指令覆盖补丁空间 adrp xip0, PageStart(replacement) add xip0, xip0, PageOffset(replacement) br xip0 function_entry_point: ; 用一条指令覆盖函数入口点 br $-12 ; 跳转到补丁空间 </pre> <p><code>xip0</code> 寄存器是<a title="The AArch64 processor (aka arm64), part 1: Introduction" href="https://devblogs.microsoft.com/oldnewthing/20220726-00/?p=106898">两个过程内调用暂存寄存器之一</a>，按照约定，任何分支指令都可以破坏这个寄存器的内容。由于调用方本来就必须使用分支指令才能到达 <code>function_<wbr />entry_<wbr />point</code>，所以它不可能用 <code>xip0</code> 保存任何内容，因此我们可以在跳板中自由地破坏 <code>xip0</code>。</p> <p><b>额外补充</b>：函数入口点的第一条指令几乎可以肯定是 <code>pacibsp</code>，即<a title="The AArch64 processor (aka arm64), part 18: Return address protection" href="https://devblogs.microsoft.com/oldnewthing/20220819-00/?p=107020">对返回地址进行签名的指针认证指令</a>，用于增强代码对 ROP 攻击以及覆写返回地址类攻击的抵抗力。</p> <p>这篇文章 <a href="https://devblogs.microsoft.com/oldnewthing/20260930-00/?p=112744/">Windows on AArch64 同样支持热补丁，但实现比 x86 上简单得多</a> 最早发布于 <a href="https://devblogs.microsoft.com/oldnewthing">The Old New Thing</a>。</p>