Windows堆栈上的“额外”32个字节是什么？

Question

我在学Windows上的汇编，想弄清楚栈上的值是什么。< br > Visual C #文档说明高于RSP的值是:

• 分配空间
• 保存了RBP
• 返回地址
• 注册主页（RCX、RDX、R8、R9）
• 函数参数

问题是堆栈中有32个额外的字节，文档中没有提到。

在内存快照中，RSP从0x0000000000DAF5E0开始。彩色框为：

• 黄色：两个值为9的64位变量
• 白色：保存旧RBP返回地址
• 蓝色：函数参数
• 绿色：注册回家
• 红色：？

红色的字节可能是什么？

使用 VS2019、MASM64 构建并在 x64 调试模式下运行的 MASM 源代码。

c flags:/JMC/permissive-/GS/W3/Zc:wchar _ t/ZI/Gm-/Od/SDL/Fd " x64 \ Debug \ VC 142 . pdb "/Zc:inline/Fp:precise/D " _ Debug "/D " _ CONSOLE "/D " _ UNICODE "/D " UNICODE "/error report:prompt/WX-/Zc:for scope/RTC 1/Gd/MDd/FC/Fa " x64 \ Debug \ "/EHsc/no logo/Fo " x64 \ Debug \ "/x64

.code

; int64_t StackFrameDemo_(int8_t a, int16_t b, int32_t c, int64_t d, int8_t e, int16_t f, int32_t g, int64_t h)
StackFrameDemo_ proc frame

; prolog
push rbp
.pushreg rbp

; allocate 16 bytes on the stack
sub rsp, 16
.allocstack 16
.endprolog

; save registers to register home
mov qword ptr [rbp+8], rcx
mov qword ptr [rbp+16], rdx
mov qword ptr [rbp+24], r8
mov qword ptr [rbp+32], r9

; save the two variables
mov rax, 9
mov [rsp], rax
mov [rsp+type qword], rax

nop ; set the break point here to view memory

; epilog
add rsp, 16 ; release local stack space
pop rbp     ; restore caller's rbp register

ret

StackFrameDemo_ endp

end

Answer 1

您忘记执行< code>mov rbp，rsp(在< code>push rbp之后)来使rbp成为堆栈帧的帧指针。

你的“家庭空间”也就是影子空间比你的返回地址高32字节，你只是没有使用它。(相反，通过存储可能具有任何值的相对于某个寄存器的内容，违反了调用约定。在这种情况下，您的调用者可能也使用RBP作为遗留帧指针，所以您可能只是在踩调用者的主空间。)

请注意，0xCC是 MSVC 调试模式用于毒害堆栈的值，这有助于检测未初始化内存的读取。（如果您不小心使用这些内容执行内存，则为 x86 int3 调试断点指令。

顺便说一下，当您使用RBP作为传统的帧指针时，< code>mov rsp，RBP /< code > pop RBP /< code > ret 比< code>add rsp，16 / pop rbp更有效。代码规模稍小，一些CPU进行mov消除，以避免需要< code>mov的执行单元。这对你来说会有更大的噪音，就像从你的调用者的返回地址返回，这在单步执行时你可能已经注意到了！

(< code>leave = mov/pop，因此您可以将它用于更小的代码大小。性能上还行，不像< code > enter ；GCC在带有帧指针的函数中使用< code>leave,该函数以RSP尚未指向保存的RBP结束。其他一些编译器更喜欢mov/pop。但是编译器通常只在根本不使用框架指针时才使用< code>add rsp，n。)

帧指针是可选的，不是堆栈-帧布局的必需部分。. allocstack 16等指令创建的元数据使堆栈展开成为可能，而无需传统的帧指针链表。