windows - Microsoft Stack 是否始终与 16 字节对齐？

Question

在Assembly Language, Seventh Edition for x86 Processors by Kip Irvine ，在第 211 页，它在 5.53 x86 调用约定 下说，它解决了 Microsoft x64 调用约定，

4. When calling a subroutine, the stack pointer (RSP) must be aligned on a 16-byte boundary (a multiple of 16). The CALL instruction pushes an 8-byte return address on the stack, so the calling program must subtract 8 from the stack pointer, in addition to the 32 it already subtracts for the shadow space.

它继续显示一些在 sub rsp, 20h 之前带有 sub rsp, 8 的程序集(用于 32 字节的阴影空间)。

不过，这是一个安全的约定吗？ Microsoft 堆栈是否保证在CALL 指令 前按 16 字节对齐？或者，这本书假设堆栈是错误的

1. 对齐到 CALL 之前的 16 字节
2. 使用 CALL
将一个 8 字节的返回地址压入堆栈
3. 需要额外的 sub rsp, 8; 才能恢复到 16 字节对齐？

Answer 1

I'm asking about meeting the requirements of the x64 ABI. Is it safe to blindly adjust the stack by growing it 8 bytes for a 16-byte alignment after every call.

是的，这就是 ABI 要求/保证 16 字节对齐之前 调用 的全部要点。

---

您可以在函数中做任何您想做的事情，例如 3x 16 位推送，然后 sub rsp, (24 - 3*2) 重新获得 16-进入函数后的字节堆栈对齐。

或者 movq xmm0, rsp 然后使用 rsp 作为一个额外的临时寄存器来获得 16 个整数寄存器，直到你在进行另一个 调用 或 ret。¹

没有要求 RSP 在每条指令之后都按 16 字节对齐，仅在函数调用边界处对齐。这就是它们被称为“调用约定”的原因，不是“编码标准”。

这与保留调用的 rbx 的概念类似。将它保存/恢复到堆栈上、xmm0 中、静态存储中、否定它然后再次否定它，或者根本不碰它都没有关系。重要的是当您返回给调用者时它具有与您的函数被调用时相同的值。

---

脚注 1:只要您没有任何可能在用户空间堆栈上运行的异步回调/SEH 处理程序，它就可以工作。这并不能真正保证安全，但可能会起到黑客的作用。

Is it valid to write below ESP?是相关的:正如 Ped7g 指出的那样，如果某些东西可以异步使用堆栈指针下方的空间，那么如果 RSP 根本不指向堆栈内存，它可能会中断。

我见过一个 32 位示例 avisynth 视频过滤器(我认为)，它使用它来获得 8 个 tmp regs(当没有 MMX 可用时)，在代码中有大的警告注释，在使用这个技巧之前首先要调试。