我有以下疑问:
众所周知,System V x86-64 ABI在堆栈帧中为我们提供了一个固定大小的区域(128字节),即所谓的redzone。因此,因此,我们不需要使用sub rsp, 12
。只需制造mov [rsp-12], X
,仅此而已。
但是我不明白这一点。为什么这有关系?是否需要sub rsp, 12
没有redzone?毕竟,堆栈大小在一开始就受到限制,所以为什么如此sub rsp, 12
重要呢?我知道这使我们有可能关注堆栈的顶部,但是那一刻让我们忽略它。
我知道有些指令使用rsp
值(例如ret
),但在那一刻不关心它。
问题的症结在于:我们没有Redzone,我们已经做到了:
function:
mov [rsp-16], rcx
mov [rsp-32], rcx
mov [rsp-128], rcx
mov [rsp-1024], rcx
ret
有区别吗?
function:
sub rsp, 1024
mov [rsp-16], rcx
mov [rsp-32], rcx
mov [rsp-128], rcx
mov [rsp-1024], rcx
add rsp, 1024
ret
“红色区域”不是严格必需的。用您的话来说,它可以被认为是“毫无意义的”。使用红色区域可以执行的所有操作,也可以按照IA-32 ABI的传统方式进行。
这是AMD64 ABI关于“红色区域”的说法:
所指向的位置之外的128字节区域
%rsp
被认为是保留的,不应由信号或中断处理程序修改。因此,函数可以使用该区域存储函数调用不需要的临时数据。特别是,叶函数可以在整个堆栈框架中使用此区域,而不是在序言和结尾中调整堆栈指针。该区域称为红色区域。
红色区域的真正目的是作为优化。它的存在使代码可以假定下面的128个字节rsp
不会被信号或中断处理程序异步破坏,从而有可能将其用作暂存空间。这样就无需通过在中移动堆栈指针来在堆栈上显式创建暂存空间rsp
。这是一种优化,因为rsp
现在可以省去减少和还原的指令,从而节省了时间和空间。
所以是的,虽然您可以使用AMD64来做到这一点(并且需要使用IA-32来做到这一点):
function:
push rbp ; standard "prologue" to save the
mov rbp, rsp ; original value of rsp
sub rsp, 32 ; reserve scratch area on stack
mov QWORD PTR [rsp], rcx ; copy rcx into our scratch area
mov QWORD PTR [rsp+8], rdx ; copy rdx into our scratch area
; ...do something that clobbers rcx and rdx...
mov rcx, [rsp] ; retrieve original value of rcx from our scratch area
mov rdx, [rsp+8] ; retrieve original value of rdx from our scratch area
add rsp, 32 ; give back the stack space we used as scratch area
pop rbp ; standard "epilogue" to restore rsp
ret
我们并不需要做在我们只需要128字节的临时区域(或更小)的情况下,因为这时我们可以利用红色区域作为我们的刮开区。
另外,由于我们不再需要递减堆栈指针,因此我们可以将其rsp
用作基本指针(而不是rbp
),从而不必保存和恢复rbp
(在序言和结语中),还可以腾出空间rbp
来用作另一个通用-目的注册!
(从技术上讲,打开帧指针省略(-fomit-frame-pointer
,-O1
由于ABI允许默认启用,默认情况下已启用)也将使编译器可以跳过序言部分和尾声部分,具有相同的好处。但是,如果没有红色区域,需要调整堆栈指针以保留空间不会改变。)
但是请注意,ABI仅保证信号和中断处理程序之类的异步内容不会修改红色区域。调用其他函数可能会破坏红色区域中的值,因此它在叶函数(叶函数(那些不调用任何其他函数,就像它们在函数调用树的“叶子”中的那些函数)中一样没有特别有用。 。
最后一点:Windows x64 ABI 与其他操作系统上使用的AMD64 ABI略有不同。特别是,它没有“红色区域”的概念。超出的区域rsp
被认为是易变的,随时都可能被覆盖。取而代之的是,它要求调用者在堆栈上分配一个本地地址空间,然后在需要溢出任何寄存器传递的参数的情况下,可供调用者使用。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句